Active Bibliography

2 Hampi: A solver for word equations over strings, regular expressions and context-free grammar – Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
Effective Software Testing with a String-Constraint Solver – Michael D. Ernst - 2009
5 HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection – Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael Ernst
Decision Procedures for String Constraints Ph.D. Dissertation Proposal – Pieter Hooimeijer - 2010
33 A Decision Procedure for Subset Constraints over Regular Languages – Pieter Hooimeijer, Westley Weimer - 2009
Generating String Inputs using Constrained Symbolic Execution – Pieter Hooimeijer - 2008
15 Solving String Constraints Lazily – Pieter Hooimeijer, Westley Weimer - 2010
9 Efficient state merging in symbolic execution – Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea - 2012
2 An incremental approach to scope-bounded checking using a . . . – Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
6 Path-Exploration Lifting: Hi-Fi Tests for Lo-Fi Emulators – Lorenzo Martignoni, Stephen Mccamant, Pongsin Poosankam, Dawn Song, Petros Maniatis
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
17 Finding bugs in web applications using dynamic test generation and explicit state model checking – Shay Artzi, Julian Dolby, Frank Tip, Danny Dig, Amit Paradkar, Senior Member, Michael D. Ernst - 2010
240 KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs – Cristian Cadar, Daniel Dunbar, Dawson Engler
Evaluating Interaction Patterns in Configurable Software Systems – Elnatan Reisner, Charles Song, Kin-keung Ma, Jeffrey S. Foster, Adam Porter
20 TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection – Tielei Wang, Tao Wei, Guofei Gu, Wei Zou
20 Using Symbolic Evaluation to Understand Behavior in Configurable Software Systems – Elnatan Reisner, Charles Song, Kin-keung Ma, Jeffrey S. Foster, Adam Porter
8 Precise Pointer Reasoning for Dynamic Test Generation – Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin
1 Diagnosing abstraction failure for separation logic–based analyses – Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger - 2012
7 On Test Generation through Programming in UDITA – Milos Gligoric, Sarfraz Khurshid, Tihomir Gvero, Viktor Kuncak, Vilas Jagannath, Darko Marinov