Program Repair as a Game

Barbara Jobstmann, Andreas Griesmayer, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationComputer Aided Verification
Place of PublicationBerlin [u.a.]
PublisherSpringer
Pages226-238
Volume3576
ISBN (Print)3-540-27231-3
DOIs
Publication statusPublished - 2005
EventInternational Conference on Computer Aided Verification - Edinburgh, United Kingdom
Duration: 6 Jul 200510 Jul 2005

Publication series

NameLNCS
PublisherSpringer

Conference

ConferenceInternational Conference on Computer Aided Verification
CountryUnited Kingdom
CityEdinburgh
Period6/07/0510/07/05

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this

Jobstmann, B., Griesmayer, A., & Bloem, R. P. (2005). Program Repair as a Game. In Computer Aided Verification (Vol. 3576, pp. 226-238). (LNCS). Berlin [u.a.]: Springer. https://doi.org/10.1007/11513988_23

Program Repair as a Game. / Jobstmann, Barbara; Griesmayer, Andreas; Bloem, Roderick Paul.

Computer Aided Verification. Vol. 3576 Berlin [u.a.] : Springer, 2005. p. 226-238 (LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Jobstmann, B, Griesmayer, A & Bloem, RP 2005, Program Repair as a Game. in Computer Aided Verification. vol. 3576, LNCS, Springer, Berlin [u.a.], pp. 226-238, International Conference on Computer Aided Verification, Edinburgh, United Kingdom, 6/07/05. https://doi.org/10.1007/11513988_23
Jobstmann B, Griesmayer A, Bloem RP. Program Repair as a Game. In Computer Aided Verification. Vol. 3576. Berlin [u.a.]: Springer. 2005. p. 226-238. (LNCS). https://doi.org/10.1007/11513988_23
Jobstmann, Barbara ; Griesmayer, Andreas ; Bloem, Roderick Paul. / Program Repair as a Game. Computer Aided Verification. Vol. 3576 Berlin [u.a.] : Springer, 2005. pp. 226-238 (LNCS).
@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",

}

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 contribution

SN - 3-540-27231-3

VL - 3576

T3 - LNCS

SP - 226

EP - 238

BT - Computer Aided Verification

PB - Springer

CY - Berlin [u.a.]

ER -