Symbolic execution of programmable logic controller code.
Shengjian GuoMeng WuChao WangPublished in: ESEC/SIGSOFT FSE (2017)
Keyphrases
- symbolic execution
- source code
- static analysis
- programmable logic controller
- test generation
- test data generation
- petri net
- specification language
- hardware and software
- data flow
- fuzzy control
- open source
- software systems
- test cases
- regular expressions
- case study
- differential evolution
- neural network
- quality assurance
- low cost
- artificial intelligence