Specification-based testing of reactive software: a case study in technology transfer.
Saved in:
| Title: | Specification-based testing of reactive software: a case study in technology transfer. |
|---|---|
| Authors: | Jagadeesan, Lalita Jategaonkar, Votta, Lawrence G., Porter, Adam |
| Source: | Journal of Systems & Software; March 1998, Vol. 40 Issue 3, p249-262, 14p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01641212 |
|---|---|
| DOI: | 10.1016/S0164-1212(97)00170-2 |
