Test Case Generation

@inproceedings{Do2017,

title = {Inferring Secrets by Guided Experiments},

author = {Quoc Huy Do and Richard Bubel and Reiner H\"{a}hnle},

editor = {Dang Van Hung and Deepak Kapur},

url = {https://doi.org/10.1007/978-3-319-67729-3_16},

doi = {10.1007/978-3-319-67729-3_16},

year  = {2017},

date = {2017-01-01},

booktitle = {Theoretical Aspects of Computing -- ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings},

pages = {269--287},

publisher = {Springer International Publishing},

address = {Cham},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DoKW16,

title = {Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study},

author = {Quoc Huy Do and Eduard Kamburjan and Nathan Wasser},

url = {http://dx.doi.org/10.1007/978-3-662-49635-0_6},

doi = {10.1007/978-3-662-49635-0_6},

isbn = {978-3-662-49634-3},

year  = {2016},

date = {2016-01-01},

booktitle = {Proceedings of the 5th International Conference on Principles of Security and Trust - Volume 9635},

pages = {97--115},

publisher = {Springer-Verlag New York, Inc.},

address = {New York, NY, USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DoBH15,

title = {Exploit Generation for Information Flow Leaks in Object-Oriented Programs},

author = {Quoc Huy Do and Richard Bubel and Reiner H\"{a}hnle},

url = {http://dx.doi.org/10.1007/978-3-319-18467-8_27},

doi = {10.1007/978-3-319-18467-8_27},

year  = {2015},

date = {2015-01-01},

booktitle = {ICT Systems Security and Privacy Protection - 30th IFIP TC 11 

 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 

 2015, Proceedings},

pages = {401--415},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{AhrendtBeckertBrunsEtAl14,

title = {The KeY Platform for Verification and Analysis of Java Programs},

author = {Wolfgang Ahrendt and Bernhard Beckert and Daniel Bruns and Richard Bubel and 

Christoph Gladisch and Sarah Grebing and Reiner H\"{a}hnle and Martin Hentschel and 

Mihai Herda and Vladimir Klebanov and Wojciech Mostowski and Christoph Scheben and 

Peter H. Schmitt and Mattias Ulbrich},

editor = {Dimitra Giannakopoulou and Daniel Kroening},

url = {http://link.springer.com/chapter/10.1007/978-3-319-12154-3_4},

doi = {10.1007/978-3-319-12154-3_4},

isbn = {978-3-642-54107-0},

year  = {2014},

date = {2014-01-01},

booktitle = {Verified Software: Theories, Tools, and Experiments (VSTTE 2014)},

number = {8471},

pages = {1--17},

publisher = {Springer-Verlag},

series = {Lecture Notes in Computer Science},

abstract = {The KeY system offers a platform of software analysis tools for sequential Java. Foremost, this includes full functional verification against contracts written in the Java Modeling Language. But the approach is general enough to provide a basis for other methods and purposes: (i) complementary validation techniques to formal verification such as testing and debugging, (ii) methods that reduce the complexity of verification such as modularization and abstract interpretation, (iii) analyses of non-functional properties such as information flow security, and (iv) sound program transformation and code generation. We show that deductive technology that has been developed for full functional verification can be used as a basis and framework for other purposes than pure functional verification. We use the current release of the KeY system as an example to explain and prove this claim.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/pts/Gladisch10,

title = {Test Data Generation for Programs with Quantified First-Order 

 Logic Specifications},

author = {Christoph Gladisch},

year  = {2010},

date = {2010-01-01},

booktitle = {ICTSS},

pages = {158-173},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gladischSEFM2008,

title = {Verification-based Testing for Full Feasible Branch Coverage},

author = {Christoph Gladisch},

editor = {Antonio Cerone},

isbn = {978-0-7695-3437-4},

year  = {2008},

date = {2008-00-00},

booktitle = {Proc. 6th IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'08)},

publisher = {IEEE Computer Society Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{engelHaehnle07,

title = {Generating Unit Tests from Formal Proofs},

author = {Christian Engel and Reiner H\"{a}hnle},

editor = {Yuri Gurevich and Bertrand Meyer},

year  = {2007},

date = {2007-01-01},

booktitle = {Proceedings, 1st International Conference on Tests And Proofs (TAP), Zurich, Switzerland},

volume = {4454},

publisher = {Springer},

series = {LNCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Beckert:2007:WTC:1776119.1776131,

title = {White-box Testing by Combining Deduction-based Specification Extraction and Black-box Testing},

author = {Bernhard Beckert and Christoph Gladisch},

url = {http://dl.acm.org/citation.cfm?id=1776119.1776131},

isbn = {3-540-73769-3, 978-3-540-73769-8},

year  = {2007},

date = {2007-01-01},

booktitle = {Proceedings of the 1st International Conference on Tests and Proofs},

pages = {207--216},

publisher = {Springer-Verlag},

address = {Zurich, Switzerland},

series = {TAP'07},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}