Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Peter Zoeteweij"'
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
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:
ASE
Fault diagnosis approaches can generally be categorized into spectrum-based fault localization (SFL, correlating failures with abstractions of program traces), and model-based diagnosis (MBD, logic reasoning over a behavioral model). Although MBD app
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bd343a97430c00ac5d64a7ffa802af36
https://doi.org/10.1109/ase.2009.25
https://doi.org/10.1109/ase.2009.25
Publikováno v:
QSIC
Current automatic diagnosis techniques are predominantly of a statistical nature and, despite typical defect densities, do not explicitly consider multiple faults, as also demonstrated by the popularity of the single-fault Siemens set. We present a l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37bfbab920752207c2578fa4a75d16cc
https://doi.org/10.1109/qsic.2009.55
https://doi.org/10.1109/qsic.2009.55
Residual faults in embedded software are a major threat to systems dependability, and automated diagnosis techniques help to counter this threat in two ways: as a means to improve the efficiency of the debugging process they reduce the fault density,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1406::fff1982a8ee0ac671164920da9ae32fa
https://hdl.handle.net/10216/100451
https://hdl.handle.net/10216/100451
Publikováno v:
Studies in Computational Intelligence ISBN: 9783540928133
Current model-based approaches to software debugging use static program analysis to derive a model of the program. In contrast, in the software engineering domain diagnosis approaches are based on analyzing dynamic execution behavior. We present a mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f411ad628d995593413f8b8989d0af28
https://doi.org/10.1007/978-3-540-92814-0_36
https://doi.org/10.1007/978-3-540-92814-0_36
Publikováno v:
WODA
Automatic techniques for helping developers in finding the root causes of software failures are extremely important in the development cycle of software. In this paper we study a dynamic modeling approach to fault localization, which is based on logi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6ede728be140c7a94013d3876c4155f
https://doi.org/10.1145/1401827.1401841
https://doi.org/10.1145/1401827.1401841
Publikováno v:
SAC
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of low-cost, generic invariants ("screeners") in their capacity of error detectors wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3daea80e196bb773e021de749c53065f
Publikováno v:
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007).
Spectrum-based fault localization 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. However, as no model of the system
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a19704cbe4055a249fa1ca1c8687e1ae
https://doi.org/10.1109/taic.part.2007.13
https://doi.org/10.1109/taic.part.2007.13
Publikováno v:
ECBS
Automated diagnosis of errors detected during software testing can improve the efficiency of the debugging process, and can thus help to make software more reliable. In this paper we discuss the application of a specific automated debugging technique
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cd6ed9aacd2a646eea9238fa9f60141e
https://doi.org/10.1109/ecbs.2007.31
https://doi.org/10.1109/ecbs.2007.31