Eclat

swMATH7273MaRDI QIDQ19318FDOQ19318

Author name not available (Why is that?)

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

Cited In (9)

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

This page was built for software: Eclat