Login / Signup
Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results.
Rudy Braquehais
Colin Runciman
Published in:
Haskell (2017)
Keyphrases
</>
black box
integration testing
test cases
white box testing
white box
black boxes
knowledge representation
rule extraction
hybrid systems
elementary functions
mathematical model
test data
software testing
sufficient conditions
neural network
error rate
linear inequalities
case study
knowledge base