Diablo

swMATH26942MaRDI QIDQ38664FDOQ38664

Author name not available (Why is that?)

Official website: https://diablo.elis.ugent.be

Cited In (12)

• COMPCERTSFI
• A program slicing-based method for effective detection of coincidentally correct test cases
• Secure application execution in mobile devices
• MiBench
• ARMor
• CompCertS
• Rocksalt
• Defects4J
• HSFal
• JavaPDG
• Inforence
• PinPoint

This page was built for software: Diablo