Sciweavers

300 search results - page 8 / 60
» Automated debugging in eclipse
Sort
View
FASE
2004
Springer
14 years 3 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
KBSE
1998
IEEE
14 years 1 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
14 years 2 months ago
Extension Language Automation of Embedded System Debugging
Dale E. Parson, Bryan Schlieder, Paul Beatty
COMPUTER
2008
94views more  COMPUTER 2008»
13 years 9 months ago
Automating Postsilicon Debugging and Repair
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco