@inproceedings{JJG+03,
title = { Automatic State Reaching for Debugging Reactive Programs },
author = {Jahier, Erwan and Jeannet, Bertrand and Gaucher, Fabien and Maraninchi, Florence},
month = {sep},
year = {2003},
booktitle = {AADEBUG'2003 -- Fifth International Workshop on Automated Debugging},
address = {Ghent},
team = {SYNC},
}