The Effects of Soft Assertion on Spectrum-Based Fault Localization.

Kouhei Mihara Shinsuke Matsumoto Shinji Kusumoto

Published in: PROFES (1) (2023)

Keyphrases

fault localization
model based diagnosis
software testing
program understanding
fault detection
program slicing
data abstraction
database
training data
data sets
decision trees
decision support system
dynamic systems
formal specification