Software Testing Strategies for Detecting Hypercall Handlers' Aging-related Bugs.
Lukas BeierliebAlberto AvritzerLukas IffländerNuno AntunesAleksandar MilenkoskiSamuel KounevPublished in: ISSRE Workshops (2021)
Keyphrases
- software testing
- test cases
- software systems
- software reliability
- integration testing
- software development
- regression testing
- test generation
- testing process
- test case generation
- software engineering
- quality assurance
- fault localization
- test data generation
- object oriented
- high level
- artificial intelligence
- database
- model based testing
- control flow
- labor intensive
- test suite
- test data
- decision making
- machine learning
- databases