Specification-based testing of synchronous software

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 ◽

10.1145/239098.239119 ◽

1996 ◽

Cited By ~ 14

Author(s):

Ioannis Parissis ◽

Farid Ouabdesselam

Download Full-text