MultiSE: Multi-Path Symbolic Execution using Value Summaries

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

This publication is archived. It is kept only for reference purposes, so it is no longer being updated and may not meet accessibility standards. If you need this content in a different format, please email webteam@eecs.berkeley.edu.

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/Archive/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