Bug localization by constructing reduced traces

DOI10.1134/S0361768809030037MaRDI QIDQ840097zbMATHFDO

Authors S. G. Groshev

Publication date 4 September 2009

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

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)