Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata.
Jüri VainLeonidas TsiopoulosGert KanterPublished in: MEDI (2021)
Keyphrases
- timed automata
- aspect oriented
- model based testing
- software development
- model checking
- test cases
- theorem prover
- software engineering
- software design
- development process
- object oriented
- software projects
- software testing
- case study
- real time systems
- software systems
- aspect oriented programming
- theorem proving
- first order logic
- software product line
- software components
- software quality
- temporal logic
- knowledge management
- data sets
- business applications
- real time
- software architecture
- testing process
- test set
- neural network