Marie-Christine Jakobs

Einar Broch Johnsen

Eduard Kamburjan

Manuel Wimmer

Sci. Comput. Program., January, 2024

Parallel Program Analysis on Path Ranges.

[BibT_eX]

[DOI]

CoRR, 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

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

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]

Thomas Lemberger

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

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]

Thomas Lemberger

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

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]

Thomas Lemberger

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