@inproceedings{DBLP:conf/icst/AbadABCFGMMRV13,
	author = {Pablo Abad and Nazareno Aguirre and Valeria S. Bengolea and Daniel Ciolek and Marcelo F. Frias and Juan P. Galeotti and Tom Maibaum and Mariano M. Moscato and Nicol{\'{a}}s Rosner and Ignacio Vissani},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	biburl = {https://dblp.org/rec/conf/icst/AbadABCFGMMRV13.bib},
	booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22, 2013},
	doi = {10.1109/ICST.2013.46},
	pages = {21--30},
	publisher = {{IEEE} Computer Society},
	timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
	title = {Improving Test Generation under Rich Contracts by Tight Bounds and Incremental {SAT} Solving},
	url = {https://doi.org/10.1109/ICST.2013.46},
	year = {2013},
	Bdsk-Url-1 = {https://doi.org/10.1109/ICST.2013.46},
	Bdsk-Url-2 = {http://dx.doi.org/10.1109/ICST.2013.46}}

{"_id":"QXDYDbwPbEKsZdeBE","bibbaseid":"abad-aguirre-bengolea-ciolek-frias-galeotti-maibaum-moscato-etal-improvingtestgenerationunderrichcontractsbytightboundsandincrementalsatsolving-2013","authorIDs":["5deab0a703c11ade01000169","5deab2bf03c11ade010001b2","5deab34203c11ade010001c2","5deab80703c11ade01000259"],"author_short":["Abad, P.","Aguirre, N.","Bengolea, V. S.","Ciolek, D.","Frias, M. F.","Galeotti, J. P.","Maibaum, T.","Moscato, M. M.","Rosner, N.","Vissani, I."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pablo"],"propositions":[],"lastnames":["Abad"],"suffixes":[]},{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]},{"firstnames":["Valeria","S."],"propositions":[],"lastnames":["Bengolea"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Ciolek"],"suffixes":[]},{"firstnames":["Marcelo","F."],"propositions":[],"lastnames":["Frias"],"suffixes":[]},{"firstnames":["Juan","P."],"propositions":[],"lastnames":["Galeotti"],"suffixes":[]},{"firstnames":["Tom"],"propositions":[],"lastnames":["Maibaum"],"suffixes":[]},{"firstnames":["Mariano","M."],"propositions":[],"lastnames":["Moscato"],"suffixes":[]},{"firstnames":["Nicolás"],"propositions":[],"lastnames":["Rosner"],"suffixes":[]},{"firstnames":["Ignacio"],"propositions":[],"lastnames":["Vissani"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/icst/AbadABCFGMMRV13.bib","booktitle":"Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013","doi":"10.1109/ICST.2013.46","pages":"21–30","publisher":"IEEE Computer Society","timestamp":"Wed, 16 Oct 2019 14:14:54 +0200","title":"Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving","url":"https://doi.org/10.1109/ICST.2013.46","year":"2013","bdsk-url-1":"https://doi.org/10.1109/ICST.2013.46","bdsk-url-2":"http://dx.doi.org/10.1109/ICST.2013.46","bibtex":"@inproceedings{DBLP:conf/icst/AbadABCFGMMRV13,\n\tauthor = {Pablo Abad and Nazareno Aguirre and Valeria S. Bengolea and Daniel Ciolek and Marcelo F. Frias and Juan P. Galeotti and Tom Maibaum and Mariano M. Moscato and Nicol{\\'{a}}s Rosner and Ignacio Vissani},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icst/AbadABCFGMMRV13.bib},\n\tbooktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22, 2013},\n\tdoi = {10.1109/ICST.2013.46},\n\tpages = {21--30},\n\tpublisher = {{IEEE} Computer Society},\n\ttimestamp = {Wed, 16 Oct 2019 14:14:54 +0200},\n\ttitle = {Improving Test Generation under Rich Contracts by Tight Bounds and Incremental {SAT} Solving},\n\turl = {https://doi.org/10.1109/ICST.2013.46},\n\tyear = {2013},\n\tBdsk-Url-1 = {https://doi.org/10.1109/ICST.2013.46},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1109/ICST.2013.46}}\n\n","author_short":["Abad, P.","Aguirre, N.","Bengolea, V. S.","Ciolek, D.","Frias, M. F.","Galeotti, J. P.","Maibaum, T.","Moscato, M. M.","Rosner, N.","Vissani, I."],"key":"DBLP:conf/icst/AbadABCFGMMRV13","id":"DBLP:conf/icst/AbadABCFGMMRV13","bibbaseid":"abad-aguirre-bengolea-ciolek-frias-galeotti-maibaum-moscato-etal-improvingtestgenerationunderrichcontractsbytightboundsandincrementalsatsolving-2013","role":"author","urls":{"Paper":"https://doi.org/10.1109/ICST.2013.46"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","creationDate":"2019-12-06T19:48:55.602Z","downloads":0,"keywords":[],"search_terms":["improving","test","generation","under","rich","contracts","tight","bounds","incremental","sat","solving","abad","aguirre","bengolea","ciolek","frias","galeotti","maibaum","moscato","rosner","vissani"],"title":"Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving","year":2013,"dataSources":["CctimS4AgKgzGybH5"]}