2638 search results - page 50 / 528 » A Framework for Automatic Debugging |
101
click to vote
VL
2007
IEEE
15 years 7 months ago
2007
IEEE
In previous work we have developed a system that automatically checks for unit errors in spreadsheets. In this paper we describe our experiences using the system in a workshop on ...
109
click to vote
RSP
2003
IEEE
15 years 6 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
The output of a disassembler is used for many different purposes (e.g., debugging and reverse engineering). Therefore, disassemblers represent the first link of a long chain of s...
105
click to vote
SPLC
2008
15 years 2 months ago
2008
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
129
click to vote
FAC
2008
15 years 1 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...