Specification-based testing of reactive software: a case study in technology transfer

• Authors:

• Lalita Jategaonkar Jagadeesan;Lawrence G. Votta;Adam Porter;Carlos Puchol;J. Christopher Ramming

• Affiliations:

• -;-;-;-;-

• Venue:
• Journal of Systems and Software - Special issue on formal methods technology transfer
• Year:
• 1998