Dy-COPECA: A Dynamic Version of MC/DC Analyzer for C Program

von Godboley, Sangharatna
Veröffentlicht in ENASE (16. : 2021 : Online) ENASE 2021 (2021)

Reduced energy consumption for MC/DC testing

von Godboley, Sangharatna
Veröffentlicht in International journal of business information systems (2018)

TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)

von Jaffar, Joxan
Veröffentlicht in FASE (23. : 2020 : Online) Fundamental approaches to software engineering (2020)