Formal passive testing of timed systems: theory and tools.
César AndrésMercedes G. MerayoManuel NúñezPublished in: Softw. Test. Verification Reliab. (2012)
Keyphrases
- formal methods
- topics covered include
- formal languages
- building blocks
- learning systems
- decision making
- complex systems
- intelligent systems
- neural network
- technical issues
- theoretical framework
- knowledge based systems
- collaborative learning
- management system
- expert systems
- information systems
- distributed systems
- mathematical models
- formal models
- mathematical theory
- tool support
- data sets
- computer aided software engineering
- search based software testing