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