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 Groups
Related Labs
Related Research Areas
©2009 Microsoft Corporation. All rights reserved.