Specification-based Testing with Linear Temporal Logic.

Li Tan, Oleg Sokolsky, Insup Lee

Browse the full IRI paper archive.