Test Case Generation from AsmL Specifications

Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, and Margus Veanes

Details

Publication typeInproceedings
Published inASM 2003
Pages413
Volume2589
SeriesLNCS
PublisherSpringer Verlag
> Publications > Test Case Generation from AsmL Specifications