%0 Conference Paper %1 conf/rv/GuzmanRMM20 %A Guzmán, Michell %A Riganelli, Oliviero %A Micucci, Daniela %A Mariani, Leonardo %B RV %D 2020 %E Deshmukh, Jyotirmoy %E Nickovic, Dejan %I Springer %K dblp %P 279-297 %T Test4Enforcers: Test Case Generation for Software Enforcers. %U http://dblp.uni-trier.de/db/conf/rv/rv2020.html#GuzmanRMM20 %V 12399 %@ 978-3-030-60508-7

@inproceedings{conf/rv/GuzmanRMM20, added-at = {2020-10-20T00:00:00.000+0200}, author = {Guzmán, Michell and Riganelli, Oliviero and Micucci, Daniela and Mariani, Leonardo}, biburl = {https://www.bibsonomy.org/bibtex/27819f087cde5b07845726b182e1159ad/dblp}, booktitle = {RV}, crossref = {conf/rv/2020}, editor = {Deshmukh, Jyotirmoy and Nickovic, Dejan}, ee = {https://doi.org/10.1007/978-3-030-60508-7_15}, interhash = {da4bbf4bcf8c9201ed76403a013a17ca}, intrahash = {7819f087cde5b07845726b182e1159ad}, isbn = {978-3-030-60508-7}, keywords = {dblp}, pages = {279-297}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-10-21T11:44:57.000+0200}, title = {Test4Enforcers: Test Case Generation for Software Enforcers.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2020.html#GuzmanRMM20}, volume = 12399, year = 2020 }