Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive Software.
Rohini BishtSelomie Kindu EjiguGregory GayPredrag FilipovikjPublished in: ICSTW (2023)
Keyphrases
- test cases
- software testing
- test generation
- formal verification
- quality assurance
- software development
- software systems
- symbolic execution
- test data generation
- safety critical
- formal methods
- embedded software
- object oriented software
- software design
- testing process
- software package
- software reliability
- static analysis
- model based testing
- software development life cycle
- software developers
- test suite
- hardware designs
- model checking
- software architecture
- design patterns
- information content
- personal computer
- software tools
- software maintenance
- software platform
- development process
- modeling language
- signature verification
- real time
- software intensive systems
- information systems