Koushik Sen and George Necula and Liang Gong and Philip Wontae Choi

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2014-173

October 17, 2014

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-173.pdf

---

BibTeX citation:

@techreport{Sen:EECS-2014-173,
    Author= {Sen, Koushik and Necula, George and Gong, Liang and Choi, Philip Wontae},
    Title= {MultiSE: Multi-Path Symbolic Execution using Value Summaries},
    Year= {2014},
    Month= {Oct},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-173.html},
    Number= {UCB/EECS-2014-173},
}

EndNote citation:

%0 Report
%A Sen, Koushik 
%A Necula, George 
%A Gong, Liang 
%A Choi, Philip Wontae 
%T MultiSE: Multi-Path Symbolic Execution using Value Summaries
%I EECS Department, University of California, Berkeley
%D 2014
%8 October 17
%@ UCB/EECS-2014-173
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-173.html
%F Sen:EECS-2014-173