Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
A Domain Strategy for Computer Program Testing
IEEE Transactions on Software Engineering
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Pex: white box test generation for .NET
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Guided test generation for coverage criteria
ICSM '10 Proceedings of the 2010 IEEE International Conference on Software Maintenance
Test generation via Dynamic Symbolic Execution for mutation testing
ICSM '10 Proceedings of the 2010 IEEE International Conference on Software Maintenance
Symbolic execution for software testing in practice: preliminary assessment
Proceedings of the 33rd International Conference on Software Engineering
An Approach for Search Based Testing of Null Pointer Exceptions
ICST '11 Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation
Divide-by-zero exception raising via branch coverage
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
SAGE: Whitebox Fuzzing for Security Testing
Queue - Networks
| Hi-index | 0.00 |
Dynamic symbolic execution (DSE) can efficiently explore all simple paths through a program, reliably determining whether there are any program crashes or violations of assertions or code contracts. However, if such automated oracles do not exist, the traditional approach is to present the developer a small and representative set of tests in order to let him/her determine their correctness. Customer feedback on Microsoft's Pex tool revealed that users expect different values and also more values than those produced by Pex, which threatens the applicability of DSE in a scenario without automated oracles. Indeed, even though all paths might be covered by DSE, the resulting tests are usually not sensitive enough to make a good regression test suite. In this paper, we present augmented dynamic symbolic execution, which aims to produce representative test sets by augmenting path conditions with additional conditions that enforce target criteria such as boundary or mutation adequacy, or logical coverage criteria.