Test Synthesis for Logical X-functions.

Vladimir Hahanov Mykhailo Liubarskyi Wajeb Gharibi Svetlana Chumachenko Eugenia Litvinova Ivan Hahanov

Published in: EWDTS (2018)

Keyphrases

artificial intelligence
data sets
test cases
program synthesis
real world
decision making
web pages
image processing
lower bound
logical structure
logical operations
functional programs