Incremental Learning-Based Testing for Reactive Systems.
Karl MeinkeMuddassar A. SindhuPublished in: TAP@TOOLS (2011)
Keyphrases
- incremental learning
- reactive systems
- incremental learning algorithm
- fuzzy artmap
- temporal logic
- model checking
- batch learning
- formal methods
- batch mode
- learning process
- supervised learning
- petri net
- information flow
- artificial intelligence
- control flow
- pairwise
- semi supervised
- software testing
- decision making
- neural learning
- test cases
- test set
- knowledge acquisition