Rostra

MaRDI QIDQ19315swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1025219

Cited in

(14)

• IdentityHashMap
• POOC
• Symstra
• Daikon
• Eclat
• Korat
• JUnit
• TestEra
• JCrasher
• ADABU
• Computer Aided Verification
• Geno
• Tools and Algorithms for the Construction and Analysis of Systems
• Automation of broad sanity test generation

This page was built for software: Rostra