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

First Page		Document Content
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

	Heuristic Evaluation Functions for General Game Playing DocID: 1qSuo - View Document
	Automatic Construction of a Heuristic Search Function for General Game Playing Stephan Schiffel and Michael Thielscher Department of Computer Science Dresden University of Technology {stephan.schiffel,mit}@inf.tu-dresden DocID: 1pxnr - View Document
	Distributed Computing Prof. R. Wattenhofer Bachelor’s thesis: Ranking alternatives offline DocID: 1mZq5 - View Document
	Games and Economic Behavior–385 www.elsevier.com/locate/geb Identifying individual differences: An algorithm with application to Phineas Gage Daniel Houser a,∗ , Antoine Bechara b , Michael Keane c , DocID: 1gnph - View Document
	PNBA*: A Parallel Bidirectional Heuristic Search Algorithm Luis Henrique Oliveira Rios1 , Luiz Chaimowicz1 1 Departamento de Ciˆencia da Computac¸a˜ o Universidade Federal de Minas Gerais (UFMG) – Belo Horizonte, MG DocID: 1gfQN - View Document