Model-based automated testing of critical PLC programs.
Borja Fernandez AdiegoEnrique Blanco ViñuelaVíctor M. González SuárezSimon BliudzePublished in: INDIN (2013)
Keyphrases
- search based testing
- symbolic execution
- data driven
- test data generation
- semi automated
- fully automated
- automatic programming
- computer aided
- computer assisted
- concurrent programs
- software testing
- database
- database systems
- fully automatic
- hardware and software
- computer programs
- test data
- semi automatic
- intermediate level
- test cases
- digital libraries
- search engine
- data sets