Timed Testing under Partial Observability

Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen. Timed Testing under Partial Observability. In ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA. pages 61-70, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.