Solving constraints for generational search

D Pötzl, A Holzer - International Conference on Tests and Proofs, 2013 - Springer
Concolic testing is an automated software testing method that combines concrete and
symbolic execution to achieve high code coverage and expose bugs in the program under …
被引用次数：3 相关文章

Solving Constraints for Generational Search

D Pötzl, A Holzer - Tests and Proofs - Springer
Concolic testing is an automated software testing method that combines concrete and
symbolic execution to achieve high code coverage and expose bugs in the program under …

[引用][C] Solving Constraints for Generational Search

D Pötzl, A Holzer - Tests and Proofs, 2013 - repositum.tuwien.at
reposiTUm: Solving Constraints for Generational Search reposiTUm ABOUT REPOSITUM
HELP Login News Browse by Publication Types Organizations Researchers Projects TU …

Solving Constraints for Generational Search

D Pötzl, A Holzer - … and Proofs: 7th International Conference, TAP …, 2013 - books.google.com
Concolic testing is an automated software testing method that combines concrete and
symbolic execution to achieve high code coverage and expose bugs in the program under …

[引用][C] Solving Constraints for Generational Search

D Poetzl, A Holzer - 2013 - ora.ox.ac.uk
Solving Constraints for Generational Search - ORA - Oxford University Research Archive Logos
Skip to main NEW SEARCH Collections About Deposit HELP 0 Back to Search CONTACT Name …