Automated generation of testcase datasets
Proceedings of the international conference on Reliable software
A new approach to program testing
Proceedings of the international conference on Reliable software
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
Toward a theory of test data selection
Proceedings of the international conference on Reliable software
Test data generation and symbolic execution of programs as an aid to program validation.
Test data generation and symbolic execution of programs as an aid to program validation.
Symbolic execution for software testing in practice: preliminary assessment
Proceedings of the 33rd International Conference on Software Engineering
Directed incremental symbolic execution
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Symbolic execution with mixed concrete-symbolic solving
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Concolic testing and constraint satisfaction
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Layout-oblivious compiler optimization for matrix computations
ACM Transactions on Architecture and Code Optimization (TACO) - Special Issue on High-Performance Embedded Architectures and Compilers
Symbolic execution for software testing: three decades later
Communications of the ACM
Memoise: a tool for memoized symbolic execution
Proceedings of the 2013 International Conference on Software Engineering
Maintaining the health of software monitors
Innovations in Systems and Software Engineering
Towards a lazier symbolic pathfinder
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.02 |
A system that aids in testing programs is described. This system symbolically executes program paths and creates symbolic representations of the output variables that aid in verifying a path's computations. The conditional statements that affect the flow of control are also symbolically represented by a set of inequalities. The inequalities are then evaluated to determine input data that would cause execution of the path. The system also does extensive error checking by simulating possible data dependent errors and then attempting to detect data sets that would cause execution errors.