Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Zoeteweij, Peter - Elektrotechniek, Wiskunde en Informatica, Technische Universiteit Delft
Diagnosis of Embedded Software using Program Spectra Peter Zoeteweij1
On the Accuracy of Spectrumbased Fault Localization # Rui Abreu Peter Zoeteweij Arjan J.C. van Gemund
OpenSolver: a Coordination-Enabled Abstract Branch-and-Prune Tree Search Engine
Towards Component-Based Cooperative Constraint Solving
Automated Fault Diagnosis in Embedded Systems Peter Zoeteweij Jurryt Pietersma Rui Abreu Alexander Feldman
CoordinationBased Distributed Constraint Solving in DICE Peter Zoeteweij
Automatic Software Fault Localization using Generic Program Invariants #
Diagnosis of Embedded Software using Program Spectra # Peter Zoeteweij 1 Rui Abreu 1 Rob Golsteijn 2 Arjan J.C. van Gemund 1
Automated Fault Diagnosis in Embedded Systems # Peter Zoeteweij Jurryt Pietersma Rui Abreu Alexander Feldman
Towards ComponentBased Cooperative Constraint Solving
OpenSolver: a CoordinationEnabled Abstract BranchandPrune Tree Search Engine
An Analysis of Arithmetic Constraints on Integer Krzysztof R. Apt
CoordinationBased Solver Cooperation in DICE Peter Zoeteweij
Composing Constraint Solvers IPA Dissertation Series 200518
A ComponentBased Parallel Constraint Solver Peter Zoeteweij # and Farhad Arbab
Composing Constraint Solvers IPA Dissertation Series 2005-18
An Observationbased Model for Fault Localization # Rui Abreu Peter Zoeteweij Arjan J.C. van Gemund
An Observation-based Model for Fault Localization Rui Abreu Peter Zoeteweij Arjan J.C. van Gemund
An Evaluation of Similarity Coefficients for Software Fault Localization #
An Evaluation of Similarity Coefficients for Software Fault Localization
On the Accuracy of Spectrum-based Fault Localization Rui Abreu Peter Zoeteweij Arjan J.C. van Gemund
Automatic Software Fault Localization using Generic Program Invariants
Software Fault Diagnosis Peter Zoeteweij # , Rui Abreu, and Arjan J.C. van Gemund
Applications of Nested Search # Peter Zoeteweij
A CoordinationBased Framework for Distributed Constraint Solving
A Coordination-Based Framework for Distributed Constraint Solving
Software Fault Diagnosis Peter Zoeteweij
Coordination-Based Distributed Constraint Solving in DICE Peter Zoeteweij
A Comparative Study of Arithmetic Constraints on Integer Intervals
An Analysis of Arithmetic Constraints on Integer Krzysztof R. Apt
Applications of Nested Search Peter Zoeteweij
A Component-Based Parallel Constraint Solver Peter Zoeteweij and Farhad Arbab
A Comparative Study of Arithmetic Constraints on Integer Intervals
Coordination-Based Solver Cooperation in DICE Peter Zoeteweij
