diff --git a/publications.md b/publications.md
index fc134d57..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.
@@ -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)  
@@ -1833,3 +1838,14 @@ 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).**
+
+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