2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015)
,
August 30 – September 4, 2015
,
Bergamo, Italy
Desktop Layout
Sessions
Talks
People
Fri, September 4, 2015
14:30 – 16:05
Symbolic Execution
Research Papers
Alabastro B, Chairs: Alessandro Orso
MultiSE: Multi-path Symbolic Execution using Value Summaries
Koushik Sen, George Necula, Liang Gong, and Wontae Choi
(University of California at Berkeley, USA)
Best-Paper Award
Assertion Guided Symbolic Execution of Multithreaded Programs
Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, and Aarti Gupta
(Virginia Tech, USA; Western Michigan University, USA; Princeton University, USA)
Iterative Distribution-Aware Sampling for Probabilistic Symbolic Execution
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, and Corina S. Păsăreanu
(University of Stuttgart, Germany; Federal University of Pernambuco, Brazil; Carnegie Mellon University, USA; NASA Ames Research Center, USA)
Time stamp: 2019-12-15T06:10:47+01:00