JCrasher
From MaRDI portal
Cited in
(30)- Symstra
- rCOS
- Daikon
- Limmat
- SANTE
- TestEra
- Korat
- JUnit
- Rostra
- Eclat
- jEdit
- SPARK Pro
- ArgoUML
- Nighthawk
- log4j
- CodeSonar
- Klockwork
- EXPLODE
- Runtime Exception Detection in Java Programs Using Symbolic Execution
- Jessie
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- Collaborative verification and testing with explicit assumptions
- Software testing with an operational profile: OP definition
- Geno
- JUMBL
- BALSA
- IdentityHashMap
- Clang Static Analyzer
- Automation of broad sanity test generation
- Robustness testing for software components
This page was built for software: JCrasher
