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)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Computer Aided Verification
Erscheinungsort	Berlin [u.a.]
Herausgeber (Verlag)	Springer
Seiten	226-238
Band	3576
ISBN (Print)	3-540-27231-3
DOIs	https://doi.org/10.1007/11513988_23
Publikationsstatus	Veröffentlicht - 2005
Veranstaltung	International Conference on Computer Aided Verification - Edinburgh, Großbritannien / Vereinigtes Königreich Dauer: 6 Juli 2005 → 10 Juli 2005

Publikationsreihe

Name	LNCS
Herausgeber (Verlag)	Springer

Konferenz

Konferenz	International Conference on Computer Aided Verification
Land/Gebiet	Großbritannien / Vereinigtes Königreich
Ort	Edinburgh
Zeitraum	6/07/05 → 10/07/05

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)

Zugriff auf Dokument

10.1007/11513988_23

1 Abgeschlossen

EU - Prosyd - Property-Based System Design
Jobstmann, B. (Teilnehmer / Mitarbeiter), Bloem, R. (Projektleiter), Pill, I. H. (Teilnehmer / Mitarbeiter), Griesmayer, A. (Teilnehmer / Mitarbeiter) & Staber, S. S. (Teilnehmer / Mitarbeiter)
1/01/04 → 31/12/06
Projekt: Forschungsprojekt

Dieses zitieren

@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

Publikationsreihe

Konferenz

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Projekte

EU - Prosyd - Property-Based System Design

Dieses zitieren