Robustness Testing of Software Verifiers.
Florian DyckCedric RichterHeike WehrheimPublished in: SEFM (2023)
Keyphrases
- software testing
- test cases
- testing process
- test case generation
- regression testing
- software development
- quality assurance
- software tools
- software development life cycle
- software reliability
- test suite
- software systems
- embedded systems
- computer systems
- commercial software
- test data generation
- digital images
- real time
- integration testing
- object oriented software
- neural network
- real world
- e learning
- web services
- computational efficiency
- analysis tool
- software package
- software design
- database
- personal computer
- software architecture