12 search results - page 3 / 3 » A Formal Approach for Passive Testing of Protocol Data Porti... |
IWANN
2009
Springer
13 years 11 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
BIOSTEC
2008
13 years 6 months ago
2008
Clinical trial protocols include schedule of clinical trial activities such as clinical tests, procedures, and medications. The schedule specifies temporal constraints on the seque...