Symbolic Execution with Abstract Subsumption Checking
- 1 January 2006
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 163-181
- https://doi.org/10.1007/11691617_10
Abstract
No abstract availableThis publication has 24 references indexed in Scilit:
- Predicate Abstraction and Canonical Abstraction for Singly-Linked ListsLecture Notes in Computer Science, 2005
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic ExecutionLecture Notes in Computer Science, 2005
- Numeric Domains with Summarized DimensionsLecture Notes in Computer Science, 2004
- Model-Driven Software VerificationLecture Notes in Computer Science, 2004
- Verification of Java Programs Using Symbolic Execution and Invariant GenerationLecture Notes in Computer Science, 2004
- Generalized Symbolic Execution for Model Checking and TestingLecture Notes in Computer Science, 2003
- Finding feasible abstract counter-examplesInternational Journal on Software Tools for Technology Transfer, 2002
- Parametric shape analysis via 3-valued logicACM Transactions on Programming Languages and Systems, 2002
- The SLAM ToolkitLecture Notes in Computer Science, 2001
- Symbolic execution and program testingCommunications of the ACM, 1976