Publications

This page contains a chronological list of journal and conference papers as well as other documents that are related to the KeY project.

If you want to cite KeY, we recommend to cite the following publication:

Ahrendt, Wolfgang, Beckert, Bernhard, Bubel, Richard, Hähnle, Reiner, Schmitt, Peter, Ulbrich, Mattias (Ed.): Deductive Software Verification - The KeY Book - From Theory to Practice. Springer, 2016, ISBN: 978-3-319-49811-9.
(BibTeX)

You can also download a BibTeX file with all entries.

70 entries « 7 of 7 »
Ulbrich, Mattias; Geilmann, Ulrich; Ghazi, Aboubakr Achraf El; Taghdiri, Mana: On Proving Alloy Specifications using KeY. Karlsruhe Institute of Technology (2011-37), 2011. (Type: Technical Report | BibTeX)
Beckert, Bernhard; Gladisch, Christoph; Tyszberowicz, Shmuel; Yehudai, Amiram: KeYGenU: Combining Verification-Based and Capture and Replay Techniques for Regression Unit Testing. International Journal of System Assurance Engineering and Management, 2 (2), pp. 97–113, 2011, ISSN: 0976-4348. (Type: Journal Article | Abstract | BibTeX | Links: )
Schmitt, Peter H; Ulbrich, Mattias; Weiß, Benjamin: Dynamic Frames in Java Dynamic Logic. Beckert, Bernhard; Marché, Claude (Ed.): Revised Selected Papers, International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), pp. 138–152, Springer, 2011. (Type: Inproceedings | BibTeX)
Gladisch, Christoph: Test Data Generation for Programs with Quantified First-Order Logic Specifications. ICTSS, pp. 158-173, 2010. (Type: Inproceedings | BibTeX)
Gladisch, Christoph; Tyszberowicz, Shmuel; Beckert, Bernhard; Yehudai, Amiram: Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. Fraser, Gordon ; Gargantini, Angelo (Ed.): Tests and Proofs: 4th International Conference, TAP 2010, M'alaga, Spain, July 1-2, 2010. Proceedings, pp. 61–76, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, ISBN: 978-3-642-13977-2. (Type: Book Chapter | BibTeX | Links: )
Gladisch, Christoph: Verification-based Testing for Full Feasible Branch Coverage. Cerone, Antonio (Ed.): Proc. 6th IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'08), IEEE Computer Society Press, 2008, ISBN: 978-0-7695-3437-4. (Type: Inproceedings | BibTeX)
Beckert, Bernhard; Gladisch, Christoph: White-box Testing by Combining Deduction-based Specification Extraction and Black-box Testing. Proceedings of the 1st International Conference on Tests and Proofs, pp. 207–216, Springer-Verlag, Zurich, Switzerland, 2007, ISBN: 3-540-73769-3, 978-3-540-73769-8. (Type: Inproceedings | BibTeX | Links: )
Engel, Christian; Hähnle, Reiner: Generating Unit Tests from Formal Proofs. Gurevich, Yuri; Meyer, Bertrand (Ed.): Proceedings, 1st International Conference on Tests And Proofs (TAP), Zurich, Switzerland, Springer, 2007. (Type: Inproceedings | BibTeX)
Darvas, Ádám; Hähnle, Reiner; Sands, Dave: A Theorem Proving Approach to Analysis of Secure Information Flow. Hutter, Dieter; Ullmann, Markus (Ed.): Proc. 2nd International Conference on Security in Pervasive Computing, pp. 193–209, Springer-Verlag, 2005. (Type: Inproceedings | BibTeX | Links: )
Darvas, Ádám; Hähnle, Reiner; Sands, Dave: A Theorem Proving Approach to Analysis of Secure Information Flow. Gorrieri, Roberto (Ed.): Workshop on Issues in the Theory of Security, WITS, IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS 2003. (Type: Inproceedings | BibTeX)
70 entries « 7 of 7 »

Sorry, no publications matched your criteria.