Automated Functional Test Case Synthesis from THALES industrial Requirements.
David Lugato, Frdric Maraux, Yves Le Traon, Vronique Normand, Hubert Dubois, Jean-Yves Pierron, Jean-Pierre Gallois, Clmentine Nebut
VenueARTAS
Year2004
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/LugatoMTNDPGN04 ↗
Browse the full RTAS paper archive.