Sciweavers

824 search results - page 55 / 165
» Scaling regression testing to large software systems
Sort
View
CODES
2000
IEEE
14 years 1 months ago
Automatic test bench generation for simulation-based validation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
Marcello Lajolo, Luciano Lavagno, Maurizio Rebaude...
MICCAI
2003
Springer
14 years 9 months ago
An Automatic System for Classification of Nuclear Sclerosis from Slit-Lamp Photographs
A robust and automatic system has been developed to detect the visual axis and extract important feature landmarks from slit-lamp photographs, and objectively grade the severity of...
Shaohua Fan, Charles R. Dyer, Larry Hubbard, Barba...
ICSEA
2009
IEEE
13 years 6 months ago
Strengthening Refactoring: Towards Software Evolution with Quantitative and Experimental Grounds
: Refactoring is a process meant to improve the internal quality of software systems. However, while on one hand, the guidelines for this delicate process are still empirical and q...
Sergio Bryton, Fernando Brito e Abreu
SIGSOFT
2003
ACM
14 years 9 months ago
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
Yichen Xie, Andy Chou, Dawson R. Engler
AOIS
2004
13 years 10 months ago
A Systematic Approach for Including Machine Learning in Multi-agent Systems
Large scale multi-agent systems (MASs) in unpredictable environments must use machine learning techniques to perform their goals and improve the performance of the system. This pap...
José Alberto R. P. Sardinha, Alessandro F. ...