Diablo

MaRDI QIDQ38664swMATHFDO

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

Cited in

(12)

• 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
• COMPCERTSFI

This page was built for software: Diablo