Sciweavers

127 search results - page 1 / 26
» AFID: an automated approach to collecting software faults
Sort
View
ASE
2010
89views more  ASE 2010»
13 years 5 months ago
AFID: an automated approach to collecting software faults
Alex Edwards, Sean Tucker, Brian Demsky
SEFM
2009
IEEE
14 years 2 days ago
An Automated Approach to Verifying Diagnosability in Multi-agent Systems
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
Jonathan Ezekiel, Alessio Lomuscio
SIGSOFT
2006
ACM
14 years 6 months ago
Failure proximity: a fault localization-based approach
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
Chao Liu 0001, Jiawei Han
ISORC
2009
IEEE
13 years 12 months ago
Fault-Tolerance for Component-Based Systems - An Automated Middleware Specialization Approach
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...
KBSE
2005
IEEE
13 years 11 months ago
Automated path generation for software fault localization
Localizing the cause(s) of an observable error lies at the heart of program debugging. Fault localization often proceeds by comparing the failing program run with some “successf...
Tao Wang, Abhik Roychoudhury