Program Repair as a Game

Barbara Jobstmann; Andreas Griesmayer; Roderick Paul Bloem

doi:10.1007/11513988_23

Program Repair as a Game

Barbara Jobstmann
, Andreas Griesmayer
, Roderick Paul Bloem

Institute of Software Engineering and Artificial Intelligence (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Computer Aided Verification
Place of Publication	Berlin [u.a.]
Publisher	Springer
Pages	226-238
Volume	3576
ISBN (Print)	3-540-27231-3
DOIs	https://doi.org/10.1007/11513988_23
Publication status	Published - 2005
Event	International Conference on Computer Aided Verification - Edinburgh, United Kingdom Duration: 6 Jul 2005 → 10 Jul 2005

Publication series

Name	LNCS
Publisher	Springer

Conference

Conference	International Conference on Computer Aided Verification
Country/Territory	United Kingdom
City	Edinburgh
Period	6/07/05 → 10/07/05

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)

Access to Document

10.1007/11513988_23

EU - Prosyd - Property-Based System Design
Jobstmann, B. (Attendee / Assistant), Bloem, R. (Project manager), Pill, I. H. (Attendee / Assistant), Griesmayer, A. (Attendee / Assistant) & Staber, S. S. (Attendee / Assistant)
1/01/04 → 31/12/06
Project: Research project

Cite this

@inproceedings{852e004fab584b1eb55469a6ccfa95b0,

title = "Program Repair as a Game",

author = "Barbara Jobstmann and Andreas Griesmayer and Bloem, \{Roderick Paul\}",

year = "2005",

doi = "10.1007/11513988\_23",

language = "English",

isbn = "3-540-27231-3",

volume = "3576",

series = "LNCS",

publisher = "Springer",

pages = "226--238",

booktitle = "Computer Aided Verification",

address = "United States",

note = "International Conference on Computer Aided Verification ; Conference date: 06-07-2005 Through 10-07-2005",

}

TY - GEN

T1 - Program Repair as a Game

AU - Jobstmann, Barbara

AU - Griesmayer, Andreas

AU - Bloem, Roderick Paul

PY - 2005

Y1 - 2005

U2 - 10.1007/11513988_23

DO - 10.1007/11513988_23

M3 - Conference paper

SN - 3-540-27231-3

VL - 3576

T3 - LNCS

SP - 226

EP - 238

BT - Computer Aided Verification

PB - Springer

CY - Berlin [u.a.]

T2 - International Conference on Computer Aided Verification

Y2 - 6 July 2005 through 10 July 2005

ER -

Program Repair as a Game

Publication series

Conference

Treatment code (Nähere Zuordnung)

Access to Document

Projects

EU - Prosyd - Property-Based System Design

Cite this