Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution.

Li Hao Jianqi Shi Ting Su Yanhong Huang

Published in: TASE (2019)

Keyphrases

symbolic execution
test generation
test cases
test data generation
static analysis
software testing
design automation
specification language
source code
database
data flow
distributed systems
quality assurance
simulated annealing algorithm
information systems
genetic algorithm
real world