Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
- 26 February 2013
- journal article
- Published by Springer Science and Business Media LLC in Automated Software Engineering
- Vol. 20 (3), 391-425
- https://doi.org/10.1007/s10515-013-0122-2
Abstract
No abstract availableThis publication has 39 references indexed in Scilit:
- Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysisAutomated Software Engineering, 2013
- Symbolic quantitative information flowACM SIGSOFT Software Engineering Notes, 2012
- TASS: The Toolkit for Accurate Scientific SoftwareMathematics in Computer Science, 2011
- Efficient and formal generalized symbolic executionAutomated Software Engineering, 2011
- Path Feasibility Analysis for String-Manipulating ProgramsLecture Notes in Computer Science, 2009
- Symbolic execution with abstractionInternational Journal on Software Tools for Technology Transfer, 2008
- EXEACM Transactions on Information and System Security, 2008
- Z3: An Efficient SMT SolverLecture Notes in Computer Science, 2008
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic ExecutionLecture Notes in Computer Science, 2005
- Symbolic execution and program testingCommunications of the ACM, 1976