Zobrazeno 1 - 10
of 61
pro vyhledávání: '"Arjan J. C. van Gemund"'
Publikováno v:
Proceedings of the AAAI Conference on Artificial Intelligence. 25:189-196
We present a spectrum-based, sequential software debugging approach coined Sequoia, that greedily selects tests out of a suite of tests to narrow down the set of diagnostic candidates with a minimum number of tests. Sequoia handles multiple faults, t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::97c05ed9f90c7c117133db59ff4cdf22
https://doi.org/10.1609/aaai.v25i1.7844
https://doi.org/10.1609/aaai.v25i1.7844
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
(Semi-)automated diagnosis of software faults can drastically increase debugging efficiency, improving reliability and time-to-market. Current automatic diagnosis techniques are predominantly of a statistical nature and, despite typical defect densit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb5f01ecd65dcee38dbe2803916d505d
https://doi.org/10.1016/j.jss.2010.11.915
https://doi.org/10.1016/j.jss.2010.11.915
Autor:
Arjan J. C. van Gemund, Rui Abreu
Publikováno v:
Artificial Intelligence. 174:1481-1497
In fault diagnosis intermittent failure models are an important tool to adequately deal with realistic failure behavior. Current model-based diagnosis approaches account for the fact that a component cj may fail intermittently by introducing a parame
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::66829e0bd44ecd596c806f6b23a9655c
https://doi.org/10.1016/j.artint.2010.09.003
https://doi.org/10.1016/j.artint.2010.09.003
Autor:
David Garcia, Johan de Kleer, Arjan J. C. van Gemund, Sriram Narasimhan, Tolga Kurtoglu, Lukas Kuhn, Alexander Feldman, Scott Poll
Publikováno v:
International Journal of Prognostics and Health Management, Vol 1, Iss 1, Pp 40-67 (2010)
A variety of rule-based, model-based and datadriven techniques have been proposed for detection and isolation of faults in physical systems. However, there have been few efforts to comparatively analyze the performance of these approaches on the same
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce669d49125a7f13e21cda9508ee0f1d
http://www.phmsociety.org/sites/all/modules/pubdlcnt/pubdlcnt.php?file=http://www.phmsociety.org/sites/phmsociety.org/files/phm_submission/2010/ijPHM_10_002.pdf&nid=264
http://www.phmsociety.org/sites/all/modules/pubdlcnt/pubdlcnt.php?file=http://www.phmsociety.org/sites/phmsociety.org/files/phm_submission/2010/ijPHM_10_002.pdf&nid=264
Publikováno v:
Journal of Systems and Software. 82:1780-1792
Spectrum-based fault localization (SFL) shortens the test-diagnose-repair cycle by reducing the debugging effort. As a light-weight automated diagnosis technique it can easily be integrated with existing testing schemes. Since SFL is based on discove
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e28f207f0a6068a37e8d3e821733602
https://doi.org/10.1016/j.jss.2009.06.035
https://doi.org/10.1016/j.jss.2009.06.035
Publikováno v:
Parallel Computing. 35:455-474
The restricted synchronization structure of so-called structured parallel programming paradigms has an advantageous effect on programmer productivity, cost modeling, and scheduling complexity. However, imposing these restrictions can lead to a loss o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62e8a08ed318f965ea3d850efc1b78f1
https://doi.org/10.1016/j.parco.2009.07.002
https://doi.org/10.1016/j.parco.2009.07.002
Publikováno v:
INCOSE International Symposium. 17:324-335
Model-Based Diagnosis (MBD) is a promising solution for the fault diagnosis of complex systems. In this paper we review the benefits and costs of MBD. Our research is performed in cooperation with ASML which is the world's leading manufacturer of lit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8aab90ce9de8d61195814720d95ef3f3
https://doi.org/10.1002/j.2334-5837.2007.tb02878.x
https://doi.org/10.1002/j.2334-5837.2007.tb02878.x
Publikováno v:
ACM SIGBED Review. 4:1-10
Embedded Systems (ES) is the fastest growing sector in ICT technology [1][18]. Also in the Dutch economy, this sector is believed to become an important generator of added value. In this paper we describe a new MS program on ES that is offered in Del
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9dd19cfd7263c30873ee0f032f70299f
https://doi.org/10.1145/1217809.1217811
https://doi.org/10.1145/1217809.1217811
Autor:
Lukas D. Kuhn, Johan de Kleer, David Garcia, Sriram Narasimhan, Arjan J. C. van Gemund, Alexander Feldman, Tolga Kurtoglu, Scott Poll
Publikováno v:
AI Magazine; Vol 35, No 2: Summer 2014; 49-54
The diagnostic competition (DX) provides a set of diagnostic benchmarks to evaluate diagnostic algorithms. This paper describes a common diagnostic framework used to evaluate diagnostic algorithms. This competition, started in 2009, has significantly
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ae8a02c36d7e4737de97c9288a3efd70
http://aaai.org/ojs/index.php/aimagazine/article/view/2532
http://aaai.org/ojs/index.php/aimagazine/article/view/2532
Publikováno v:
2014 IEEE Aerospace Conference.
Recent feedback obtained while applying Model-based diagnosis (MBD) in industry suggests that the costs involved in behavioral modeling (both expertise and labor) can outweigh the benefits of MBD as a high-performance diagnosis approach. In this pape
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0bd875285e8ad967e4631f042ff660e8
https://doi.org/10.1109/aero.2014.6836252
https://doi.org/10.1109/aero.2014.6836252