Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, Serdar Tasiran
A solver-aided language for test input generation
OOPSLA, 2017.
@article{OOPSLA-2017-RingerGST,
author = "Talia Ringer and Dan Grossman and Daniel Schwartz-Narbonne and Serdar Tasiran",
doi = "10.1145/3133915",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "OOPSLA",
pages = "24",
publisher = "{ACM}",
title = "{A solver-aided language for test input generation}",
volume = 1,
year = 2017,
}