%0 Conference Paper %1 conf/ssiri/ZechFKB14 %A Zech, Philipp %A Felderer, Michael %A Katt, Basel %A Breu, Ruth %B SERE %D 2014 %I IEEE %K dblp %P 88-97 %T Security Test Generation by Answer Set Programming. %U http://dblp.uni-trier.de/db/conf/ssiri/sere2014.html#ZechFKB14 %@ 978-1-4799-4296-1

@inproceedings{conf/ssiri/ZechFKB14, added-at = {2018-11-02T00:00:00.000+0100}, author = {Zech, Philipp and Felderer, Michael and Katt, Basel and Breu, Ruth}, biburl = {https://www.bibsonomy.org/bibtex/2f811983bd1880cefe2f58da064ce4ce6/dblp}, booktitle = {SERE}, crossref = {conf/ssiri/2014}, ee = {https://doi.org/10.1109/SERE.2014.22}, interhash = {1cfbc16210eb5b9dd5adc2e9f7a3b62e}, intrahash = {f811983bd1880cefe2f58da064ce4ce6}, isbn = {978-1-4799-4296-1}, keywords = {dblp}, pages = {88-97}, publisher = {IEEE}, timestamp = {2019-10-17T18:48:09.000+0200}, title = {Security Test Generation by Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/conf/ssiri/sere2014.html#ZechFKB14}, year = 2014 }