Promotionsstudent mit Schwerpunkt CodeanalyseKapuzinerstraße 2c
+49 171 7518174
- Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. Combining verifiers in conditional model checking via reducers. In Software Engineering and Software Management (SE/SWM 2019, Stuttgart, Germany, February 18-22), LNI P-292, pages 151–152. GI, 2019.
- Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. Reducer-based construction of conditional verifiers. In Proceedings of the 40th International Conference on Software Engineering (ICSE 2018, Gothenburg, Sweden, May 27 - June 3), pages 1182–1193. ACM, 2018.
- Dirk Beyer, Matthias Dangl, Thomas Lemberger, and Michael Tautschnig. Tests from witnesses: Execution-based validation of verification results. In Proceedings of the 12th International Conference on Tests and Proofs (TAP 2018, Toulouse, France, June 27-29), LNCS 10889, pages 3–23. Springer, 2018.
- Dirk Beyer and Thomas Lemberger. CPA-SymExec: Efficient symbolic execution in CPAchecker. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018, Montpellier, France, September 3-7), pages 900–903. ACM, 2018.
- Dirk Beyer and Thomas Lemberger. Software verification: Testing vs. model checking. In Proceedings of the 13th Haifa Verification Conference (HVC 2017, Haifa, Israel, November 13-25), LNCS 10629, pages 99–114. Springer, 2017.
- Dirk Beyer and Thomas Lemberger. Symbolic execution with CEGAR. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2016, Part 1, Imperial, Corfu, Greece, October 10-14), LNCS 9952, pages 195–211. Springer, 2016.
This file was generated by bibtex2html 1.99.