Specification-based Testing of Reactive Software: A Case Study in Technology Transfer

TitleSpecification-based Testing of Reactive Software: A Case Study in Technology Transfer
Publication TypeJournal Articles
Year of Publication1998
AuthorsJategaonkar Jagadeesan L, Porter A, Puchol C, Ramming JC, Votta LG
JournalJournal of Systems and Software
Volume40
Issue3
Pagination249 - 262
Date Published1998///