Concolic test generation for PLC programs using coverage metrics.
Dimitri BohlenderHendrik SimonNico FriedrichStefan KowalewskiStefan Hauck-StattelmannPublished in: WODES (2016)
Keyphrases
- test generation
- symbolic execution
- code coverage
- test cases
- set of test cases
- design automation
- test sequences
- test suite
- static analysis
- software testing
- quality assurance
- control system
- mutation testing
- test data generation
- regression testing
- training data
- databases
- visual quality
- query language
- information technology
- computer vision