Systematic Testing: A Means for Validating Reactive Systems.

Monika Müllerburg

Published in: Softw. Test. Verification Reliab. (1995)

Keyphrases

reactive systems
model checking
information flow
test cases
temporal logic
database
real time
databases
information systems
expert systems
knowledge management
building blocks
petri net
first order logic
software architecture
life cycle