MPSoC Zoom Debugging: A Deterministic Record-Partial Replay Approach

Georgiev, Kiril; Martin, Vania

doi:10.1109/euc.2014.20

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2016

2017

Publication Types

Select...

Other3

Relationship

Self Cite0

Independent3

Authors

Journals

Cited by 3 publications

(1 citation statement)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The Visual Studio debugger is Microsoft's debugger. Reverse debugging [16,19,34] is a complementary debugging technique. A rst execution of the program showing the bug is recorded.…”

Section: Related Workmentioning

confidence: 99%

Interactive Runtime Verification

Jakse¹,

Falcone²,

Méhaut³

et al. 2017

Preprint

View full text Add to dashboard Cite

Monitoring is the study of a system at runtime, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging is the study of a system at runtime in order to discover and understand its bugs and x them, inspecting interactively its internal state.Interactive Runtime Veri cation (i-RV) combines monitoring and interactive debugging. We de ne an e cient and convenient way to check behavioral properties automatically on a program using a debugger. We aim at helping bug discovery while keeping the classical debugging techniques and interactivity, which allow understanding and xing bugs.CCS Concepts: •Software and its engineering → Software testing and debugging;

show abstract

“…The Visual Studio debugger is Microsoft's debugger. Reverse debugging [16,19,34] is a complementary debugging technique. A rst execution of the program showing the bug is recorded.…”

Section: Related Workmentioning

confidence: 99%