Regression Verification for Programmable Logic Controller Software.
Bernhard BeckertMattias UlbrichBirgit Vogel-HeuserAlexander WeiglPublished in: ICFEM (2015)
Keyphrases
- regression model
- software development
- programmable logic controller
- software systems
- software maintenance
- computer systems
- formal verification
- formal methods
- software tools
- databases
- user interface
- neural network
- fuzzy control
- petri net
- hardware designs
- regression algorithm
- static analysis
- linear regression
- knowledge base
- test cases
- model selection
- data mining
- pattern recognition
- database systems