Old homepage of Peter Zoeteweij

I am no longer a postdoctoral researcher in

where I worked in the Trader project of the Embedded Systems Institute. Details of my current professional whereabouts can be found on LinkedIn.

Contact

My gmail address can be constructed by inserting a dot between my first name and last name, and appending the obvious postfix.

PhD Thesis

Composing Constraint Solvers [pdf] [ps.gz] P. Zoeteweij. Composing Constraint Solvers. IPA Dissertation Series 2005-18.

I was a PhD student of Krzysztof Apt and Farhad Arbab at CWI, and defended my thesis on 29 November 2005 at the University of Amsterdam.

Papers

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

[pdf] [ps.gz] R. Abreu, P. Zoeteweij, A.J.C. van Gemund. An Observation-based Model for Fault Localization. In Proceedings of the 6th Workshop on Dynamic Analysis (WODA'08), colocated with the International Symposium on Software Testing and Analysis (ISSTA'08), Seattle, WA, USA, July 2008, pages 64-70. © ACM Press, 2008.

[pdf] [ps.gz] P. Zoeteweij, J. Pietersma, R. Abreu, A. Feldman, A.J.C. van Gemund. Automated Fault Diagnosis in Embedded Systems. In Proceedings of the 2nd IEEE International Conference on Secure Systems Integration and Reliability Improvement (SSIRI'08), Yokohama, Japan, July 2008, pages 103-110. © IEEE, 2008.

[pdf] [ps.gz] R. Abreu, A. González, P. Zoeteweij, A.J.C. van Gemund. Automatic Software Fault Localization Using Generic Program Invariants. In Proceedings of the 2008 ACM Symposium on Applied Computing (SAC'08), Fortaleze, Ceará, Brazil, March 2008, pages 712-717. © ACM Press, 2008.

[pdf] [ps.gz] K.R. Apt, P. Zoeteweij. An Analysis of Arithmetic Constraints on Integer Intervals. Constraints, Volume 12, Number 4, December 2007, pages 429-468, © Springer-Verlag, 2007.

[pdf] [ps.gz] R. Abreu, P. Zoeteweij, A.J.C. van Gemund. On the Accuracy of Spectrum-based Fault Localization. In Proceedings of Testing: Academia and Industry Conference - Practice and Research Techniques (TAIC PART'07), Windsor, UK, September 2007, pages 89 - 98. © IEEE, 2007.

[pdf] [ps.gz] P. Zoeteweij, R. Abreu, A.J.C. van Gemund. Software Fault Diagnosis. Tutorial at TESTCOM / FATES 2007. Here are the slides: [pdf]. The example programs can be found here.

[pdf] [ps.gz] P. Zoeteweij, R. Abreu, R. Golsteijn, A.J.C. van Gemund. Diagnosis of Embedded Software using Program Spectra. In Proceedings of the 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'07), Tucson, AZ, USA, March 2007, pages 213-218. © IEEE, 2007.

[pdf] [ps.gz] R. Abreu, P. Zoeteweij, A.J.C. van Gemund. An Evaluation of Similarity Coefficients for Software Fault Localization. In Proceedings of the 12th IEEE Pacific Rim Symposium on Dependable Computing (PRDC'06), Riverside, CA, USA, December 2006, pages 39-46. © IEEE, 2006.

[pdf] [ps.gz] P. Zoeteweij. Towards Component-Based Cooperative Constraint Solving. Presented at the COSOLV'2005 Workshop on Cooperative Solvers in Constraint Programming, held in conjunction with CP 2005, Sitges, Spain, October 2005.

[pdf] [ps.gz] P. Zoeteweij. Applications of Nested Search. Presented at the ERCIM/CologNet Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 2004.

[pdf] [ps.gz] P. Zoeteweij and F. Arbab. A Component-Based Parallel Constraint Solver. In R. De Nicola, G. Ferrari, and G. Meredith (Eds.) Coordination Models and Languages, Proceedings of COORDINATION 2004, Pisa, Italy, February 2004. LNCS 2949, pages 307-322. © Springer-Verlag, 2004.

[pdf] [ps.gz] K.R. Apt and P. Zoeteweij. A Comparative Study of Arithmetic Constraints on Integer Intervals. In K.R. Apt, F. Fages, F. Rossi, P. Szeredi, and J. Váncza (Eds.) Recent Advances in Constraints, Selected papers of the ERCIM/CologNet Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, LNAI 3010, pages 1-24. © Springer-Verlag, 2004.

[pdf] [ps.gz] P. Zoeteweij. OpenSolver: a Coordination-Enabled Abstract Branch-and-Prune Tree Search Engine (abstract). In F. Rossi (Ed.) Principles and Practice of Constraint Programming, Proceedings of CP 2003, Kinsale, Ireland, September/October 2003, LNCS 2833, page 1002. © Springer-Verlag, 2003.

[pdf] [ps.gz] P. Zoeteweij. Coordination-Based Distributed Constraint Solving in DICE. In Proceedings of the 2003 ACM Symposium on Applied Computing, Melbourne, Florida, USA, March 9-12, 2003, pages 360-366. © ACM Press, 2003.

[pdf] [ps.gz] P. Zoeteweij. Coordination-Based Solver Cooperation in DICE. Presented at the COSOLV'2002 Workshop on Cooperative Solvers in Constraint Programming, held in conjunction with CP 2002, Ithaca, NY, USA, September 2002.

[pdf] [ps.gz] P. Zoeteweij. A Coordination-Based Framework for Distributed Constraint Solving. In Barry O'Sullivan (Ed.) Recent Advances in Constraints, Selected papers of the ERCIM/CologNet Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 2002, LNAI 2627, pages 171-184. © Springer-Verlag, 2003.