From 0c261a54867c8da5df358bbb2d670e2e1188a25e Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Sun, 24 May 2026 09:23:36 +0200 Subject: [PATCH 1/4] paper: SeaCoral: A Collaborative Test Generation Toolset for Industrial Orchestration of Testing Tools --- publications.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/publications.md b/publications.md index fc134d57..92ceedbe 100644 --- a/publications.md +++ b/publications.md @@ -1833,3 +1833,9 @@ Execution of Multithreaded Software](https://tuba.ece.ufl.edu/wp-content/uploads Pengbo Du, Qiuping Yi, Hongliang Liang, Guowei Yang IEEE Transactions on Software Engineering (TSE) February 25, 2026 + +1. [SeaCoral: A Collaborative Test Generation Toolset for Industrial Orchestration of Testing Tools](https://doi.org/10.1007/978-3-032-26220-2_34) + Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet + International Symposium on Formal Methods (FM 2026) + May 18-22, 2026, Tokyo, Japan + **SeaCoral is available [here](https://github.com/OCamlPro/seacoral).** From b87b5a263355765c8dbc364f2135ecc7206e7efb Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Sun, 24 May 2026 09:25:13 +0200 Subject: [PATCH 2/4] paper: Selective Concolic Testing --- publications.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/publications.md b/publications.md index 92ceedbe..4e89b6a3 100644 --- a/publications.md +++ b/publications.md @@ -1839,3 +1839,8 @@ Execution of Multithreaded Software](https://tuba.ece.ufl.edu/wp-content/uploads International Symposium on Formal Methods (FM 2026) May 18-22, 2026, Tokyo, Japan **SeaCoral is available [here](https://github.com/OCamlPro/seacoral).** + +1. [Selective Concolic Testing](https://doi.org/10.1007/978-3-032-26220-2_14) + Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Jun Sun, Weijiang Hong, Yufeng Zhang, Ji Wang, Yang Liu + International Symposium on Formal Methods (FM 2026) + May 18-22, 2026, Tokyo, Japan From 8513aab5c4afd095157ee6c6c84286c6882d4697 Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Sun, 24 May 2026 09:28:21 +0200 Subject: [PATCH 3/4] paper: An Evaluation of Symbolic Execution for Test Generation in Open-Source C/C++ Software --- publications.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/publications.md b/publications.md index 4e89b6a3..f0da3d1c 100644 --- a/publications.md +++ b/publications.md @@ -1767,6 +1767,11 @@ Execution of Multithreaded Software](https://tuba.ece.ufl.edu/wp-content/uploads ACM International Conference on the Foundations of Software Engineering (FSE 2025) June 23-27, 2025, Trondheim, Norway +1. [An Evaluation of Symbolic Execution for Test Generation in Open-Source C/C++ Software](https://doi.org/10.1007/978-3-032-14816-2_1) + Martín Nieto-Pinteño, Kevin J. Valle-Gómez, Inmaculada Medina-Bulo + Spanish-German Symposium on Applied Computer Science (SGSOACS 2025) + June 30 - July 3, 2025, Wien, Austria + 1. [OptSE: Toward Optimal Symbolic Execution](https://doi.org/10.1109/TSE.2025.3564666) Shunkai Zhu, Jun Sun, Jingyi Wang, Xingwei Lin, Peng Cheng IEEE Transactions on Software Engineering, Volume 51, Issue 7 (TSE) From 533dbcba20023bb4d59f221f7e37d651b2fe2a9c Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Sun, 24 May 2026 09:32:16 +0200 Subject: [PATCH 4/4] publications: 350+ --- publications.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/publications.md b/publications.md index f0da3d1c..e656c7a9 100644 --- a/publications.md +++ b/publications.md @@ -3,7 +3,7 @@ layout: default title: Publications subtitle: Publications and Systems Using KLEE slug: publications -lead: Below you can find a list of 300+ papers and systems that either use or extend KLEE. They are listed in chronological order. +lead: Below you can find a list of 350+ papers and systems that either use or extend KLEE. They are listed in chronological order. --- We regularly organise workshops to discuss ideas and new applications.