A solver-aided language for test input generation.

Talia Ringer Dan Grossman Daniel Schwartz-Narbonne Serdar Tasiran

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

programming language
logic programming language
natural language
english language
generation process
input data
conceptual graphs
text generation
data sets
constraint logic programming
language learning
statistically significant
training data
e learning
information systems
machine learning
neural network