Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems".
Hendrik SimonStefan KowalewskiPublished in: IFM (2018)
Keyphrases
- formal methods
- production system
- development lifecycle
- knowledge based systems
- special session
- artificial intelligence
- multistage
- software development
- safety critical
- software architecture
- modeling language
- embedded systems
- formal specification
- test cases
- design process
- case study
- multiprocessor architecture
- software systems
- databases
- software engineering
- object oriented
- knowledge discovery
- database systems
- data mining