Looper

swMATH19489MaRDI QIDQ31316FDOQ31316

Author name not available (Why is that?)

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

Cited In (12)

• From invariant checking to invariant inference using randomized search
• Combining model checking and testing
• Convergence: integrating termination and abort-freedom
• CalFuzzer
• ADL
• ConTest
• CalcCheck
• HERMIT
• Snugglebug
• VS3
• CATG
• Con2colic

This page was built for software: Looper