Thomas Lemberger
Orcid: 0000-0003-0291-815XAffiliations:
- LMU Munich, Germany
- University of Passau, Germany (former)
According to our database1,
Thomas Lemberger
authored at least 45 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on sosy-lab.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Softwaretechnik-Trends, May, 2024
Proc. ACM Softw. Eng., 2024
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version).
CoRR, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Model Checking Software - 30th International Symposium, 2024
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
2023
Proceedings of the Software Engineering 2023, 2023
2022
Reproduction Package for SEFM 2022 Submission 'Fault Localization on Verification Witnesses'.
Dataset, July, 2022
Reproduction Package for STTT Submission 'Five Years Later: Testing vs. Model Checking'.
Dataset, May, 2022
Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'.
Dataset, February, 2022
Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'.
Dataset, January, 2022
Towards cooperative software verification with test generation and formal verification.
PhD thesis, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
2021
Reproduction Package (Full Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'.
Dataset, September, 2021
Reproduction Package (Reduced Version) for Article "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR".
Dataset, September, 2021
Int. J. Softw. Tools Technol. Transf., 2021
2020
Reproduction Package for SEFM 2020 Article 'Difference Verification with Conditions'.
Dataset, July, 2020
Dataset, June, 2020
Dataset, March, 2020
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020
2019
Reproduction Package for ATVA 2019 Article 'Conditional Testing: Off-the-Shelf Combination of Test-Case Generators'.
Dataset, October, 2019
Reproduction Package for Article ASE 2019 'TestCov: Robust Test-Suite Execution and Coverage Measurement'.
Dataset, September, 2019
Replication Artifact for Article "Conditional Testing: Off-the-Shelf Combination of Test-Case Generators".
Dataset, June, 2019
Proceedings of the Software Engineering and Software Management, 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Proceedings of the Automated Technology for Verification and Analysis, 2019
2018
Reproduction Package for ASE 2018 Article 'CPA-SymExec: Efficient Symbolic Execution in CPAchecker'.
Dataset, July, 2018
Replication Package for Article "CPA-SymExec: Efficient Symbolic Execution in CPAchecker".
Dataset, May, 2018
Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'.
Dataset, February, 2018
SV-Benchmarks: Benchmark set of 5th Intl. Competition on Software Verification (SV-COMP'16).
Dataset, January, 2018
Dataset, January, 2018
Replication Package for Article "Software Verification: Testing vs. Model Checking", Proc. HVC'17.
Dataset, January, 2018
Proceedings of the Tests and Proofs - 12th International Conference, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the 40th International Conference on Software Engineering, 2018
2017
Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art.
Proceedings of the Hardware and Software: Verification and Testing, 2017
2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016