A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq.

Jean-Philippe Bernardy Stergios Chatzikyriakidis

Published in: IWCS(1) (2017)

Keyphrases

test suite
main contribution
database
databases
case study
lightweight
theoretical framework
data sets
neural network
data mining
machine learning
information systems
software engineering
test cases
test suite reduction