Omniscient debugging for executable DSLs.

Erwan Bousse Dorian Leroy Benoît Combemale Manuel Wimmer Benoit Baudry

Published in: J. Syst. Softw. (2018)

Keyphrases

model based diagnosis
multimedia
fault localization
computer vision
execution traces
general purpose
hardware designs
attribute grammars
novice programmers
software testing
formal specification
real time
special case
preprocessing
video sequences
image processing
decision making
neural network