Automated debugging based on a constraint model of the program and a test case

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)390-407
JournalThe journal of logic and algebraic programming
Volume81
Issue number4
Publication statusPublished - 2012

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this