Active Bibliography

Dynamic Test Generation for Large Binary Programs – David Alexander Molnar, David Alexander Molnar, David Alexander Molnar
permission. LATEST: Lazy Dynamic Test Input Generation – Rupak Majumdar, Koushik Sen, Rupak Majumdar, Koushik Sen
Instrumented – Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu
Test Generation Using Symbolic Execution – Patrice Godefroid
6 Predictive testing: Amplifying the effectiveness of software testing – Pallavi Joshi, Koushik Sen, Mark Shlimovich - 2007
26 Directed Test Generation using Symbolic Grammars – Rupak Majumdar, Ru-Gang Xu - 2007
21 Active Property Checking – Patrice Godefroid, Michael Y. Levin, David Molnar - 2007
Scaling Concolic Execution of Binary Programs for Security Applications – Pongsin Poosankam - 2013
Heuristics for Scalable . . . – Jacob Burnim, Koushik Sen - 2008
Grammar and Model Extraction for Security Applications using Dynamic Program Binary Analysis – Caballero Bayerri
12 Symbolic Execution for Software Testing in Practice – Preliminary Assessment – Cristian Cadar, Koushik Sen, Patrice Godefroid, Nikolai Tillmann, Sarfraz Khurshid, Willem Visser, Corina S. Păsăreanu
2 Whispec: White-box Testing of Libraries Using Declarative Specifications – Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
25 Loop-extended symbolic execution on binary programs – Prateek Saxena, Pongsin Poosankam, Stephen Mccamant, Dawn Song - 2009
299 Cute: a concolic unit testing engine for c – Koushik Sen, Darko Marinov, Gul Agha - 2005
found at the ENTCS Macro Home Page. A Parallel Approach to Concolic Testing with Low-cost Synchronization – Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang
Combining . . . PROGRAM ANALYSES FOR AUTOMATIC SOFTWARE TESTING – Christoph Csallner - 2008
240 KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs – Cristian Cadar, Daniel Dunbar, Dawson Engler
1 Oasis: Concolic Execution Driven by Test Suites and Code Modifications – Olivier Crameri, Rekha Bachwani, Tim Brecht, Ricardo Bianchini, Dejan Kostic, Willy Zwaenepoel - 2009
6 Path-Exploration Lifting: Hi-Fi Tests for Lo-Fi Emulators – Lorenzo Martignoni, Stephen Mccamant, Pongsin Poosankam, Dawn Song, Petros Maniatis