Eclat

swMATH7273MaRDI QIDQ19318FDOQ19318

Author name not available (Why is that?)

Cited In (3)

• The Daikon system for dynamic detection of likely invariants
• Automation of broad sanity test generation
• Strategies for scalable symbolic execution-driven test generation for programs

This page was built for software: Eclat