%0 Conference Paper %1 conf/issta/ClappAA15 %A Clapp, Lazaro %A Anand, Saswat %A Aiken, Alex %B ISSTA %D 2015 %E Young, Michal %E Xie, Tao %I ACM %K dblp %P 129-140 %T Modelgen: mining explicit information flow specifications from concrete executions. %U http://dblp.uni-trier.de/db/conf/issta/issta2015.html#ClappAA15 %@ 978-1-4503-3620-8

@inproceedings{conf/issta/ClappAA15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Clapp, Lazaro and Anand, Saswat and Aiken, Alex}, biburl = {https://www.bibsonomy.org/bibtex/2a10a7858133c20da3ef295a7a5418038/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2015}, editor = {Young, Michal and Xie, Tao}, ee = {https://doi.org/10.1145/2771783.2771810}, interhash = {8ee2a69fb35ffe7468e05fd27ba97309}, intrahash = {a10a7858133c20da3ef295a7a5418038}, isbn = {978-1-4503-3620-8}, keywords = {dblp}, pages = {129-140}, publisher = {ACM}, timestamp = {2024-04-09T20:41:28.000+0200}, title = {Modelgen: mining explicit information flow specifications from concrete executions.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2015.html#ClappAA15}, year = 2015 }