Fault localization in embedded software based on a single cyclic trace.

Azzeddine Amiar Mickaël Delahaye Yliès Falcone Lydie du Bousquet

Published in: ISSRE (2013)

Keyphrases

embedded software
fault localization
embedded systems
model based diagnosis
development projects
distributed systems
case study
training data
petri net