Formal Test Automation: A Simple Experiment

Publisher Website

1 January 1999

book chapter
Published by Springer Nature

p. 179-196
https://doi.org/10.1007/978-0-387-35567-2_12

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Autolink — Putting SDL-based test generation into practice
Published by Springer Nature ,1998