swMATH12796MaRDI QIDQ24720FDOQ24720
Author name not available (Why is that?)
Official website: http://ranger.uta.edu/~csallner/jcrasher/
Cited In (27)
- IdentityHashMap
- Runtime Exception Detection in Java Programs Using Symbolic Execution
- Automation of broad sanity test generation
- Clang Static Analyzer
- Robustness testing for software components
- Collaborative verification and testing with explicit assumptions
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- Limmat
- Eclat
- Korat
- JUnit
- SANTE
- Rostra
- TestEra
- jEdit
- ArgoUML
- Nighthawk
- SPARK Pro
- log4j
- CodeSonar
- Klockwork
- EXPLODE
- Jessie
- Geno
- JUMBL
- BALSA
- Software testing with an operational profile: OP definition
This page was built for software: JCrasher
