z-logo
open-access-imgOpen Access
Automatic State Reaching for Debugging Reactive Programs
Author(s) -
Fabien Gaucher,
Erwan Jahier,
Florence Maraninchi,
Bertrand Jeannet
Publication year - 2003
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - debugging , computer science , state (computer science) , programming language , algorithmic program debugging , software bug , software engineering , software

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom