Peter Dawson - PDFSEARCH.IO - Document Search Engine

Peter Dawson
Results: 39

#	Item
1	Analysing the effects of spatial configuration on human movement and social interaction in Canadian Arctic communities Peter C. Dawson University of Calgary, Canada Add to Reading List Source URL: www.spacesyntax.net Language: English - Date: 2012-01-25 10:12:43
2	EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic, Add to Reading List Source URL: ece.uwaterloo.ca - Date: 2013-01-14 11:59:30
3	RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:46 Software Computing Application software Functional languages Cat Symbolic execution ARG2 ARG1 R
4	EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter Pawlowski, David Dill, Dawson Engler Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:46 Software engineering Computing Computer programming Data types C Procedural programming languages Pointer Struct C++ classes Const SKB
5	EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Data types Symbolic execution Pointer Array data structure Array data type Bit array Type system Concolic testing
6	RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Constraint Program optimization Concolic testing Constraint logic programming
7	RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-03 12:25:42
8	EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter Pawlowski, David Dill, Dawson Engler Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-02 07:27:33
9	RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-02-24 08:42:24
10	WA Youth Orchestra 1988 Violin Charmain Barton Mark de Cruz Catherine Dagley Peter Dawson Add to Reading List Source URL: wayo.net.au Language: English - Date: 2014-03-09 23:01:24