Semi-Automatic Bug Generation Using Test Case Negation.
Tyler WestlandNan NiuRashmi JhaDavid KappTemesguen KebedePublished in: CSR (2021)
Keyphrases
- semi automatic
- test cases
- test case selection
- test data
- fully automatic
- software testing
- regression testing
- black box
- test sequences
- gold standard
- domain ontology
- logic programs
- test case generation
- test set
- semantic annotation
- test suite
- test generation
- test suite reduction
- test data generation
- semi automatically
- wrapper generation
- set of test cases
- labor intensive
- object oriented
- landmark extraction
- number of test cases
- logic programming
- ontology mapping
- software systems
- source code
- ontology construction
- testing process
- artificial intelligence
- software projects