2008 23rd IEEE/ACM International Conference on Automated Software Engineering 2008
DOI: 10.1109/ase.2008.23
|View full text |Cite
|
Sign up to set email alerts
|

Evaluating Models for Model-Based Debugging

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
59
0

Year Published

2011
2011
2023
2023

Publication Types

Select...
6
3
1

Relationship

0
10

Authors

Journals

citations
Cited by 51 publications
(59 citation statements)
references
References 17 publications
0
59
0
Order By: Relevance
“…Their approach is designed for the simultaneous fault localisation of sets of multiple faults, and were only scalable to our additional experiments. Other heavyweight techniques are similarly unscalable [30,[36][37][38][39][40][41], which emphasises the importance of developing lightweight techniques such as pfl/sbfl.…”
Section: Related Workmentioning
confidence: 99%
“…Their approach is designed for the simultaneous fault localisation of sets of multiple faults, and were only scalable to our additional experiments. Other heavyweight techniques are similarly unscalable [30,[36][37][38][39][40][41], which emphasises the importance of developing lightweight techniques such as pfl/sbfl.…”
Section: Related Workmentioning
confidence: 99%
“…Our technique is related to, but differs substantially from, automated debugging and repair for use during testing, which focus on how to change the code rather than dynamically changing the heap [12,21,23,24]. However, as Malik et al propose, dynamic repair actions could translate into program statements [11].…”
Section: Related Workmentioning
confidence: 99%
“…Initial ideas towards model-based debugging are proposed in [MS08]. [KSWR09] discusses a connection between debugging and QVT.…”
Section: Related Workmentioning
confidence: 99%