Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development.
Philipp BergerJohanna NellenJoost-Pieter KatoenErika ÁbrahámMd Tawhid Bin WaezThomas RambowPublished in: FMICS (2019)
Keyphrases
- automotive industry
- requirements engineering
- design principles
- software testing
- development lifecycle
- formal verification
- tool support
- model checking
- data driven
- quality assurance
- software development
- case study
- test set
- statistical tests
- st century
- user requirements
- metadata
- face verification
- development effort
- symbolic execution