Sciweavers

300 search results - page 8 / 60
» Automated debugging in eclipse
Sort
View
76
Voted
FASE
2004
Springer
15 years 6 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
100
Voted
KBSE
1998
IEEE
15 years 5 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 5 months ago
Extension Language Automation of Embedded System Debugging
Dale E. Parson, Bryan Schlieder, Paul Beatty
90
Voted
DATE
2007
IEEE
100views Hardware» more  DATE 2007»
15 years 4 months ago
Abstraction and refinement techniques in automated design debugging
Sean Safarpour, Andreas G. Veneris
COMPUTER
2008
94views more  COMPUTER 2008»
15 years 26 days ago
Automating Postsilicon Debugging and Repair
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco