From 6da4197d82da17950996fd1f1b8c35229bfcedb4 Mon Sep 17 00:00:00 2001
From: Christoph Thiede <38782922+LinqLover@users.noreply.github.com>
Date: Sat, 4 Mar 2023 20:35:31 +0100
Subject: [PATCH] papers: add cadar2013symbolic and XMUsuny collection

Closes #16.
---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index a6bd2e0..c37f08a 100644
--- a/README.md
+++ b/README.md
@@ -16,7 +16,9 @@
 * [Symbolic Execution and Program Testing](https://doi.org/10.1145/360248.360252), James C. King.
 * [A system to generate test data and symbolically execute programs](https://doi.org/10.1109/TSE.1976.233817), L. A. Clarke.
 * [All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)](https://doi.org/10.1109/SP.2010.26), Edward J. Schwartz, Thanassis Avgerinos, David Brumley.
+* [Symbolic Execution for Software Testing: Three Decades Later](https://dl.acm.org/doi/10.1145/2408776.2408795), Cristian Cadar and Koushik Sen
 * [A Survey of Symbolic Execution Techniques](https://arxiv.org/pdf/1610.00502.pdf), Roberto Baldoni, Emilio Coppa, Daniele Cono D’Elia, Camil Demetrescu, and Irene Finocchi.
+* ***Collection of symbolic execution papers:** [XMUsuny/symbolic-execution-papers](https://github.com/XMUsuny/symbolic-execution-papers)*
 
 
 ## Courses