Tapas: Theory Combinations and Practical Applications
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Parameterized unit testing: theory and practice
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Synthesis of on-line planning tester for non-deterministic EFSM models
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Testing techniques in software engineering
Testing techniques in software engineering
Satisfiability modulo theories: introduction and applications
Communications of the ACM
Symbolic execution with mixed concrete-symbolic solving
Proceedings of the 2011 International Symposium on Software Testing and Analysis
A systematic mapping study on the combination of static and dynamic quality assurance techniques
Information and Software Technology
A slice-based decision procedure for type-based partial orders
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Bugs, moles and skeletons: symbolic reasoning for software development
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
An advanced approach for modeling and detecting software vulnerabilities
Information and Software Technology
Taking satisfiability to the next level with z3
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Beyond first-order satisfaction: fixed points, interpolants, automata and polynomials
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Improving scenario selection for simulations by run-time control-flow analysis
Proceedings of the 2013 Summer Computer Simulation Conference
| Hi-index | 0.02 |
During the last 10 years, code inspection for standard programming errors has largely been automated with static code analysis. During the next 10 years, we expect to see similar progress in automating testing, and specifically test generation, thanks to advances in program analysis, efficient constraint solvers, and powerful computers. Three new tools from Microsoft combine techniques from static program analysis, dynamic analysis, model checking, and automated constraint solving while targeting different application domains.