Travelled to:
1 × USA
Collaborated with:
W.M.Hasling T.J.Ostrand
Talks about:
test (2) generat (1) automat (1) specif (1) script (1) formal (1)
Person: Marc J. Balcer
DBLP: Balcer:Marc_J=
Contributed to:
Wrote 1 papers:
- TAV-1989-BalcerHO #automation #generative #specification #testing
- Automatic Generation of Test Scripts from Formal Test Specifications (MJB, WMH, TJO), pp. 210–218.