Publications about Witnesses
Theses and projects (PhD, MSc, BSc, Project)
-
Using Machine Learning To Infer Predicates For Software Verification.
Master's Thesis, LMU Munich, Software Systems Lab,
2025.
Keyword(s):
Witnesses
PDF
BibTeX Entry
@misc{BeerMachineLearningPredicates, author = {Maximilian Beer}, title = {Using Machine Learning To Infer Predicates For Software Verification}, year = {2025}, pdf = {https://www.sosy-lab.org/research/msc/2025.Beer.Using_Machine_Learning_To_Infer_Predicates_For_Software_Verification.restricted.pdf}, keyword = {Witnesses}, field = {Computer Science}, howpublished = {Master's Thesis, LMU Munich, Software Systems Lab}, } -
Finding Semantically Equivalent Correctness Witnesses.
Bachelor's Thesis, LMU Munich, Software Systems Lab,
2025.
Keyword(s):
Witnesses
PDF
BibTeX Entry
@misc{AuerSemanticallyEquivalentWitnesses, author = {Moritz Auer}, title = {Finding Semantically Equivalent Correctness Witnesses}, year = {2025}, pdf = {https://www.sosy-lab.org/research/bsc/2025.Auer.Finding_Semantically_Equivalent_Correctness_Witnesses.restricted.pdf}, keyword = {Witnesses}, field = {Computer Science}, howpublished = {Bachelor's Thesis, LMU Munich, Software Systems Lab}, } -
Witness Modifications for Program Transformations: A Case Study on Side-Effect Removal.
Bachelor's Thesis, LMU Munich, Software Systems Lab,
2024.
Keyword(s):
Witnesses
PDF
BibTeX Entry
@misc{OvezovaWitnessModificationsSideEffectsCaseStudy, author = {Anna Ovezova}, title = {Witness Modifications for Program Transformations: A Case Study on Side-Effect Removal}, year = {2024}, pdf = {https://www.sosy-lab.org/research/bsc/2024.Ovezova.Witness_Modifications_for_Program_Transformations_A_Case_study_on_Side-Effect_Removal.pdf}, keyword = {Witnesses}, field = {Computer Science}, howpublished = {Bachelor's Thesis, LMU Munich, Software Systems Lab}, }
Disclaimer:
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.