Program Repair as a Game

Barbara Jobstmann, Andreas Griesmayer, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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