|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 7
2022
Beyer, Dirk 
ORCID: https://orcid.org/0000-0003-4832-7662; Haltermann, Jan; Lemberger, Thomas und Wehrheim, Heike
(2022):
Decomposing software verification into off-the-shelf components.
44th International Conference on Software Engineering: ICSE '22, Pittsburgh Pennsylvania, May 21 - 29, 2022.
In: Proceedings of the 44th International Conference on Software Engineering,
New York: Association for Computing Machinery. S. 536-548
ORCID: https://orcid.org/0000-0003-4832-7662; Haltermann, Jan; Lemberger, Thomas und Wehrheim, Heike
(2022):
Decomposing software verification into off-the-shelf components.
44th International Conference on Software Engineering: ICSE '22, Pittsburgh Pennsylvania, May 21 - 29, 2022.
In: Proceedings of the 44th International Conference on Software Engineering,
New York: Association for Computing Machinery. S. 536-548
Kettl, Matthias ORCID: https://orcid.org/0000-0001-7365-5030 und Lemberger, Thomas ORCID: https://orcid.org/0000-0003-0291-815X
(2022):
The Static Analyzer Infer in SV-COMP (Competition Contribution).
28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Munich, Germany, April 2–7, 2022.
In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science
Bd. 13244
Cham: Springer. S. 451-456
ORCID: https://orcid.org/0000-0001-7365-5030 und Lemberger, Thomas ORCID: https://orcid.org/0000-0003-0291-815X
(2022):
The Static Analyzer Infer in SV-COMP (Competition Contribution).
28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Munich, Germany, April 2–7, 2022.
In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science
Bd. 13244
Cham: Springer. S. 451-456
Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias; Lemberger, Thomas und Tautschnig, Michael
(2022):
Verification Witnesses.
In: ACM Transactions on Software Engineering and Methodology, Bd. 31, Nr. 4, 57
2020
Lemberger, Thomas
(2020):
Plain random test generation with PRTest.
In: International Journal on Software Tools for Technology Transfer, Bd. 23: S. 871-873
[PDF, 271kB]
2019
Beyer, Dirk und Lemberger, Thomas
(2019):
TESTCov: Robust Test-Suite Execution and Coverage Measurement.
In: 34Th Ieee/Acm International Conference on Automated Software Engineering (Ase 2019): S. 1074-1077
2018
Beyer, Dirk; Jakobs, Marie-Christine; Lemberger, Thomas und Wehrheim, Heike
(2018):
Reducer-Based Construction of Conditional Verifiers.
In: Proceedings 2018 Ieee/Acm 40Th International Conference on Software Engineering (Icse): S. 1182-1193
2016
Beyer, Dirk und Lemberger, Thomas
(2016):
Symbolic Execution with CEGAR.
In:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Bd. 9952. Cham: Springer. S. 195-211