Timed testing under partial observability (2009)

by A David, K G Larsen, S Li, B Nielsen
Venue:In 2nd International Conference on Software Testing Verification and Validation (ICST’09