Mutation Patterns for Temporal Requirements of Reactive Systems.
Mark B. TrakhtenbrotPublished in: ICST Workshops (2017)
Keyphrases
- reactive systems
- temporal patterns
- temporal evolution
- genetic algorithm
- temporal logic
- evolutionary algorithm
- model checking
- temporal information
- pattern discovery
- real time systems
- state machines
- real time
- temporal data
- temporal constraints
- spatio temporal
- formal methods
- temporal reasoning
- temporal sequences
- design patterns
- information flow
- control flow
- decision making