fm-weck 1.5.2__py3-none-any.whl → 1.6.0__py3-none-any.whl

fm_weck/resources/fm_tools/divine.yml

@@ -21,11 +21,24 @@ versions:
   - version: "svcomp22"
     doi: 10.5281/zenodo.10396745
     benchexec_toolinfo_options: []
+    base_container_images:
+      - docker.io/ubuntu:20.04
     required_ubuntu_packages: []
     full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2022
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - inactive
+    tool_version: "svcomp22"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:

fm_weck/resources/fm_tools/ebf.yml

@@ -11,7 +11,8 @@ fmtools_entry_maintainers:
   - fatimahaljaafari
 
 maintainers:
-  - name: Fatimah Aljaafari
+  - orcid: 0000-0000-0000-0000
+    name: Fatimah Aljaafari
     institution: University of Manchester
     country: UK
     url:
@@ -19,8 +20,10 @@ maintainers:
 versions:
   - version: "svcomp24"
     doi: "10.5281/zenodo.10171482"
-    required_ubuntu_packages: []
     benchexec_toolinfo_options: ["-s", "kinduction"]
+    base_container_images:
+      - docker.io/ubuntu:22.04
+    required_ubuntu_packages: []
     full_container_images:
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
   - version: "svcomp23"
@@ -29,6 +32,16 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - inactive
+    tool_version: "svcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:
@@ -62,3 +75,5 @@ techniques:
 frameworks_solvers:
   - ESBMC
   - MathSAT
+
+literature: []

fm_weck/resources/fm_tools/emergentheta.yml

@@ -1,8 +1,8 @@
 id: emergentheta
 name: EmergenTheta
 description: |
-  EmergenTheta is a variant of Theta utilizing emerging techniques previously missing from Theta. 
-  We step away from Theta's conventional, abstraction-based techniques and use a portfolio of BMC, IMC, k-induction, and saturation based techniques, with possible implicit predicate abstraction.
+  EmergenTheta is a variant of Theta showcasing emerging techniques previously missing from Theta. 
+  The 2026 submission presents a combined predicate–explicit abstraction domain for CEGAR, concurrency-support via multithreaded symbolic transition system encodings, on-the-fly reachability and counterexample generation for generalized saturation, and an IC3 backend.
 input_languages:
   - C
 project_url: https://github.com/ftsrg/theta
@@ -12,6 +12,7 @@ benchexec_toolinfo_module: benchexec.tools.theta
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - levente.bajczi
+  - mondokm
 
 maintainers:
   - name: Levente Bajczi
@@ -19,8 +20,22 @@ maintainers:
     institution: Budapest University of Technology and Economics
     country: Hungary
     url: http://mit.bme.hu/~bajczi
+  - name: Milán Mondok
+    orcid: 0000-0001-5396-2172
+    institution: Budapest University of Technology and Economics
+    country: Hungary
+    url: https://mondokm.github.io/
 
 versions:
+  - version: "svcomp26"
+    doi: 10.5281/zenodo.17779912
+    benchexec_toolinfo_options: ["--svcomp", "--portfolio", "EMERGENT", "--loglevel", "RESULT"]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+      - libgomp1
+      - libmpfr6
+    base_container_images:
+      - docker.io/ubuntu:24.04
   - version: "svcomp25"
     doi: 10.5281/zenodo.14194484
     benchexec_toolinfo_options: ["--svcomp", "--portfolio", "EMERGENT", "--loglevel", "RESULT"]
@@ -37,6 +52,24 @@ versions:
       - libmpfr6
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    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
+    participants:
+      - name: Milán Mondok
+        orcid: 0000-0001-5396-2172
+      - name: Csanád Telbisz
+        orcid: 0000-0002-6260-5908
+      - name: Levente Bajczi
+        orcid: 0000-0002-6551-5860
+      - name: Dániel Kovács
+        orcid: 0009-0009-7687-5958
   - competition: "SV-COMP 2025"
     track: "Verification"
     tool_version: "svcomp25"
@@ -59,19 +92,32 @@ techniques:
   - CEGAR
   - Predicate Abstraction
   - Bounded Model Checking
-  - k-Induction
   - Bit-Precise Analysis
   - Interpolation
   - Algorithm Selection
   - Portfolio
-  - Interpolation-Based Model Checking
   - Task Translation
   - Floating-Point Arithmetics
+  - Concurrency Support
+  - Property-Directed Reachability
+  - ARG-Based Analysis
 
+frameworks_solvers:
+  - JavaSMT
+  - MathSAT
+  - CVC
+  - SMTinterpol
+  - Z3
+  - Bitwuzla
+  - cvc5
+  - Boolector
 
-frameworks_solvers: []
 
 literature:
   - doi: 10.1007/978-3-031-57256-2_23
     title: "EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution)"
     year: 2024
+  - doi: 10.1007/978-3-031-90660-2_15
+    title: "EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution) (Competition Contribution)"
+    year: 2025
+

fm_weck/resources/fm_tools/esbmc-incr.yml

@@ -1,15 +1,22 @@
 id: esbmc-incr
 name: ESBMC-incr
+description: |
+  ESBMC (the Efficient SMT-based Context-Bounded Model Checker) is a mature,
+  permissively licensed open-source context-bounded model checker that automatically
+  detects or proves the absence of runtime errors in single- and multi-threaded C, C++,
+  CUDA, CHERI, Kotlin, Python, and Solidity programs. It can automatically verify
+  predefined safety properties (e.g., bounds check, pointer safety, overflow) and
+  user-defined program assertions.
 input_languages:
   - C
 project_url: http://esbmc.org/
 repository_url: "https://github.com/esbmc/esbmc"
 spdx_license_identifier: "Apache-2.0"
-benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/esbmc.py"
+benchexec_toolinfo_module: benchexec.tools.esbmc
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
-  - lucasccordeiro81
   - ChenfengWei1
+  - lucasccordeiro
 
 maintainers:
   - orcid: 0000-0002-6235-4272
@@ -19,6 +26,12 @@ maintainers:
     url:
 
 versions:
+  - version: "svcomp26"
+    doi: 10.5281/zenodo.17741226
+    benchexec_toolinfo_options: ['-s', 'incr', '--concurrency']
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
   - version: "svcomp25"
     doi: 10.5281/zenodo.14185854
     benchexec_toolinfo_options: ['-s', 'incr', '--concurrency']
@@ -27,12 +40,56 @@ versions:
     doi: 10.5281/zenodo.10396755
     benchexec_toolinfo_options: ['-s', 'incr', '--concurrency']
     required_ubuntu_packages: []
+  - version: "testcomp26"
+    doi: 10.5281/zenodo.17793335
+    benchexec_toolinfo_options: ["-s", "incr", "-o", "branch-function"]
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "testcomp25"
     doi: 10.5281/zenodo.14340851
     benchexec_toolinfo_options: ["-s", "incr", "-o", "condition"]
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    jury_member:
+      name: Xianzhiyu Li
+      institution: University of Manchester
+      country: UK
+      url:
+    participants:
+      - orcid: 0009-0003-7712-380X
+        name: Xianzhiyu Li
+      - orcid: 0000-0002-6102-4343
+        name: Rafael Sá Menezes
+      - orcid: 0000-0002-6235-4272
+        name: Lucas C. Cordeiro
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    tool_version: "testcomp26"
+    jury_member:
+      orcid: 0009-0008-0416-3006
+      name: Chenfeng Wei
+      institution: University of Manchester
+      country: UK
+      url:
+    participants:
+      - orcid: 0009-0008-0416-3006
+        name: Chenfeng Wei
+      - orcid: 0009-0003-7712-380X
+        name: Xianzhiyu Li
+      - orcid: 0000-0002-5822-5435
+        name: Kaled Alshmrany
+      - orcid: 0000-0002-6169-6334
+        name: Sangharatna Godboley
+      - orcid: 0000-0002-6235-4272
+        name: Lucas C. Cordeiro
   - competition: "SV-COMP 2025"
     track: "Verification"
     tool_version: "svcomp25"

fm_weck/resources/fm_tools/esbmc-kind.yml

@@ -1,15 +1,22 @@
 id: esbmc-kind
 name: ESBMC-kind
+description: |
+  ESBMC (the Efficient SMT-based Context-Bounded Model Checker) is a mature,
+  permissively licensed open-source context-bounded model checker that automatically
+  detects or proves the absence of runtime errors in single- and multi-threaded C, C++,
+  CUDA, CHERI, Kotlin, Python, and Solidity programs. It can automatically verify
+  predefined safety properties (e.g., bounds check, pointer safety, overflow) and
+  user-defined program assertions.
 input_languages:
   - C
 project_url: http://esbmc.org/
 repository_url: "https://github.com/esbmc/esbmc"
 spdx_license_identifier: 'Apache-2.0'
-benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/esbmc.py"
+benchexec_toolinfo_module: benchexec.tools.esbmc
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
+  - lucasccordeiro
   - rafaelsamenezes
-  - fbrausse
 
 maintainers:
   - orcid: 0000-0002-6102-4343
@@ -19,6 +26,12 @@ maintainers:
     url:
 
 versions:
+  - version: "svcomp26"
+    doi: 10.5281/zenodo.17741226
+    benchexec_toolinfo_options: ['-s', 'kinduction']
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
   - version: "svcomp25"
     doi: 10.5281/zenodo.14185854
     benchexec_toolinfo_options: ["-s", "kinduction"]
@@ -31,6 +44,15 @@ versions:
     url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/esbmc-kind.zip"
     benchexec_toolinfo_options: ["-s", "kinduction"]
     required_ubuntu_packages: []
+  - version: "testcomp26"
+    doi: 10.5281/zenodo.17793335
+    benchexec_toolinfo_options: ["-s", "kinduction", "-o", "branch-function"]
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "testcomp25"
     doi: 10.5281/zenodo.14340851
     benchexec_toolinfo_options: ["-s", "kinduction", "-o", "branch"]
@@ -41,6 +63,41 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    jury_member:
+      name: Xianzhiyu Li
+      institution: University of Manchester
+      country: UK
+      url:
+    participants:
+      - orcid: 0009-0003-7712-380X
+        name: Xianzhiyu Li
+      - orcid: 0000-0002-6102-4343
+        name: Rafael Sá Menezes
+      - orcid: 0000-0002-6235-4272
+        name: Lucas C. Cordeiro
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    tool_version: "testcomp26"
+    jury_member:
+      orcid: 0009-0008-0416-3006
+      name: Chenfeng Wei
+      institution: University of Manchester
+      country: UK
+      url:
+    participants:
+      - orcid: 0009-0008-0416-3006
+        name: Chenfeng Wei
+      - orcid: 0009-0003-7712-380X
+        name: Xianzhiyu Li
+      - orcid: 0000-0002-5822-5435
+        name: Kaled Alshmrany
+      - orcid: 0000-0002-6169-6334
+        name: Sangharatna Godboley
+      - orcid: 0000-0002-6235-4272
+        name: Lucas C. Cordeiro
   - competition: "SV-COMP 2025"
     track: "Verification"
     tool_version: "svcomp25"

fm_weck/resources/fm_tools/fdse.yml

@@ -1,5 +1,8 @@
 id: fdse
 name: FDSE
+description: |
+  FDSE is an hybrid testing tool that combines fuzzing, symbolic execution, 
+  and a persistent constraint tree to generate high-coverage test suites for C programs.
 input_languages:
   - C
 project_url: https://github.com/zbchen/fdse-test-comp
@@ -18,6 +21,16 @@ maintainers:
     url: https://zbchen.github.io/
 
 versions:
+  - version: "testcomp26"
+    doi: 10.5281/zenodo.17900875
+    benchexec_toolinfo_options: ["--testcomp"]
+    required_ubuntu_packages:
+      - gcc-multilib
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "testcomp25"
     doi: 10.5281/zenodo.14282305
     benchexec_toolinfo_options: ["--testcomp"]
@@ -28,6 +41,24 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    tool_version: "testcomp26"
+    jury_member:
+      orcid: 0000-0002-4066-7892
+      name: Zhenbang Chen
+      institution: National University of Defense Technology
+      country: China
+      url: https://zbchen.github.io/
+    participants:
+      - orcid: 0009-0006-2359-9687
+        name: Guofeng Zhang
+      - orcid: 0000-0002-4066-7892
+        name: Zhenbang Chen
+      - orcid: 0009-0003-0575-5074
+        name: Ziqi Shuai
+      - orcid: 0000-0003-0637-8744
+        name: Ji Wang
   - competition: "Test-Comp 2025"
     track: "Test Generation"
     tool_version: "testcomp25"

fm_weck/resources/fm_tools/fizzer.yml

@@ -1,8 +1,8 @@
 id: fizzer
 name: Fizzer
 description: |
-  Fizzer is a gray-box fuzzer focussing on coverage of atomic Boolean
-  expressions (mainly the instructions for number comparison). It uses dynamic
+  Fizzer is a gray-box fuzzer focussing of coverage of atomic Boolean
+  expressions (mainly number comparison instructions). It uses dynamic
   taint-flow analysis and local space fuzzing (gradient descent, bit
   and random mutations performed in local spaces).
 input_languages:
@@ -11,7 +11,7 @@ project_url: https://github.com/staticafi/fizzer
 repository_url: https://github.com/staticafi/fizzer
 spdx_license_identifier: Zlib
 benchexec_toolinfo_module: "fizzer.py"
-fmtools_format_version: "0.1"
+fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - trtikm
 
@@ -23,6 +23,19 @@ maintainers:
     url:
 
 versions:
+  - version: "testcomp26"
+    doi: 10.5281/zenodo.17840184
+    benchexec_toolinfo_options: ["--max_seconds", "865", "--max_executions", "100000000", "--max_exec_milliseconds", "250", "--max_exec_megabytes", "13312", "--max_trace_length", "10000", "--max_bytes", "65536", "--opt_max_seconds", "30", "--opt_max_exec_milliseconds", "500", "--opt_max_exec_megabytes", "13312", "--opt_max_trace_length", "10000000", "--opt_max_bytes", "536870912"]
+    required_ubuntu_packages:
+      - clang
+      - llvm
+      - python3
+      - g++-multilib
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "testcomp25"
     doi: 10.5281/zenodo.14246517
     benchexec_toolinfo_options: ["--max_seconds", "865", "--optimizer_max_seconds", "30", "--max_exec_milliseconds", "500", "--max_exec_megabytes", "13312", "--max_stdin_bytes", "65536", "--max_trace_length", "10000", "--max_stack_size", "25", "--stdin_model", "stdin_replay_bytes_then_repeat_zero", "--test_type", "testcomp"]
@@ -34,6 +47,22 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    tool_version: "testcomp26"
+    jury_member:
+      orcid: 0009-0009-6122-9574
+      name: Marek Trtík
+      institution: Masaryk University, Brno
+      country: Czechia
+      url:
+    participants:
+      - orcid: 0000-0003-4703-0795
+        name: Martin Jonáš
+      - orcid: 0000-0001-5873-403X
+        name: Jan Strejček
+      - orcid: 0009-0009-6122-9574
+        name: Marek Trtík
   - competition: "Test-Comp 2025"
     track: "Test Generation"
     tool_version: "testcomp25"

fm_weck/resources/fm_tools/frama-c-sv.yml

@@ -12,7 +12,8 @@ fmtools_entry_maintainers:
   - masp
 
 maintainers:
-  - name: Martin Spiessl
+  - orcid: 0000-0002-9169-9130
+    name: Martin Spiessl
     institution: LMU Munich
     country: Germany
     url: https://www.sosy-lab.org/people/spiessl/
@@ -21,6 +22,8 @@ versions:
   - version: "svcomp24"
     doi: 10.5281/zenodo.10125011
     benchexec_toolinfo_options: ["--reach-as-overflow", "--allow-unsafe"]
+    base_container_images:
+      - docker.io/ubuntu:22.04
     required_ubuntu_packages:
       - python3-pycparser
       - python3-pandas
@@ -34,6 +37,16 @@ versions:
       - python3-pandas
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - inactive
+    tool_version: "svcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:
@@ -48,6 +61,7 @@ competition_participations:
     track: "Verification"
     tool_version: "svcomp24"
     jury_member:
+      orcid: 0000-0002-9169-9130
       name: Martin Spiessl
       institution: LMU Munich
       country: Germany
@@ -56,6 +70,7 @@ competition_participations:
     track: "Verification"
     tool_version: "svcomp23"
     jury_member:
+      orcid: 0000-0002-9169-9130
       name: Martin Spiessl
       institution: LMU Munich
       country: Germany
@@ -64,4 +79,8 @@ competition_participations:
 techniques:
   - Numeric Interval Analysis
 
-frameworks_solvers: []
+frameworks_solvers:
+  - Frama-C
+
+literature: []
+

fm_weck/resources/fm_tools/fshell-witness2test.yml

@@ -27,8 +27,18 @@ versions:
       - make
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Validation of Violation Witnesses v1"
+    label:
+      - inactive
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     label:
       - inactive
     tool_version: "svcomp23"
@@ -38,7 +48,7 @@ competition_participations:
       country: --
       url:
   - competition: "SV-COMP 2024"
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     label:
       - inactive
     tool_version: "svcomp23"
@@ -48,7 +58,7 @@ competition_participations:
       country: --
       url:
   - competition: SV-COMP 2023
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     tool_version: "svcomp23"
     jury_member:
       orcid: 0000-0002-7947-983X

fm_weck/resources/fm_tools/function-res.yml

@@ -0,0 +1,64 @@
+id: function-res
+name: ReFuncTion
+description: |
+  ReFuncTion is a research prototype static analyzer designed for proving conditional termination, conditional termination resilience and conditional CTL properties of C programs.
+  It is also capable of inferring minimal sets of variables with an associate sufficient precondition to ensure a CTL property and maximal sets of variables for which a valuation might falsify it.
+  The tool automatically infers piecewise-defined ranking functions and sufficient preconditions by means of abstract interpretation.
+input_languages:
+  - C
+project_url: https://caterinaurban.github.io/project/function/
+repository_url: https://github.com/naim-mr/refunction
+spdx_license_identifier: CC-BY-4.0
+benchexec_toolinfo_module: benchexec.tools.function-res
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - naim-mr
+maintainers:
+  - orcid: 0009-0000-4188-7064
+    name: Naïm MOUSSAOUI REMIL
+    institution: Inria Paris and École Normale Supérieure
+    country: France
+    url:
+
+versions:
+  - version: "svcomp26"
+    doi: 10.5281/zenodo.17525389
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - llvm
+      - llvm-dev
+      - clang
+      - libc6-dev-i386
+      - libclang-cpp-dev
+      - libclang-dev
+      - libgmp-dev
+      - libmpfr-dev
+      - libclang-rt-18-dev
+
+
+competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    jury_member:
+      orcid: 0009-0000-4188-7064
+      name: Naïm MOUSSAOUI REMIL
+      institution: Inria Paris and École Normale Supérieure
+      country: France
+      url:
+    participants:
+      - orcid: 0009-0000-4188-7064
+        name: Naïm MOUSSAOUI REMIL
+      - orcid: 0000-0002-8127-9642
+        name: Caterina URBAN
+
+techniques:
+  - Numeric Interval Analysis
+
+frameworks_solvers:
+  - Apron
+
+literature:
+  - doi: 10.29007/dnpx
+    title: "Automatic Detection of Vulnerable Variables for CTL Properties of Program"
+    year: 2024

fm_weck/resources/fm_tools/fusebmc-ia.yml

@@ -2,24 +2,26 @@ id: fusebmc-ia
 name: FuSeBMC-AI
 input_languages:
   - C
-project_url: https://github.com/Mohannad-Aldughaim/FuSeBMC_IA
-repository_url: https://github.com/Mohannad-Aldughaim/FuSeBMC_IA
+project_url: https://github.com/FuSeBMC/
+repository_url: https://github.com/FuSeBMC/
 spdx_license_identifier: MIT
-benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/fusebmc.py"
+benchexec_toolinfo_module: benchexec.tools.fusebmc
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - Mohannad-Aldughaim
   - kaled-alshmrany
 
 maintainers:
-  - name: Mohannad Aldughaim
+  - orcid: 0000-0003-1708-1399
+    name: Mohannad Aldughaim
     institution: University of Manchester / King Saud University
     country: UK / Saudi Arabia
     url: https://www.research.manchester.ac.uk/portal/mohannad.aldughaim.html
-  - name: Kaled Alshmrany
+  - orcid: 0000-0002-5822-5435
+    name: Kaled Alshmrany
     institution: University of Manchester / Institute of Public Administration
     country: UK / Saudi Arabia
-    url: https://research.manchester.ac.uk/en/persons/kaled.alshmrany
+    url: https://www.linkedin.com/in/dr-kaled-alshmrany/
 
 versions:
   - version: "testcomp24"
@@ -34,6 +36,16 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    label:
+      - inactive
+    tool_version: "testcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "Test-Comp 2025"
     track: "Test Generation"
     label:
@@ -69,3 +81,5 @@ techniques:
   - Portfolio
 
 frameworks_solvers: []
+
+literature: []