| 2012 |
|
- C. Pronk (2012). Model Checking, the Technology and the Tools. In Control and Computer Tecnology in the Future Application, pp. 2, Bandung, Indonesia. IEEE.
[ Bibtex ]
|
|
|
|
- Anja Guzzi and Andrew Begel (2012). Facilitating communication between engineers with CARES. In Companion Proceedings of the 34nd International Conference on Software Engineering (ICSE'12, Demo Track), pp. 1367-1370.
[ Bibtex ]
|
- Anja Guzzi (2012). Documenting and sharing knowledge about code. In Companion Proceedings of the 34nd International Conference on Software Engineering (ICSE'12, Doctoral Symposium), pp. 1535-1538.
[ Bibtex ]
|
- Anja Guzzi and Andrew Begel and Jessica K. Miller and Krishna Nareddy (2012). Facilitating enterprise software developer communication with CARES. In Proceedings of the 28th IEEE International Conference on Software Maintenance (ICSM '12, Industrial Track), pp. 527-536.
[ Bibtex ]
|
- Georgios Gousios and Diomidis Spinellis (2012). GHTorrent: GitHub's Data from a Firehose. In Michael W. Godfrey and Jim Whitehead (Eds.), MSR '12: Proceedings of the 9th Working Conference on Mining Software Repositories, pp. 31--40, Zurich, Switzerland. ACM.
[ Bibtex ]
|
- Panos Louridas and Georgios Gousios (2012). A note on rigour and replicability. SIGSOFT Softw. Eng. Notes 37(5):1--4.
[ Bibtex ]
|
|
|
|
|
|
|
|
|
|
- Gabri"el D. P. Konat and Vlad A. Vergu and Lennart C. L. Kats and Guido Wachsmuth and Eelco Visser (2012). The Spoofax name binding language. In Gary T. Leavens (Eds.), Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '12, Tucson, AZ, USA, October 21-25, 2012, pp. 79-80. ACM.
[ Bibtex ]
|
|
|
|
- Erik Meijer (2012). All Your Database Are Belong to Us. ACM Queue 10(7).
[ Bibtex ]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- Kanstren, Teemu and Piel, Eric and Gross, Hans-Gerhard (2012). Using Reverse-Engineered Test-Based Models to Generate More Tests: Where is the Sense in That?. In 9th International Conference on Information Technology: New Generation, pp. 247 -- 252, Las Vegas, NV. IEEE Computer Society.
[ Bibtex ]
|
- Boomsma, Hidde and Gross, Hans-Gerhard (2012). Dead Code Elimination for Web Systems written in PHP: Lessons Learned from an Industry Case. In 28th International Conference on Software Maintenance. IEEE Computer Society.
[ Bibtex ]
|
|
|
|
|
|
- A. Gonzalez-Sanchez and E. Piel and R. Abreu and H-G. Gross and A.J.C. van Gemund (2012). In P. van de Laar, J. Tretmans, M. Borth (Eds.) Situation Awareness with Systems of Systems, Ch. Prioritizing Tests for Fault Localization, pp. 251-261. Springer.
[ Bibtex ]
|
- E. Piel and A. Gonzalez-Sanchez and H-G. Gross and A.J.C. van Gemund (2012). In P. van de Laar and J. Tretmans and M. Borth (Eds.) Situation Awareness with Systems of Systems, Ch. Online Fault Localization and Health Monitoring for Software Systems, pp. 233-250. Springer.
[ Bibtex ]
|
|
|
|
|
|
- Emanuel Giger, Marco D'Ambros, Martin Pinzger, and Harald C. Gall (2012). Method-Level Bug Prediction. In Proceedings of the International Symposium on Empirical Software Engineering and Measurement (ESEM), pp. 171-180, Lund, Sweden. IEEE Computer Society.
[ Bibtex ]
|
|
|
|
|
|
- Tiago Espinha and Cuiting Chen and Andy Zaidman and Hans-Gerhard Gross (2012). Maintenance Research in SOA - Towards a Standard Case Study. In Tom Mens and Anthony Cleve and Rudolf Ferenc (Eds.), Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), pp. 391-396. IEEE Computer Society.
[ Bibtex ]
|
|
|
|
|
|
- Michaela Greiler, Arie van Deursen, Margaret-Anne Storey (2012). Test Confessions: A Study of Testing Practices for Plug-in Systems. In International Conference on Software Engineering (ICSE), Switzerland.
[ Bibtex ]
|
| 2011 |
|
|
|
|
|
|
|
|
- Martin Pinzger, Denys Poshyvanyk, Jim Buckley (Eds.) (2011). Proceedings of the 18th Working Conference on Reverse Engineering, IEEE Computer Society.
[ Bibtex ]
|
|
|
|
|
|
|
- Sebastian Erdweg and Lennart C. L. Kats and Tillmann Rendel and Christian K"astner and Klaus Ostermann and Eelco Visser (2011). SugarJ: library-based language extensibility. In Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, pp. 187-188. ACM.
[ Bibtex ]
|
|
|
|
- Zef Hemel and Eelco Visser (2011). Mobl: the new language of the mobile web. In Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, pp. 23-24. ACM.
[ Bibtex ]
|
- Sebastian Erdweg and Lennart C. L. Kats and Tillmann Rendel and Christian K"astner and Klaus Ostermann and Eelco Visser (2011). Library-based model-driven software development with SugarJ. In Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, pp. 17-18. ACM.
[ Bibtex ]
|
|
- Lennart C. L. Kats and Rob Vermaas and Eelco Visser (2011). Testing domain-specific languages. In Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, pp. 25-26. ACM.
[ Bibtex ]
|
|
|
|
|
|
- Sebastian Erdweg and Lennart C. L. Kats and Tillmann Rendel and Christian K"astner and Klaus Ostermann and Eelco Visser (2011). SugarJ: library-based language extensibility. In Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, pp. 187-188. ACM.
[ Bibtex ]
|
- B. de Vos; L.C.L. Kats; C. Pronk (2011). EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax. In A. Groce; M. Musurvathi (Eds.), Model Checking Software, pp. 177-182. LNCS 6823, Springer Verlag.
[ Bibtex ]
|
|
|
|
|
|
|
|
- A. Gonzalez-Sanchez and H-G. Gross and A.J.C. van Gemund (2011). Performance Modeling of Sequential Diagnosis Algorithms. In M. Sachenbacher and O. Dressler and M. Hofbaur (Eds.), Proc. 22nd Int'l Workshop on the Principles of Diagnosis (DX'11), pp. 106-113, Murnau, Germany. TU Munich.
[ Bibtex ]
|
- A. Gonzalez-Sanchez and R. Abreu and H-G. Gross and A.J.C. van Gemund (2011). RAPTOR: Greedy Diagnostic Prioritization by Ambiguity Group Reduction. In M. Sachenbacher and O. Dressler and M. Hofbaur (Eds.), Proc. 22nd Int'l Workshop on the Principles of Diagnosis (DX'11), pp. 84-91, Murnau, Germany. TU Munich.
[ Bibtex ]
|
|
|
|
|
|
|
|
|
|
- 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 ]
|
|
- E. Piel and A. Gonzalez-Sanchez and H-G. Gross and Arjan J.C. Van Gemund (2011). Spectrum-based Health Monitoring for Self-Adaptive Systems. In 5th IEEE Int'l Conference on Self-Adaptive and Self-Organizing Systems (SASO'11), pp. 99-108. IEEE Computer Society.
[ Bibtex ]
|
|
|
- Andy Zaidman and Johan Brichau (2011). Preface to the Special Issue on Software Evolution, Adaptability and Variability. Science of Computer Programming 76(12):1075-1077.
[ 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 ]
|
|
|
|
|
- Lennart C. L. Kats and Karl Trygve Kalleberg and Eelco Visser (2011). Interactive Disambiguation of Meta Programs with Concrete Object Syntax. In Mark van den Brand and Brian Malloy and Steffen Staab (Eds.), Software Language Engineering, Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers, pp. 327--336. Lecture Notes in Computer Science 6563, Springer.
[ Bibtex ]
|
- Markus Herrmannsdörfer and Sander Vermolen and Guido Wachsmuth (2011). An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models. In Mark van den Brand and Brian Malloy and Steffen Staab (Eds.), Software Language Engineering, Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers. Lecture Notes in Computer Science, Springer.
[ Bibtex ]
|
|
- Ali Mesbah and Mukul Prasad (2011). Automated Cross-Browser Compatibility Testing. In Proceedings of the 33rd ACM/IEEE International Conference on Software Engineering (ICSE'11), Honolulu, Hawaii. ACM.
[ Bibtex ]
|
|
|
|
|