MultiSE: Multi-Path Symbolic Execution using Value Summaries

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