Tag software-testing - Esta é a página 2 - GeneraCodice

optimal testing strategy

https://www.generacodice.com/pt/articolo/1603325/optimal-testing-strategy
  testing  -  software-testing
cs.stackexchange cs.stackexchange

How a Symbolic Evaluator Generates Test Input for this Example

https://www.generacodice.com/pt/articolo/1600767/how-a-symbolic-evaluator-generates-test-input-for-this-example
  software-verification  -  software-testing  -  symbolic-execution
cs.stackexchange cs.stackexchange

What to prove and how to prove it

https://www.generacodice.com/pt/articolo/1598956/what-to-prove-and-how-to-prove-it
  proof-assistants  -  software-testing
cs.stackexchange cs.stackexchange

Test a bit substring function

https://www.generacodice.com/pt/articolo/1597754/test-a-bit-substring-function
  testing  -  bit-manipulation  -  strings  -  software-testing
cs.stackexchange cs.stackexchange

Finding minimal and complete test sets for circuits

https://www.generacodice.com/pt/articolo/1572106/finding-minimal-and-complete-test-sets-for-circuits
  optimization  -  circuits  -  software-testing
cs.stackexchange cs.stackexchange

Validate that a threaded binary tree works as intended

https://www.generacodice.com/pt/articolo/1564716/validate-that-a-threaded-binary-tree-works-as-intended
  data-structures  -  binary-trees  -  correctness-proof  -  search-trees  -  software-testing
cs.stackexchange cs.stackexchange

Minimum number of tests to identify subset of modules that trigger a bug?

https://www.generacodice.com/pt/articolo/1512111/minimum-number-of-tests-to-identify-subset-of-modules-that-trigger-a-bug
  binary-search  -  time-complexity  -  search-algorithms  -  software-testing
cs.stackexchange cs.stackexchange

Control flow graphs - Tree decomposition

https://www.generacodice.com/pt/articolo/1496005/control-flow-graphs-tree-decomposition
  software-engineering  -  graphs  -  software-testing
cs.stackexchange cs.stackexchange

How can I debug my pseudocode algorithm?

https://www.generacodice.com/pt/articolo/1495345/how-can-i-debug-my-pseudocode-algorithm
  algorithms  -  software-testing
cs.stackexchange cs.stackexchange

When testing n items, how to cover all t-subsets by as few s-subsets as possible?

https://www.generacodice.com/pt/articolo/1126497/when-testing-n-items-how-to-cover-all-t-subsets-by-as-few-s-subsets-as-possible
  combinatorics  -  algorithms  -  software-testing
cs.stackexchange cs.stackexchange
Resultados encontrados: 37
scroll top