Publications

2011

Alberto Gonzalez-Sanchez and Rui Abreu and Hans-Gerhard Gross and Arjan J.C. van Gemund (2011). Prioritizing Tests for Fault Localization through Ambiguity Group Reduction. In P. Alexander and C. Pasareanu and J. Hosking (Eds.), Proceedings of the 26th International Conference on Automated Software Engineering (ASE'11), pp. 83-92. IEEE. [ Bibtex ]

Alberto Gonzalez-Sanchez and Eric Piel and Hans-Gerhard Gross and Arjan J.C. van Gemund (2011). A Runtime Testability Metric for Dynamic High-Availability Component-based Systems. Journal On Advances in Systems and Measurements 4(1&2):122-134. [ Bibtex ]

Alberto Gonzalez-Sanchez and Rui Abreu and Hans-Gerhard Gross and Arjan J.C. van Gemund (2011). Spectrum-based Sequential Diagnosis. In Proceedings of the 25th AAAI International Conference on Artificial Intelligence (AAAI'11), pp. 189--196. [ Bibtex ]

Rui Abreu, Alberto Gonzalez-Sanchez, Arjan J.C. van Gemund (2011). A Diagnostic Reasoning Approach to Defect Prediction. In K.C. Mehrotra et al. (Eds.), Proceedings of the Twenty-fourth International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2011), pp. 416 - 425. Lecture Notes on Artificial Intelligence 6704, Springer-Verlag. [ Bibtex ]

Alberto Gonzalez-Sanchez and Hans-Gerhard Gross and Arjan J.C. van Gemund (2011). Modeling the Diagnostic Efficiency of Regression Test Suites. In Proceedings of the 1st Workshop on Testing & Debugging (TeBug'11), pp. 634-643. IEEE Computer Society. [ Bibtex ]

Alberto Gonzalez-Sanchez and Eric Piel and Hans-Gerhard Gross and Arjan J.C. van Gemund (2011). A Diagnostic Point of View for the Optimization of Preparation Costs in Runtime Testing. In Proceedings of the 1st Workshop on Testing & Debugging (TeBug'11), pp. 654-660. IEEE Computer Society. [ Bibtex ]

Alberto Gonzalez-Sanchez and Eric Piel and Rui Abreu and Hans-Gerhard Gross and Arjan J.C. van Gemund (2011). Prioritizing Tests for Software Fault Localization. Software: Practice and Experience 41(10):1105-1129. [ Bibtex ]

Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J.C. van Gemund (2011). An Empirical Study on the Usage of Testability Information to Fault Localization in Software. In International Symposium on Applied Computing (SAC'11), pp. 1398-1403. ACM Press. [ Bibtex ]

2010

Alberto Gonzalez-Sanchez and Rui Abreu and Hans-Gerhard Gross and Arjan J.C. van Gemund (2010). Spectrum-Based Sequential Diagnosis. In S. Poll and J. de Kleer and I. Roychoudhury and M. Daigle (Eds.), 21st International Workshop on the Principles of Diagnosis (DX'10), pp. 55-62, Portland, USA. PHM Society. [ Bibtex ]

Rui Abreu and Alberto Gonzalez-Sanchez and Arjan van Gemund (2010). Exploiting Count Spectra for Bayesian Fault Localization. In PROMISE'10: 6th International Conference on Predictive Models in Software Engineering, pp. 1-10, Timisoara, Romania. ACM Press. [ Bibtex ]

Alberto Gonzalez-Sanchez and Eric Piel and Hans-Gerhard Gross and Arjan J.C. van Gemund (2010). Runtime Testability in Dynamic High-Availability Component-Based Systems. In VALID'10: 2nd International Conference on Advances in System Testing and Validation Lifecycle, pp. 37-42, Nice, France. IEEE Computer Society. [ Bibtex ]

Alberto Gonzalez-Sanchez and Eric Piel and Hans-Gerhard Gross and Arjan J.C. van Gemund (2010). Minimising the Preparation Cost of Runtime Testing based on Testability Metrics. In 34th Annual IEEE Computer Software and Applications Conference (COMPSAC'10), pp. 419--424, Seoul, South Korea. IEEE Computer Society. [ Bibtex ]

Alberto Gonzalez-Sanchez and Eric Piel and Hans-Gerhard Gross and Arjan J.C. van Gemund (2010). Prioritizing Tests for Software Fault Localization. In QSIC'10: 10th International Conference in Quality Software, pp. 42--51, Zhangjiajie, China. IEEE Computer Society. [ Bibtex ]

Eric Piel, Alberto Gonzalez-Sanchez and Hans-Gerhard Gross (2010). Built-in Data-flow Integration Testing in Large-Scale Component-Based Systems. In 22nd IFIP International Conference on Testing Software and Systems, pp. 79--94, Natal, Brazil. Springer. [ Bibtex ]

Eric Piel and Alberto Gonzalez-Sanchez and Hans-Gerhard Gross (2010). In Annika M. Hinze and Alejandro Buchmann (Eds.) Principles and Applications of Distributed Event-Based Systems, Ch. Automating Integration Testing of Large-Scale Publish/Subscribe Systems, pp. 140 -- 163. IGI Global. [ Bibtex ]

2009

Alberto Gonzalez-Sanchez, Eric Piel, Hans-Gerhard Gross (2009). RiTMO: A Method for Runtime Testability Measurement and Optimisation. In QSIC'09: 9th International Conference in Quality Software, pp. 377--382, Jeju, South Korea. IEEE Computer Society. [ Bibtex ]

Teemu Kanstrén and Eric Piel and Alberto Gonzalez Sanchez and Hans-Gerhard Gross (2009). Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach. In Achim Wagner (Eds.), Workshop Design of Dependable Critical Systems, pp. 1-8, Hamburg, Germany. [ Bibtex ]

Alberto Gonzalez Sanchez and Eric Piel and Hans-Gerhard Gross (2009). A Model for the Measurement of the Runtime Testability of Component-Based Systems. In IEEE (Eds.), Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops, pp. 19-28, Denver, USA. IEEE Computer Society. [ Bibtex ]

Eric Piel and Alberto Gonzalez Sanchez (2009). Data-flow integration testing adapted to runtime evolution in component-based systems. In Hans-Gerhard Gross and Marco Lormans and Jan Tretmans (Eds.), Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime, pp. 3-10, Amsterdam, The Netherlands. Association for Computing Machinery. [ Bibtex ]

2008

Alberto Gonzalez and E.A.B. Piel and H.-G. Gross (2008). Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems. In Mauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Ploni, Onn Sheory (Eds.), Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference on, pp. 41--48, L'Aquila, Italy. IEEE Computer Society. [ Bibtex ]

Alberto Gonzalez and E.A.B. Piel and H.-G. Gross and M. Glandrup (2008). Testing Challenges of Maritime Safety and Security Systems of Systems. In Marc Roper (Eds.), Testing: Academic and Industrial Conference. Practice and Research Techniques, pp. 35-38, Windsor, United Kingdom. IEEE Computer Society. [ Bibtex ]

Rui Abreu and Alberto Gonzalez and Peter Zoeteweij and Arjan J.C. van Gemund (2008). On the Performance of Fault Screeners in Software Development and Deployment. In Cesar Gonzalez-Perez and Stefan Jablonski (Eds.), 3rd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'08), pp. 123-130. INSTICC Press. [ Bibtex ]

Rui Abreu and Alberto Gonzalez and Peter Zoeteweij and Arjan J.C. van Gemund (2008). Automatic Software Fault Localization using Generic Program Invariants. In Roger L. Wainwright and Hisham Haddad (Eds.), 23rd Annual ACM Symposium on Applied Computing (SAC'08), pp. 712-717. ACM Press. [ Bibtex ]

Disclaimer: 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.