Login / Signup
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.
Bernhard K. Aichernig
Elisabeth Jöbstl
Martin Tappler
Published in:
J. Log. Algebraic Methods Program. (2016)
Keyphrases
</>
input output
fault diagnosis
test case generation
failure modes
internal states
noise cancellation
repair actions
fuzzy model
data envelopment analysis
test data generation
single phase
neural network
software systems
database
nonlinear functions
test cases
genetic programming
decision trees
data sets