Login / Signup
Black Box Techniques for Debugging Unsatisfiable Concepts.
Aditya Kalyanpur
Bijan Parsia
Evren Sirin
Published in:
Description Logics (2005)
Keyphrases
</>
black box
black boxes
white box
rule extraction
state transition
white box testing
test cases
hybrid systems
integration testing
machine learning
data sets
feature selection
case study
query language
phase transition
software testing