Symbolic execution and program testing
Communications of the ACM
DART: directed automated random testing
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
CUTE: a concolic unit testing engine for C
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution
Proceedings of the 16th International SPIN Workshop on Model Checking Software
JPF-SE: a symbolic execution extension to Java PathFinder
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Generalized symbolic execution for model checking and testing
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Parallel symbolic execution for structural test generation
Proceedings of the 19th international symposium on Software testing and analysis
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
Polyglot: modeling and analysis for multiple Statechart formalisms
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools
Loop invariant symbolic execution for parallel programs
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Probabilistic symbolic execution
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Symbolic quantitative information flow
ACM SIGSOFT Software Engineering Notes
S2PF: speculative symbolic PathFinder
ACM SIGSOFT Software Engineering Notes
Computing and visualizing the impact of change with Java PathFinder extensions
ACM SIGSOFT Software Engineering Notes
Test-case generation and bug-finding through symbolic execution
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Green: reducing, reusing and recycling constraints in program analysis
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Boosting search based testing by using constraint based testing
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Improving symbolic execution for statechart formalisms
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Polyglot: systematic analysis for multiple statechart formalisms
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Verifying systems rules using rule-directed symbolic execution
Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems
Does automated white-box test generation really help software testers?
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Explicating symbolic execution (xSymExe): an evidence-based verification framework
Proceedings of the 2013 International Conference on Software Engineering
JST: an automatic test generation tool for industrial Java applications with strings
Proceedings of the 2013 International Conference on Software Engineering
Memoise: a tool for memoized symbolic execution
Proceedings of the 2013 International Conference on Software Engineering
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
SideAuto: quantitative information flow for side-channel leakage in web applications
Proceedings of the 12th ACM workshop on Workshop on privacy in the electronic society
Maintaining the health of software monitors
Innovations in Systems and Software Engineering
Software health management with Bayesian networks
Innovations in Systems and Software Engineering
Predicate abstraction in Java Pathfinder
ACM SIGSOFT Software Engineering Notes
Towards a lazier symbolic pathfinder
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
Symbolic Pathfinder (SPF) combines symbolic execution with model checking and constraint solving for automated test case generation and error detection in Java programs with unspecified inputs. In this tool, programs are executed on symbolic inputs representing multiple concrete inputs. Values of variables are represented as constraints generated from the analysis of Java bytecode. The constraints are solved using off-the shelf solvers to generate test inputs guaranteed to achieve complex coverage criteria. SPF has been used successfully at NASA, in academia, and in industry.