Cited in
(66)- Integration of verification methods for program systems
- StarFinder
- Efficient loop navigation for symbolic execution
- An Evaluation of Automata Algorithms for String Analysis
- On theorem prover-based testing
- Static contract checking with abstract interpretation
- Formal testing for separation assurance
- Discovering invariants via simple component analysis
- Algorithm selection for dynamic symbolic execution: a preliminary study
- A generic framework for symbolic execution: a coinductive approach
- Test case generation for object-oriented imperative languages in CLP
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- Symbolic execution based on language transformation
- Machine learning steered symbolic execution framework for complex software code
- Symbolic memory with pointers
- Combining model checking and testing
- A first step in the design of a formally verified constraint-based testing tool: FocalTest
- CUTE
- IMP++
- KLEE
- ADL
- ATGen
- DART
- Euclide
- GATeL
- Korat
- PathCrawler
- TestEra
- JACK
- TRACER
- Java PathFinder
- Lackwit
- Stranger
- URBiVA
- SpecExplorer
- SIMPLY
- Kaluza
- JPF-SE
- jPET
- GanttProject
- YOGI
- A decision procedure for regular membership and length constraints over unbounded strings
- JST
- MarQ
- StaRVOOrS
- DyTa
- Greenfoot
- Scratch
- KLOVERA
- Jalangi
- jCUTE
- AGEDIS
- KOOL
- STP
- Bugst
- JaCoCo
- QSYM
- JBSE
- An efficient SMT solver for string constraints
- Test selection for traces refinement
- Interleaving symbolic execution and partial evaluation
- Path Feasibility Analysis for String-Manipulating Programs
- Collaborative verification and testing with explicit assumptions
- Test generation from event system abstractions to cover their states and transitions
- URSA: a system for uniform reduction to SAT
- Executing and verifying higher-order functional-imperative programs in Maude
This page was built for software: Pex