Bug localization by constructing reduced traces

DOI10.1134/S0361768809030037MaRDI QIDQ840097zbMATH OpenFDO

Authors S. G. Groshev

Publication date 4 September 2009

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S0361768809030037

zbMATH Keywords

CTESK testing toolUniTESK test

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Software fault localization using elastic net: A new statistical approach
• Finding and fixing faults
• Test specification based on trace description
• Correct Hardware Design and Verification Methods
• Test case selection using multi-criteria optimization for effective fault localization

Cited in

(2)

• Local reasoning about the presence of bugs: incorrectness separation logic
• Software fault localization using elastic net: A new statistical approach

Describes a project that uses

Uses Software

• UniTESK

This page was built for publication: Bug localization by constructing reduced traces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q840097)