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