Automated debugging based on a constraint model of the program and a test case
type: Item
instance of: scholarly article
title: Automated debugging based on a constraint model of the program and a test case
zbMATH Open document ID: 1246.68102
author: Franz Wotawa
author: Mihai Nica
author: Iulia Moraru
published in: The Journal of Logic and Algebraic Programming
publication date: 2012-08-14T00:00:00Z
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 6065761
zbMATH Keywords: automated debugging
zbMATH Keywords: algorithmic debugging
zbMATH Keywords: model-based debugging
zbMATH Keywords: constraints
zbMATH Keywords: constraint satisfaction problem
describes a project that uses: MINION
MaRDI profile type: Publication
full work available at URL: j.jlap.2012.03.002
OpenAlex ID: W2009080961
cites work: Model-based diagnosis of hardware designs
cites work: Q2767075
cites work: Dynamic program slicing
cites work: Experimental Evaluation of program slicing for fault localization
cites work: Programming Languages and Systems
cites work: A theory of diagnosis from first principles
cites work: Q4896913
cites work: Program Slicing
cites work: On the relationship between model-based debugging and program slicing
cites work: Debugging hardware designs using a value-based model
cites work: Q3605733
DOI: 10.1016/J.JLAP.2012.03.002
description: scientific article; zbMATH DE number 6065761