<--- Back to Details
First PageDocument Content
Network theory / Shortest path problem / Algorithm / Control flow analysis / Heuristic function / Call graph / Mathematics / Graph theory / Theoretical computer science
Date: 2013-03-28 20:19:29
Network theory
Shortest path problem
Algorithm
Control flow analysis
Heuristic function
Call graph
Mathematics
Graph theory
Theoretical computer science

∗ Statically-Directed Dynamic Automated Test Generation Domagoj Babi´c Lorenzo Martignoni

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Download Document from Source Website

File Size: 170,69 KB

Share Document on Facebook

Similar Documents

Incremental Call Graph Reanalysis for AspectJ Software Yu Lin, Sai Zhang, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China {linyu1986, saizhang, zhao-jj}@sjtu.edu.c

Incremental Call Graph Reanalysis for AspectJ Software Yu Lin, Sai Zhang, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China {linyu1986, saizhang, zhao-jj}@sjtu.edu.c

DocID: 1xUce - View Document

Automated Transplantation of Call Graph and Layout Features into Kate Alexandru Marginean, Earl T. Barr, Mark Harman, and Yue Jia UCL, Department of Computer Science, CREST Centre  Abstract. We report the automated trans

Automated Transplantation of Call Graph and Layout Features into Kate Alexandru Marginean, Earl T. Barr, Mark Harman, and Yue Jia UCL, Department of Computer Science, CREST Centre Abstract. We report the automated trans

DocID: 1vabV - View Document

1  Call Graph Profiling for Multi Agent Systems Dinh Doan Van Bien, David Lillis and Rem W. Collier School of Computer Science and Informatics University College Dublin

1 Call Graph Profiling for Multi Agent Systems Dinh Doan Van Bien, David Lillis and Rem W. Collier School of Computer Science and Informatics University College Dublin

DocID: 1tnWB - View Document

Call for Papers – Graph Drawing 2014 22nd International Symposium on Graph Drawing September 24-26, 2014 • Würzburg, Germany http://gd2014.informatik.uni-wuerzburg.de/ Graph Drawing is concerned with the geometric r

Call for Papers – Graph Drawing 2014 22nd International Symposium on Graph Drawing September 24-26, 2014 • Würzburg, Germany http://gd2014.informatik.uni-wuerzburg.de/ Graph Drawing is concerned with the geometric r

DocID: 1t7vw - View Document

   Call for papers WWW 2017 Social Networks and Graph Analysis Track We invite research contributions to the Social Networks and Graph Analysis track at the 26th World Wide Web Conference (WWW), to be held April 3-7, 20

  Call for papers WWW 2017 Social Networks and Graph Analysis Track We invite research contributions to the Social Networks and Graph Analysis track at the 26th World Wide Web Conference (WWW), to be held April 3-7, 20

DocID: 1sgCM - View Document