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