Specification-based testing of reactive software

Publisher Website

1 January 1997

conference paper
Published by Association for Computing Machinery (ACM)

p. 525-535
https://doi.org/10.1145/253228.253435

Abstract

No abstract available

Keywords

Cited by 37 articles