An Experiment in Automatic Generation of Test Suites for Protocols With Verification Technology
Science of Computer Programming - Netherlands
doi 10.1016/s0167-6423(96)00032-9
Full Text
Open PDFAbstract
Available in full text
Categories
Date
July 1, 1997
Authors
Publisher
Elsevier BV