Sciweavers

733 search results - page 45 / 147
» Active Automation of the DITSCAP
Sort
View
60
Voted
FASE
2004
Springer
15 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
DATE
2002
IEEE
144views Hardware» more  DATE 2002»
15 years 2 months ago
Design Automation for Deepsubmicron: Present and Future
Advancing technology drives design technology and thus design automation EDA. How to model interconnect, how to handle degradation of signal integrity and increasing power densi...
Ralph H. J. M. Otten, Raul Camposano, Patrick Groe...
ICSE
2009
IEEE-ACM
15 years 2 months ago
Automating Structural Testing of C Programs: Experience with PathCrawler
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
Bernard Botella, Mickaël Delahaye, Sté...
60
Voted
MICCAI
2003
Springer
15 years 10 months ago
Automated Segmentation of Abdominal Aortic Aneurysms in Multi-spectral MR Images
Abstract. An automated method for segmenting the outer boundary of abdominal aortic aneurysms in MR images is presented. The method is based on the well known Active Shape Models (...
Marleen de Bruijne, Bram van Ginneken, Lambertus W...
ICSM
2008
IEEE
15 years 4 months ago
Automated severity assessment of software defect reports
In mission critical systems, such as those developed by NASA, it is very important that the test engineers properly recognize the severity of each issue they identify during testi...
Tim Menzies, Andrian Marcus