%0 Conference Paper %1 conf/fase/UvaPRAF17 %A Uva, Marcelo %A Ponzio, Pablo %A Regis, Germán %A Aguirre, Nazareno %A Frias, Marcelo F. %B FASE %D 2017 %E Huisman, Marieke %E Rubin, Julia %I Springer %K %P 356-373 %T Automated Workarounds from Java Program Specifications Based on SAT Solving. %U http://dblp.uni-trier.de/db/conf/fase/fase2017.html#UvaPRAF17 %V 10202 %@ 978-3-662-54493-8

@inproceedings{conf/fase/UvaPRAF17, added-at = {2023-12-13T05:52:16.000+0100}, author = {Uva, Marcelo and Ponzio, Pablo and Regis, Germán and Aguirre, Nazareno and Frias, Marcelo F.}, biburl = {https://www.bibsonomy.org/bibtex/2dab912516bc9e15187ce5526f73ed03f/admin}, booktitle = {FASE}, crossref = {conf/fase/2017}, editor = {Huisman, Marieke and Rubin, Julia}, ee = {https://doi.org/10.1007/978-3-662-54494-5_20}, interhash = {a782af10627248b3a1c0a312a2a78235}, intrahash = {dab912516bc9e15187ce5526f73ed03f}, isbn = {978-3-662-54493-8}, keywords = {}, pages = {356-373}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T05:52:16.000+0100}, title = {Automated Workarounds from Java Program Specifications Based on SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2017.html#UvaPRAF17}, volume = 10202, year = 2017 }