Sciweavers

300 search results - page 8 / 60
» Automated debugging in eclipse
Sort
View
FASE
2004
Springer
15 years 4 months ago
Automated Debugging Using Path-Based Weakest Preconditions
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
Haifeng He, Neelam Gupta
85
Voted
KBSE
1998
IEEE
15 years 3 months ago
Towards the Automated Debugging and Maintenance of Logic-based Requirements Models
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
T. L. McCluskey, Margaret Mary West
AADEBUG
2000
Springer
15 years 3 months ago
Extension Language Automation of Embedded System Debugging
Dale E. Parson, Bryan Schlieder, Paul Beatty
COMPUTER
2008
94views more  COMPUTER 2008»
14 years 11 months ago
Automating Postsilicon Debugging and Repair
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco