Login / Signup
Testing the Correctness of Tasking Supervisors with TSL Specifications.
David S. Rosenblum
David C. Luckham
Published in:
Symposium on Testing, Analysis, and Verification (1989)
Keyphrases
</>
test suite
formal verification
data mining
high level
database systems
expert systems
multiscale
formal specification
test data
test cases
test set
natural language
real time
website
information systems
information retrieval
data sets