Symbolic Model-Based Testing for Industrial Automation Software.
Sabrina von StypLiyong YuPublished in: Haifa Verification Conference (2013)
Keyphrases
- industrial automation
- model based testing
- test cases
- software development
- software design
- testing process
- control system
- software testing
- multi agent systems
- software maintenance
- neural network
- source code
- software components
- software architecture
- database
- software engineering
- test set
- embedded systems
- software projects
- reverse engineering
- computer systems
- low level
- intermediate level
- data model
- high level
- user interface