Eclat

MaRDI QIDQ19318swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/11531142_22

Cited in

(12)

• IdentityHashMap
• The Daikon system for dynamic detection of likely invariants
• Strategies for scalable symbolic execution-driven test generation for programs
• Symstra
• Daikon
• GeoSteiner
• Rostra
• TestEra
• JCrasher
• Geno
• SOBER
• Automation of broad sanity test generation

This page was built for software: Eclat