Koushik Sen, George Necula, 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}, Institution = {EECS Department, University of California, Berkeley}, 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