Timed testing under partial observability. In: (2009)

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