Bug-Assist: Assisting Fault Localization in ANSI-C Programs

Jose, Manu and Majumdar, Rupak
(2011) Bug-Assist: Assisting Fault Localization in ANSI-C Programs.
In: Proc. of the 23rd International Conference on Computer Aided Verification (CAV 2011).
Conference: CAV Computer Aided Verification

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item