Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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