@article{ringer+:pl17,
  address = {New York, NY, USA},
  articleno = {Article 91},
  author = {Ringer, Talia and Grossman, Dan and Schwartz-Narbonne, Daniel and Tasiran, Serdar},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  issue_date = {October 2017},
  journal = {Proc. ACM Program. Lang.},
  keywords = {generators, test input generation, solver-aided languages},
  month = oct,
  number = {OOPSLA},
  numpages = {24},
  publisher = {Association for Computing Machinery},
  title = {A Solver-Aided Language for Test Input Generation},
  volume = {1},
  year = {2017},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAYcGFwZXJzL3JpbmdlcitwbDE3LWEucGRmTxEBbAAAAAABbAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAAAAAAEJEAAH/////EXJpbmdlcitwbDE3LWEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAP////8AAAAAAAAAAAAAAAAAAQADAAAKIGN1AAAAAAAAAAAAAAAAAAZwYXBlcnMAAgA3LzpVc2VyczpnYW1ibGluMjpzcmM6YnVpbGQtYmliOnBhcGVyczpyaW5nZXIrcGwxNy1hLnBkZgAADgAkABEAcgBpAG4AZwBlAHIAKwBwAGwAMQA3AC0AYQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIANVVzZXJzL2dhbWJsaW4yL3NyYy9idWlsZC1iaWIvcGFwZXJzL3JpbmdlcitwbDE3LWEucGRmAAATAAEvAAAVAAIAD///AAAACAANABoAJAA/AAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAa8=},
  bdsk-url-1 = {https://doi.org/10.1145/3133915}
}