A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques.
Shmuel UrPublished in: Haifa Verification Conference (2006)
Keyphrases
- software testing
- test generation
- test cases
- software development
- hardware designs
- software reliability
- software systems
- fault localization
- quality assurance
- white box testing
- test data generation
- control flow
- model checking
- regression testing
- software engineering
- test case generation
- testing process
- integration testing
- road network
- formal specification
- computer systems
- test suite
- code coverage
- test data
- artificial intelligence
- data sets
- development process
- database systems
- decision making
- real world