|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 14 keywords
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
Simultaneous debugging of software faults.  |
Journal of Systems and Software  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Abreu, Peter Zoeteweij, Rob Golsteijn, Arjan J. C. van Gemund |
A practical evaluation of spectrum-based fault localization.  |
Journal of Systems and Software  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
A New Bayesian Approach to Multiple Intermittent Fault Diagnosis.  |
IJCAI  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
Spectrum-Based Multiple Fault Localization.  |
ASE  |
2009 |
DBLP DOI BibTeX RDF |
Software fault diagnosis, statistical and reasoning approaches, program spectra |
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
Localizing Software Faults Simultaneously.  |
QSIC  |
2009 |
DBLP DOI BibTeX RDF |
Software fault diagnosis, statistical and reasoning approaches, program spectra |
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
An observation-based model for fault localization.  |
WODA  |
2008 |
DBLP DOI BibTeX RDF |
software fault diagnosis, test data analysis, model-based diagnosis, program spectra |
| 1 | Rui Abreu, Alberto González-Sanchez, Peter Zoeteweij, Arjan J. C. van Gemund |
On the Performance of Fault Screeners in Software Development and Deployment.  |
ENASE  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Rui Abreu, Alberto González 0002, Peter Zoeteweij, Arjan J. C. van Gemund |
Automatic software fault localization using generic program invariants.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
black box diagnosis, error detection, fault localization, program invariants, program spectra |
| 1 | Peter Zoeteweij, Jurryt Pietersma, Rui Abreu, Alexander Feldman, Arjan J. C. van Gemund |
Automated Fault Diagnosis in Embedded Systems.  |
SSIRI  |
2008 |
DBLP DOI BibTeX RDF |
embedded systems, dependability, diagnosis |
| 1 | Krzysztof R. Apt, Peter Zoeteweij |
An Analysis of Arithmetic Constraints on Integer Intervals.  |
Constraints  |
2007 |
DBLP DOI BibTeX RDF |
Arithmetic constraints, Integer interval arithmetic, Constraint propagation, Local consistency |
| 1 | Peter Zoeteweij, Rui Abreu, Rob Golsteijn, Arjan J. C. van Gemund |
Diagnosis of Embedded Software Using Program Spectra.  |
ECBS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
Program Spectra Analysis in Embedded Software: A Case Study  |
CoRR  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Peter Zoeteweij |
An Analysis of Arithmetic Constraints on Integer Intervals  |
CoRR  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
An Evaluation of Similarity Coefficients for Software Fault Localization.  |
PRDC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Peter Zoeteweij |
A Comparative Study of Arithmetic Constraints on Integer Intervals  |
CoRR  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Peter Zoeteweij, Farhad Arbab |
A Component-Based Parallel Constraint Solver.  |
COORDINATION  |
2004 |
DBLP DOI BibTeX RDF |
parallelization, coordination, constraint solving, component-based software engineering |
| 1 | Peter Zoeteweij |
Constraining Special-Purpose Domain Types.  |
CP  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Zoeteweij |
Coordination-Based Distributed Constraint Solving in DICE.  |
SAC  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Peter Zoeteweij |
A Comparative Study of Arithmetic Constraints on Integer Intervals.  |
CSCLP  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Zoeteweij |
OpenSolver: A Coordination-Enabled Abstract Branch-and-Prune Tree Search Engine.  |
CP  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Zoeteweij |
A Coordination-Based Framework for Distributed Constraint Solving.  |
International Workshop on Constraint Solving and Constraint Logic Programming  |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|