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]

Authors

Alexandre David

This author has not been identified. Look up 'Alexandre David' in Google

Kim Guldstrand Larsen

This author has not been identified. Look up 'Kim Guldstrand Larsen' in Google

Shuhao Li

This author has not been identified. Look up 'Shuhao Li' in Google

Brian Nielsen

This author has not been identified. It may be one of the following persons: Look up 'Brian Nielsen' in Google