Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions.
Adriana Carla DamascenoPatrícia Duarte de Lima MachadoWilkerson de Lucena AndradeWesley Nunes Marques TorresPublished in: ISORC (2015)
Keyphrases
- real time systems
- test case generation
- test cases
- software testing
- real time
- test data generation
- object oriented systems
- distributed systems
- embedded systems
- real time database systems
- test suite
- timing constraints
- java programs
- object oriented programming language
- database
- software systems
- artificial neural networks
- multi agent systems
- artificial intelligence