fm-weck 1.3.0__py3-none-any.whl → 1.4.1__py3-none-any.whl

fm_weck/resources/fm_tools/testcov.yml

@@ -22,8 +22,16 @@ maintainers:
     institution: LMU Munich
     country: Germany
     url: https://www.sosy-lab.org/people/lemberger/
-
 versions:
+  - version: "testcomp25"
+    doi: 10.5281/zenodo.14040656
+    benchexec_toolinfo_options: ['--memlimit', '6GB', '--timelimit-per-run', '50', '--format', '--verbose', '--no-plots', '--prep-cgroup', '--reduction', 'BY_ORDER', '--reduction-output', 'test-suite']
+    required_ubuntu_packages:
+      - clang
+      - clang-format
+      - clang-tidy
+      - llvm
+      - gcc
   - version: "testcomp24"
     doi: 10.5281/zenodo.10203746
     benchexec_toolinfo_options: ['--memlimit', '6GB', '--timelimit-per-run', '50', '--format', '--verbose', '--no-plots', '--reduction', 'BY_ORDER', '--reduction-output', 'test-suite']
@@ -35,6 +43,15 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Validation of Test Suites"
+    tool_version: "testcomp25"
+    jury_member:
+      orcid: 0000-0001-7365-5030
+      name: Matthias Kettl
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/kettl/
   - competition: "Test-Comp 2024"
     track: "Validation of Test Suites"
     tool_version: "testcomp24"

fm_weck/resources/fm_tools/theta.yml

@@ -11,11 +11,20 @@ fmtools_entry_maintainers:
 
 maintainers:
   - name: Levente Bajczi
+    orcid: 0000-0002-6551-5860
     institution: Budapest University of Technology and Economics
     country: Hungary
     url: http://mit.bme.hu/~bajczi
 
 versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14168247
+    benchexec_toolinfo_options:
+      ["--svcomp", "--portfolio", "STABLE", "--loglevel", "RESULT"]
+    required_ubuntu_packages:
+      - openjdk-17-jre-headless
+      - libgomp1
+      - libmpfr6
   - version: "svcomp24"
     doi: 10.5281/zenodo.10202679
     benchexec_toolinfo_options:
@@ -33,6 +42,15 @@ versions:
       - libmpfr6
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0002-6551-5860
+      name: Levente Bajczi
+      institution: Budapest University of Technology and Economics
+      country: Hungary
+      url: http://mit.bme.hu/~bajczi
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
@@ -62,3 +80,9 @@ techniques:
   - Portfolio
 
 frameworks_solvers: []
+
+
+literature:
+  - doi: 10.1007/978-3-031-57256-2_30
+    title: "Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)"
+    year: 2024

fm_weck/resources/fm_tools/thorn.yml

@@ -0,0 +1,46 @@
+name: Thorn
+input_languages:
+  - C
+project_url: https://github.com/ftsrg/theta
+repository_url: https://github.com/ftsrg/theta
+spdx_license_identifier: Apache-2.0
+benchexec_toolinfo_module: benchexec.tools.theta
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - levente.bajczi
+
+maintainers:
+  - name: Levente Bajczi
+    orcid: 0000-0002-6551-5860
+    institution: Budapest University of Technology and Economics
+    country: Hungary
+    url: http://mit.bme.hu/~bajczi
+
+versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14168249
+    benchexec_toolinfo_options: ["--svcomp", "--portfolio", "HORN", "--loglevel", "RESULT"]
+    required_ubuntu_packages:
+      - openjdk-17-jre-headless
+      - libgomp1
+      - libmpfr6
+
+competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0002-6551-5860
+      name: Levente Bajczi
+      institution: Budapest University of Technology and Economics
+      country: Hungary
+      url: http://mit.bme.hu/~bajczi
+
+techniques:
+  - Predicate Abstraction
+  - Algorithm Selection
+  - Portfolio
+
+frameworks_solvers: []
+
+literature: []

fm_weck/resources/fm_tools/tracerx-wp.yml

@@ -13,17 +13,30 @@ fmtools_entry_maintainers:
 
 maintainers:
   - name: Joxan Jaffar
+    orcid: 0000-0001-9988-6144
     institution: National University of Singapore
     country: Singapore
     url: https://www.comp.nus.edu.sg/cs/bio/joxan/
 
 versions:
+  - version: "testcomp25"
+    doi: "10.5281/zenodo.14066108"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
   - version: "testcomp24"
     doi: "10.5281/zenodo.10202605"
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      name: Joxan Jaffar
+      institution: National University of Singapore
+      country: Singapore
+      url: https://www.comp.nus.edu.sg/cs/bio/joxan/
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
@@ -37,3 +50,9 @@ techniques:
   - Interpolation
 
 frameworks_solvers: []
+
+literature:
+  - doi: 10.1007/978-3-031-57259-3_19
+    title: "TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution)"
+    year: 2024
+

fm_weck/resources/fm_tools/tracerx.yml

@@ -9,14 +9,20 @@ fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - sajjadrsm
   - sanghu1790
+  - arpitad10j
 
 maintainers:
   - name: Joxan Jaffar
+    orcid: 0000-0001-9988-6144
     institution: National University of Singapore
     country: Singapore
     url: https://www.comp.nus.edu.sg/cs/bio/joxan/
 
 versions:
+  - version: "testcomp25"
+    doi: 10.5281/zenodo.14066128
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
   - version: "testcomp24"
     doi: 10.5281/zenodo.10200610
     benchexec_toolinfo_options: []
@@ -27,6 +33,14 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      name: Joxan Jaffar
+      institution: National University of Singapore
+      country: Singapore
+      url: https://www.comp.nus.edu.sg/cs/bio/joxan/
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
@@ -52,3 +66,8 @@ techniques:
   - Interpolation
 
 frameworks_solvers: []
+
+literature:
+  - doi: 10.1007/978-3-030-45234-6_28
+    title: "TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)"
+    year: 2020

fm_weck/resources/fm_tools/uautomizer.yml

@@ -14,6 +14,11 @@ fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
+  - orcid: 0009-0004-9216-1801
+    name: Marcel Ebbinghaus
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
   - orcid: 0000-0003-4252-3558
     name: Matthias Heizmann
     institution: University of Freiburg
@@ -25,7 +30,7 @@ maintainers:
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/klumpp
   - orcid: 0000-0002-5656-306X
-    name: "Frank Schüssele"
+    name: Frank Schüssele
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/schuessele
@@ -35,6 +40,24 @@ maintainers:
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
+  - version: svcomp25
+    doi: 10.5281/zenodo.14110286
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+  - version: svcomp25-correctness
+    doi: 10.5281/zenodo.14110286
+    benchexec_toolinfo_options:
+      [--full-output, --witness-type, correctness_witness]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+  - version: svcomp25-violation
+    doi: 10.5281/zenodo.14110286
+    benchexec_toolinfo_options:
+      [--full-output, --witness-type, violation_witness]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+
   - version: svcomp24-correctness-post-deadline-yaml-wrapper-fix
     doi: 10.5281/zenodo.10223333
     benchexec_toolinfo_options:
@@ -81,6 +104,52 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2025
+    track: Verification
+    tool_version: svcomp25
+    jury_member:
+      orcid: 0000-0003-4252-3558
+      name: Matthias Heizmann
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/heizmann
+  - competition: SV-COMP 2025
+    track: Validation of Correctness Witnesses 1.0
+    tool_version: svcomp25-correctness
+    jury_member:
+      orcid: 0009-0004-9216-1801
+      name: Marcel Ebbinghaus
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
+  - competition: SV-COMP 2025
+    track: Validation of Correctness Witnesses 2.0
+    tool_version: svcomp25-correctness
+    jury_member:
+      orcid: 0009-0004-9216-1801
+      name: Marcel Ebbinghaus
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
+  - competition: SV-COMP 2025
+    track: Validation of Violation Witnesses 1.0
+    tool_version: svcomp25-violation
+    jury_member:
+      orcid: 0009-0004-9216-1801
+      name: Marcel Ebbinghaus
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
+  - competition: SV-COMP 2025
+    track: Validation of Violation Witnesses 2.0
+    tool_version: svcomp25-violation
+    jury_member:
+      orcid: 0009-0004-9216-1801
+      name: Marcel Ebbinghaus
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
+
   - competition: SV-COMP 2024
     track: Verification
     tool_version: svcomp24
@@ -147,9 +216,8 @@ frameworks_solvers:
 
 literature:
   - doi: 10.1007/978-3-642-39799-8_2
-    title: "Software Model Checking for People Who Love Automata"
+    title: Software Model Checking for People Who Love Automata
     year: 2013
   - doi: 10.1007/978-3-031-30820-8_39
-    title: "Ultimate Automizer 2023 (Competition Contribution)"
+    title: Ultimate Automizer 2023 (Competition Contribution)
     year: 2023
-

fm_weck/resources/fm_tools/ugemcutter.yml

@@ -10,23 +10,32 @@ fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
-  - name: Matthias Heizmann
+  - orcid: 0000-0003-4252-3558
+    name: Matthias Heizmann
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/heizmann
-  - name: Dominik Klumpp
+  - orcid: 0000-0003-4885-0728
+    name: Dominik Klumpp
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/klumpp
-  - name: "Frank Schüssele"
+  - orcid: 0000-0002-5656-306X
+    name: Frank Schüssele
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/schuessele
-  - name: Daniel Dietsch
+  - orcid: 0000-0002-8947-5373
+    name: Daniel Dietsch
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
+  - version: svcomp25
+    doi: 10.5281/zenodo.14110331
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
   - version: svcomp24
     doi: 10.5281/zenodo.10203548
     benchexec_toolinfo_options: [--full-output]
@@ -39,6 +48,15 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2025
+    track: Verification
+    tool_version: svcomp25
+    jury_member:
+      orcid: 0000-0003-4885-0728
+      name: Dominik Klumpp
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/klumpp
   - competition: SV-COMP 2024
     track: Verification
     tool_version: svcomp24
@@ -76,8 +94,8 @@ frameworks_solvers:
 
 literature:
   - doi: 10.1145/3519939.3523727
-    title: "Sound sequentialization for concurrent program verification"
+    title: Sound sequentialization for concurrent program verification
     year: 2022
   - doi: 10.1007/978-3-030-99527-0_35
-    title: "Ultimate GemCutter and the Axes of Generalization"
+    title: Ultimate GemCutter and the Axes of Generalization
     year: 2022

fm_weck/resources/fm_tools/ukojak.yml

@@ -10,23 +10,38 @@ fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
-  - name: Matthias Heizmann
+  - orcid: 0009-0003-4794-958X
+    name: Manuel Bentele
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/bentele
+  - orcid: 0000-0003-4252-3558
+    name: Matthias Heizmann
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/heizmann
-  - name: Dominik Klumpp
+  - orcid: 0000-0003-4885-0728
+    name: Dominik Klumpp
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/klumpp
-  - name: "Frank Schüssele"
+  - orcid: 0000-0002-5656-306X
+    name: Frank Schüssele
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/schuessele
-  - name: Daniel Dietsch
+  - orcid: 0000-0002-8947-5373
+    name: Daniel Dietsch
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
+
 versions:
+  - version: svcomp25
+    doi: 10.5281/zenodo.14110299
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
   - version: svcomp24
     doi: 10.5281/zenodo.10203546
     benchexec_toolinfo_options: [--full-output]
@@ -39,11 +54,20 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2025
+    track: Verification
+    tool_version: svcomp25
+    jury_member:
+      orcid: 0009-0003-4794-958X
+      name: Manuel Bentele
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/bentele
   - competition: SV-COMP 2024
     track: Verification
     tool_version: svcomp24
     jury_member:
-      name: "Frank Schüssele"
+      name: Frank Schüssele
       institution: University of Freiburg
       country: Germany
       url: https://swt.informatik.uni-freiburg.de/staff/schuessele
@@ -51,7 +75,7 @@ competition_participations:
     track: Verification
     tool_version: svcomp23
     jury_member:
-      name: "Frank Schüssele"
+      name: Frank Schüssele
       institution: University of Freiburg
       country: Germany
       url: https://swt.informatik.uni-freiburg.de/staff/schuessele
@@ -67,3 +91,8 @@ frameworks_solvers:
   - Ultimate
   - SMTinterpol
   - Z3
+
+literature:
+  - doi: 10.1007/978-3-662-46681-0_44
+    title: ULTIMATE KOJAK with Memory Safety Checks (Competition Contribution)
+    year: 2015

fm_weck/resources/fm_tools/ureferee.yml

@@ -0,0 +1,82 @@
+name: UReferee
+description: |
+  Ultimate Referee is a correctness witness validator.
+input_languages:
+  - C
+project_url: https://ultimate-pa.org
+repository_url: https://github.com/ultimate-pa/ultimate
+spdx_license_identifier: LGPL-3.0-or-later
+benchexec_toolinfo_module: ultimatereferee.py
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - danieldietsch
+
+maintainers:
+  - orcid: 0000-0003-4252-3558
+    name: Matthias Heizmann
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/heizmann
+  - orcid: 0000-0003-4885-0728
+    name: Dominik Klumpp
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/klumpp
+  - orcid: 0000-0002-5656-306X
+    name: Frank Schüssele
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/schuessele
+  - orcid: 0000-0002-8947-5373
+    name: Daniel Dietsch
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/dietsch
+versions:
+  - version: svcomp25-correctness
+    doi: 10.5281/zenodo.14110344
+    benchexec_toolinfo_options:
+      [--full-output, --witness-type, correctness_witness]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+
+competition_participations:
+  - competition: SV-COMP 2025
+    track: Validation of Correctness Witnesses 1.0
+    tool_version: svcomp25-correctness
+    jury_member:
+      orcid: 0000-0002-5656-306X
+      name: Frank Schüssele
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/schuessele
+  - competition: SV-COMP 2025
+    track: Validation of Correctness Witnesses 2.0
+    tool_version: svcomp25-correctness
+    jury_member:
+      orcid: 0000-0002-5656-306X
+      name: Frank Schüssele
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/schuessele
+
+techniques:
+  - CEGAR
+  - Predicate Abstraction
+  - Bit-Precise Analysis
+  - Lazy Abstraction
+  - Interpolation
+  - Automata-Based Analysis
+  - Concurrency Support
+  - Ranking Functions
+  - Algorithm Selection
+  - Portfolio
+
+frameworks_solvers:
+  - Ultimate
+  - MathSAT
+  - CVC
+  - SMTinterpol
+  - Z3
+
+literature: []

fm_weck/resources/fm_tools/utaipan.yml

@@ -10,23 +10,32 @@ fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
-  - name: Matthias Heizmann
+  - orcid: 0000-0003-4252-3558
+    name: Matthias Heizmann
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/heizmann
-  - name: Dominik Klumpp
+  - orcid: 0000-0003-4885-0728
+    name: Dominik Klumpp
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/klumpp
-  - name: "Frank Schüssele"
+  - orcid: 0000-0002-5656-306X
+    name: Frank Schüssele
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/schuessele
-  - name: Daniel Dietsch
+  - orcid: 0000-0002-8947-5373
+    name: Daniel Dietsch
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
+  - version: svcomp25
+    doi: 10.5281/zenodo.14110314
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
   - version: svcomp24
     doi: 10.5281/zenodo.10203547
     benchexec_toolinfo_options: [--full-output]
@@ -39,6 +48,15 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2025
+    track: Verification
+    tool_version: svcomp25
+    jury_member:
+      orcid: 0000-0002-8947-5373
+      name: Daniel Dietsch
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/dietsch
   - competition: SV-COMP 2024
     track: Verification
     tool_version: svcomp24
@@ -75,3 +93,14 @@ frameworks_solvers:
   - CVC
   - SMTinterpol
   - Z3
+
+literature:
+  - doi: 10.1007/978-3-031-30820-8_40
+    title: Ultimate Taipan and Race Detection in Ultimate (Competition Contribution)
+    year: 2023
+  - doi: 10.1007/978-3-030-45237-7_32
+    title: Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions (Competition Contribution)
+    year: 2020
+  - doi: 10.1007/978-3-319-66706-5_7
+    title: Loop invariants from counterexamples
+    year: 2017

fm_weck/resources/fm_tools/utestgen.yml

@@ -11,11 +11,17 @@ fmtools_entry_maintainers:
 
 maintainers:
   - name: Max Barth
+    orcid: 0009-0002-7716-3898
     institution: LMU Munich
     country: Germany
     url: https://www.sosy-lab.org/people/barth/
 
 versions:
+  - version: "testcomp25"
+    doi: 10.5281/zenodo.13951704
+    benchexec_toolinfo_options: ['--traceabstraction.test.generation.mode', 'Standard', '--rcfgbuilder.reuse.mode.for.test.generation', 'ReuseUNSATmatchPrefix','--full-output']
+    required_ubuntu_packages:
+      - openjdk-11-jre-headless
   - version: "testcomp24"
     doi: 10.5281/zenodo.10071568
     benchexec_toolinfo_options: ['--traceabstraction.test.generation.mode', 'Standard', '--full-output']
@@ -23,10 +29,20 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      orcid: 0009-0002-7716-3898
+      name: Max Barth
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/barth/
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
     jury_member:
+      orcid: 0009-0002-7716-3898
       name: Max Barth
       institution: LMU Munich
       country: Germany
@@ -40,3 +56,14 @@ techniques:
 
 frameworks_solvers:
   - Ultimate
+
+literature:
+  - doi: 10.1007/978-3-031-66149-5_14
+    title: "Test-Case Generation with Automata-Based Software Model Checking"
+    year: 2024
+  - doi: 10.1007/978-3-031-72044-4_3
+    title: "Refining CEGAR-Based Test-Case Generation with Feasibility Annotations"
+    year: 2024
+  - doi: 10.1007/978-3-031-57259-3_20
+    title: "Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution)"
+    year: 2024