Using Multiple Abstract Models for Debugging: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 December 2023

  • curprev 14:1814:18, 24 December 2023‎ SatoshiNakamoto talk contribs‎ 1,345 bytes +1,345‎ Created page with "Title: Using Multiple Abstract Models for Debugging Research Question: How can we use multiple abstract models to improve the debugging process of software? Methodology: The researchers proposed a model-based debugging framework that uses multiple abstract models. These models are derived from the source code of the program and are used to locate faults and fault candidates. The framework is based on model-based diagnosis, abstract interpretation, and design informatio..."
Retrieved from "https://simplesci.org/wiki/Using_Multiple_Abstract_Models_for_Debugging"