Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development.
Philipp BergerJohanna NellenJoost-Pieter KatoenErika ÁbrahámMd Tawhid Bin WaezThomas RambowPublished in: CoRR (2019)
Keyphrases
- automotive industry
- software testing
- rapid development
- case study
- information processing
- knowledge based systems
- model checking
- development process
- software development
- requirements engineering
- tool support
- neural network
- complex software systems
- statistical analysis
- design process
- data driven
- st century
- software design
- development environment
- development projects