Login / Signup
Efficient Black-Box Identity Testing over Free Group Algebra.
Vikraman Arvind
Abhranil Chatterjee
Rajit Datta
Partha Mukhopadhyay
Published in:
CoRR (2019)
Keyphrases
</>
black box
white box
integration testing
test cases
black boxes
white box testing
data model
hybrid systems
rule extraction
databases
test data
state transition
temporal reasoning
candidate solutions
error rate
query language
artificial intelligence
data sets