Bug localization by constructing reduced traces

DOI10.1134/S0361768809030037zbMATH Open1185.68090MaRDI QIDQ840097FDOQ840097

Authors: S. G. Groshev 

Publication date: 4 September 2009

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

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

zbMATH Keywords

CTESK testing toolUniTESK test

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)

Cited In (2)

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

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)