Marie-Christine Jakobs

Leen Lambers

Sebastián Uchitel

Sci. Comput. Program., 2025

2024

Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023).

[BibT_eX]

[DOI]

Nian-Ze Lee

ACM SIGSOFT Softw. Eng. Notes, April, 2024

Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022).

[BibT_eX]

[DOI]

Einar Broch Johnsen

Eduard Kamburjan

Manuel Wimmer

Sci. Comput. Program., January, 2024

Parallel program analysis on path ranges.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2024

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version).

[BibT_eX]

[DOI]

Daniel Baier

Po-Chun Chien

Marian Lingsch Rosenfeld

Henrik Wachowitz

Philipp Wendler

CoRR, 2024

Refining CEGAR-Based Test-Case Generation with Feasibility Annotations.

[BibT_eX]

[DOI]

Max Barth

Proceedings of the Tests and Proofs - 18th International Conference, 2024

Test-Case Generation with Automata-Based Software Model Checking.

[BibT_eX]

[DOI]

Max Barth

Proceedings of the Model Checking Software - 30th International Symposium, 2024

Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Software Verification with CPAchecker 3.0: Tutorial and User Guide.

[BibT_eX]

[DOI]

Daniel Baier

Po-Chun Chien

Marian Lingsch Rosenfeld

Henrik Wachowitz

Philipp Wendler

Proceedings of the Formal Methods - 26th International Symposium, 2024

Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution).

[BibT_eX]

[DOI]

Max Barth

Daniel Dietsch

Matthias Heizmann

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report).

[BibT_eX]

[DOI]

Tim Pollandt

CoRR, 2023

Ranged Program Analysis via Instrumentation.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Variable Misuse Detection: Software Developers versus Neural Bug Detectors.

[BibT_eX]

[DOI]

Stefan Schott

Proceedings of the Software Engineering 2023, 2023

diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions.

[BibT_eX]

[DOI]

Tim Pollandt

Proceedings of the iFM 2023 - 18th International Conference, 2023

Parallel Program Analysis via Range Splitting.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

Automatic Test-Case Generation with CoVeriTest (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 16th International Conference, 2022

Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?

[BibT_eX]

[DOI]

Stefan Schott

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Reusing Predicate Precision in Value Analysis.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

PEQtest: Testing Functional Equivalence.

[BibT_eX]

[DOI]

Maik Wiesner

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

CoVeriTest: interleaving value and predicate analysis for test-case generation.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2021

Cooperative verifier-based testing with CoVeriTest.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2021

PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2021

Software/Hardware Co-Verification for Custom Instruction Set Processors.

[BibT_eX]

[DOI]

IEEE Access, 2021

Verifying Pipeline Implementations in OpenMP.

[BibT_eX]

[DOI]

Maik Wiesner

Proceedings of the Model Checking Software - 27th International Symposium, 2021

PatEC: Pattern-Based Equivalence Checking.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 27th International Symposium, 2021

PEQCHECK: Localized and Context-aware Checking of Functional Equivalence.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

CoVeriTest with Adaptive Time Scheduling (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020

Reproduction Package for SEFM 2020 Article 'Difference Verification with Conditions'.

[BibT_eX]

[DOI]

Dataset, July, 2020

Replication Package for SEFM 2020 Article 'FRed: Conditional Model Checking via Reducers and Folders'.

[BibT_eX]

[DOI]

Dataset, July, 2020

Replication Package for Article 'Difference Verification with Conditions'.

[BibT_eX]

[DOI]

Dataset, June, 2020

Reproduction Package for STTT Article 'Cooperative, Verifier-Based Testing with CoVeriTest'.

[BibT_eX]

[DOI]

Dataset, February, 2020

Algorithm selection for software validation based on graph kernels.

[BibT_eX]

[DOI]

Eyke Hüllermeier

Autom. Softw. Eng., 2020

Difference Verification with Conditions.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

FRed: Conditional Model Checking via Reducers and Folders.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Cooperative Test-Case Generation with Verifiers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2020, 2020

A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations.

[BibT_eX]

[DOI]

Heiko Mantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution).

[BibT_eX]

[DOI]

Sebastian Ruland

Malte Lochau

Proceedings of the Fundamental Approaches to Software Engineering, 2020

CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Replication Package for Article "CoVeriTest: Cooperative Verifier-Based Testing" in Proc. FASE '19.

[BibT_eX]

[DOI]

Dataset, February, 2019

When Are Software Verification Results Valid for Approximate Hardware?

[BibT_eX]

[DOI]

Tobias Isenberg

Proceedings of the Tests and Proofs - 13th International Conference, 2019

Combining Verifiers in Conditional Model Checking via Reducers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Software Management, 2019

CoVeriTest: Cooperative Verifier-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'.

[BibT_eX]

[DOI]

Dataset, February, 2018

Validity of Software Verification Results on Approximate Hardware.

[BibT_eX]

[DOI]

Tobias Isenberg

IEEE Embed. Syst. Lett., 2018

JMCTest: Automatically Testing Inter-Method Contracts in Java.

[BibT_eX]

[DOI]

Paul Börding

Proceedings of the Testing Software and Systems, 2018

Reducer-based construction of conditional verifiers.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

On-The-Fly safety checking - customizing program certification and program restructuring

[BibT_eX]

[DOI]

PhD thesis, 2017

Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2017

Predicting Rankings of Software Verification Competitions.

[BibT_eX]

[DOI]

Mike Czech

Eyke Hüllermeier

CoRR, 2017

Predicting rankings of software verification tools.

[BibT_eX]

[DOI]

Mike Czech

Eyke Hüllermeier

Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Analytics, 2017

PART _\mathrm PW : From Partial Analysis Results to a Proof Witness.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Compact Proof Witnesses.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Spontane Sicherheitsprüfung mittels individualisierter Programmzertifizierung oder Programmrestrukturierung.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2017, 2017

2016

Deriving approximation tolerance constraints from verification runs.

[BibT_eX]

[DOI]

Tobias Isenberg

CoRR, 2016

Just test what you cannot verify!

[BibT_eX]

[DOI]

Mike Czech

Proceedings of the Software Engineering 2016, 2016

2015

Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Programs from proofs of predicated dataflow analyses.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Certification for configurable program analysis.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Integrating Software and Hardware Verification.

[BibT_eX]

[DOI]

Marco Platzner