Mutation-Based Test Generation for PLC Embedded Software Using Model Checking.
Eduard Paul EnoiuDaniel SundmarkAdnan CausevicRobert FeldtPaul PetterssonPublished in: ICTSS (2016)
Keyphrases
- embedded software
- model checking
- test generation
- temporal logic
- test cases
- embedded systems
- test sequences
- software architecture
- model checker
- formal verification
- sequence diagrams
- development projects
- formal specification
- formal methods
- control system
- quality assurance
- verification method
- static analysis
- software testing
- regression testing
- finite state machines
- machine vision
- autonomous agents
- pattern matching