Test Case Generation from AsmL Specifications
Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, and Margus Veanes
March 2003
In ASM 2003
Publisher Springer Verlag
All copyrights reserved by Springer 2007.
Details
| Type | Inproceedings |
| Pages | 413 |
| Volume | 2589 |
| Series | LNCS |
Related Projects
Related People
Related Labs
Share
