Skip to topic | Skip to bottom


Home

Main
Main.ScientificPublicationsr1.1 - 19 Mar 2017 - 11:32 - TWikiGuest

Start of topic | Skip to actions

Publications


Technical Reports

The SERG Technical Reports series contains open access preprints of our publications, as well as longer versions including detailed appendices. The series was started in 2006.

TU Delft Pure Database

TU Delft has recently adopted Elsevier Pure for storing (preprints of) all publications authored by TU Delft employees. We are in the process of populating Elsevier Pure, resulting in the current list of Software Engineering publications in Pure.

Publications in bibliography server

Our bibliography server contains all our publications since 2006, and most of our publications since 2004. For earlier publications, consult the individual pages of the People Involved.

2017
  • Moritz Beller and Georgios Gousios and Andy Zaidman (2017). TravisTorrent: Synthesizing Travis CI and GitHub for Full-Stack Research on Continuous Integration. In Proceedings of the 14th Working Conference on Mining Software Repositories, pp. 447--450, Buenos Aires, Argentina. MSR'17, IEEE press. [ Bibtex ]
  • Moritz Beller and Georgios Gousios and Andy Zaidman (2017). Oops, My Tests Broke the Build: An Explorative Analysis of Travis CI with GitHub. In Proceedings of the 14th Working Conference on Mining Software Repositories, pp. 356--367, Buenos Aires, Argentina. MSR'17, IEEE press. [ Bibtex ]
  • Riivo Kikas and Georgios Gousios and Marlon Dumas and Dietmar Pfahl (2017). Structure and Evolution of Package Dependency Networks. In Proceedings of the 14th Working Conference on Mining Software Repositories, pp. 102--112, Buenos Aires, Argentina. MSR '17, IEEE press. [ Bibtex ]
2016
  • Valentin Rothberg and Nicolas Dintzner and Andreas Ziegler and Daniel Lohmann (2016). Feature models in Linux - From symbols to semantics. In Proceedings - VaMoS 2016: 10th International Workshop on Variability Modelling of Software-Intensive Systems, pp. 65--72. Association for Computing Machinery. [ Bibtex ]
  • Baishakhi Ray and Vincent Hellendoorn and Saheel Godhane and Zhaopeng Tu and Alberto Bacchelli and Premkumar Devanbu (2016). On the naturalness of buggy code. In Proceedings of the 38th IEEE International Conference on Software Engineering, pp. 428--439. Association for Computing Machinery. [ Bibtex ]
  • Marieke Huisman and Herbert Bos and Sjaak Brinkkemper and van Deursen, Arie and Groote, Jan Friso and Patricia Lago and van de Pol, Jaco and Eelco Visser (2016). Software that meets its intent. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings, pp. 609--625. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9953 LNCS, Springer Verlag. [ Bibtex ]
2015
  • M Dias and A Bacchelli and G Gousios and D Cassou and S Ducasse (2015). Untangling fine-grained code changes. In YG Guéhéneuc and B Adams and A Serebrenik (Eds.), Proceedings - 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, pp. 341--350. IEEE society. [ Bibtex ]
  • A.A. Sawant and A Bacchelli (2015). A Dataset for API Usage. In Di Penta, M and M Pinzger and R Robbes (Eds.), Proceedings of the 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories (MSR, pp. 506--509. IEEE society. [ Bibtex ]
  • Tiago Espinha and Andy Zaidman and Hans-Gerhard Gross (2015). Web API Fragility: How Robust Is Your Mobile Application?. In Proceedings of the 2nd International Conference on Mobile Software Engineering and Systems (MOBILESoft), pp. 12-21. IEEE. [ Bibtex ]
  • Tiago Espinha and Andy Zaidman and Hans-Gerhard Gross. (2015). Web API Growing Pains: Loosely Coupled Yet Strongly Tied. Journal of Systems and Software (JSS) 100(2):27-43. [ Bibtex ]
  • Felienne Hermans and Tijs van der Storm (2015). Copy-Paste Tracking: Fixing Spreadsheets Without Breaking Them. In Proceedings of the 1st International Conference on Live Coding. [ Bibtex ]
  • Bas Jansen (2015). Enron versus EUSES: A Comparison of Two Spreadsheet Corpora. In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets, Florence, Italy. [ Bibtex ]
  • Felienne Hermans and Emerson Murphy-Hill (2015). Enron's Spreadsheets and Related Emails: A Dataset and Analysis. In Proceedings of ICSE '15. IEEE. [ Bibtex ]
2014
  • Tiago Espinha and Andy Zaidman and Hans-Gerhard Gross (2014). Web API Growing Pains: Stories from Client Developers and Their Code. In Proceedings of the joint meeting of the Conference on Software Maintenance and Reengineering and the Working Conference on Reverse Engineering (CSMR-WCRE), pp. 84-93. IEEE Computer Society. [ Bibtex ]
  • Steven Raemaekers, Arie van Deursen, Joost Visser (2014). Semantic versioning versus breaking changes: a study of the Maven Repository. In Source Code Analysis and Manipulation (SCAM), 14th International Working Conference on Source Code Analysis and Manipulation, pp. 215 - 224, Victoria, BC, Canada. IEEE. [ Bibtex ]
  • Eric Bouwers, Arie van Deursen, Joost Visser (2014). Quantifying the Encapsulation of Implemented Software Architectures. In Proceedings 30th International Conference on Software Maintenance and Evolution, pp. 211 - 220, Victoria, BC. IEEE. [ Bibtex ]
  • Eric Bouwers, Arie van Deursen, Joost Visser (2014). Towards a catalog format for software metrics. In WETSoM 2014 Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics, pp. 44 - 47, Hyderabad, India. ACM New York. [ Bibtex ]
  • Alex Nederlof, Ali Mesbah, Arie van Deursen (2014). Software engineering for the web: the state of the practice. In ICSE Companion 2014 Companion Proceedings of the 36th International Conference on Software Engineering, pp. 4 - 13, Hyderabad, India. ACM New York. [ Bibtex ]
  • Michael W. Godfrey, Arie van Deursen (2014). Special Issue on program comprehension.. Empirical Software Engineering 9(5):1259 - 1260. [ Bibtex ]
  • Bas Jansen and Felienne Hermans (2014). Using a Visual Language to Create Better Spreadsheets. Software Engineering Methods in Spreadsheets. [ Bibtex ]
  • Joeri van Veen and Felienne Hermans (2014). Anonymizing Spreadsheet Data and Metadata with AnonymousXL. Software Engineering Methods in Spreadsheets. [ Bibtex ]
  • Eirini Kalliamvakou and Georgios Gousios and Kelly Blincoe and Leif Singer and Daniel M. German and Daniela Damian (2014). The Promises and Perils of Mining GitHub. In Proceedings of the 11th Working Conference on Mining Software Repositories, pp. 92--101, Hyderabad, India. MSR 2014, ACM. [ Bibtex ]
  • Georgios Gousios and Andy Zaidman and Margaret-Anne Storey and Arie Van Deursen (2014). Work practices and challenges in pull-based development: the integrator's perspective. Technical Report TUD-SERG-2014-013, Delft University of Technology, Software Engineering Research Group. [ Bibtex ]
  • Dimitris Mitropoulos and Georgios Gousios and Panagiotis Papadopoulos and Vassilios Karakoidas and Panos Louridas and Diomidis Spinellis (2014). The Vulnerability Dataset of a Large Software Ecosystem. In Proceedings of the 3rd International Workshop on Building Analysis Datasets and Gathering Experience Returns for Security, Wroclaw, Poland. IEEE Computer Society. [ Bibtex ]
  • Dimitris Mitropoulos and Vassilios Karakoidas and Panos Louridas and Georgios Gousios and Spinellis, Diomidis (2014). The Bug Catalog of the Maven Ecosystem. In Proceedings of the 11th Working Conference on Mining Software Repositories, pp. 372--375, Hyderabad, India. MSR 2014, ACM. [ Bibtex ]
  • Daco Harkes (2014). Relations: a first class relationship and first class derivations programming language. In Walter Binder and Erik Ernst and Achille Peternier and Robert Hirschfeld (Eds.), 13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014, pp. 9-10. ACM. [ Bibtex ]
  • Cor-Paul Bezemer (2014). Performance Optimization of Multi-Tenant Software Systems. PhD Thesis, SERG. [ Bibtex ]
  • Hsiao Hui Mui and Andy Zaidman and Martin Pinzger (2014). Studying Late Propagations in Code Clone Evolution Using Software Repository Mining. In Proceedings of the 8th International Workshop on Software Clones (IWSC 2014). [ Bibtex ]
2013
  • van Gameren, Ben and van Solingen, Rini (2013). When to interrupt global software engineers to provide them with what information?. In Collaborative Computing: Networking, Applications and Worksharing (Collaboratecom), 2013 9th International Conference Conference on, pp. 495-504. [ Bibtex ]
  • Felienne Hermans (2013). Improving Spreadsheet Test Practices. In Center for Advanced Studies on Collaborative Research, CASCON. IBM / ACM. [ Bibtex ]
  • Markus Herrmannsdörfer and Guido Wachsmuth (2013). In Tom Mens and Alexander Serebrenik and Anthony Cleve (Eds.) Evolving Software Systems, Ch. Coupled Evolution of Software Metamodels and Models. Springer. [ Bibtex ]
  • Sebastian Erdweg and Tijs van der Storm and Markus Völter and Meinte Boersma and Remi Bosman and William R. Cook and Albert Gerritsen and Angelo Hulshout and Steven Kelly and Alex Loh and Gabriël D. P. Konat and Pedro J. Molina and Martin Palatnik and Ri (2013). The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge. In Martin Erwig and Richard F. Paige and Eric Van Wyk (Eds.), Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings, pp. 197-217. Lecture Notes in Computer Science 8225, Springer. [ Bibtex ]
  • Georgios Gousios (2013). The GHTorrent dataset and tool suite. In MSR '13: Proceedings of the 9th Working Conference on Mining Software Repositories, San Francisco, CA. [ Bibtex ]
  • Dimitris Mitropoulos and Vassilios Karakoidas and Panos Louridas and Georgios Gousios and Diomidis Spinellis (2013). Dismal Code: Studying the Evolution of Security Bugs. In LASER '13: Proceedings of the 2013 Workshop on Learning from Authoritative Security Experiment Results, Washington D.C., VA. [ Bibtex ]
  • Georgios Gousios and Diomidis Spinellis (2013). Conducting Quantitative Software Engineering Studies with Alitheia Core. Empirical Software Engineering. [ Bibtex ]
2012
  • Cuiting Chen, Hans-Gerhard Gross and Andy Zaidman (2012). Spectrum-based fault diagnosis for service-oriented software systems. In In Proceedings of 5th IEEE International Conference on Service-Oriented Computing and Applications (SOCA), pp. 1--8. [ Bibtex ]
  • Gabriël D. P. Konat and Lennart C. L. Kats and Guido Wachsmuth and Eelco Visser (2012). Declarative Name Binding and Scope Rules. In Krzysztof Czarnecki and Görel Hedin (Eds.), Software Language Engineering, 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers, pp. 311-331. Lecture Notes in Computer Science 7745, [ Bibtex ]
  • 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 ]
  • 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 ]
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 ]
  • 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 ]
2010
  • Lennart C. L. Kats and Eelco Visser (2010). The Spoofax language workbench. In William R. Cook and Siobh (Eds.), Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA, pp. 237-238. ACM. [ Bibtex ]
  • Giuliano Antoniol, Martin Pinzger, Elliot Chikofsky (Eds.) (2010). Proceedings of the 17th Working Conference on Reverse Engineering, IEEE Computer Society. [ Bibtex ]
  • Markus Herrmannsdoerfer and Sander D. Vermolen and Guido Wachsmuth (2010). 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 ]
  • Sander D. Vermolen and Jozef Hooman and Peter Gorm Larsen (2010). Proving consistency of VDM models using HOL. In Sung Y. Shin and Sascha Ossowski and Michael Schumacher and Mathew J. Palakal and Chih-Cheng Hung (Eds.), Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2503-2510. ACM. [ Bibtex ]
  • R. Abreu and A. Gonzalez-Sanchez and P. Zoeteweij and A.J.C. van Gemund (2010). Using Fault Screeners for Software Error Detection. In J. Cordeiro, L.A. Maciaszek, S. Hammoudi and J. Filipe (Eds.), WEBIST / ENASE 2008 Revised Best Papers, pp. 60-74. Springer. [ Bibtex ]
  • A. van Deursen (2010). A Pragmatic Perspective on Software Visualization. In Proceedings 5th International IEEE/ACM Symposium on Software Visualization, SoftVis 2010, pp. 1-2. ACM. [ 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 ]
  • Emanuel Giger and Martin Pinzger and Harald C. Gall (2010). Predicting the Fix Time of Bugs. In Reid Holmes and Martin P. Robillard and Robert J. Walker and Thomas Zimmermann (Eds.), Proceedings of the International Workshop on Recommendation Systems for Software Engineering (RSSE), pp. 52-56. ACM. [ Bibtex ]
  • Patrick Knab and Martin Pinzger and Harald C. Gall (2010). Visual Patterns in Issue Tracking Data. In Juergen Muench and Ye Yang and Wilhelm Schaefer (Eds.), New Modeling Concepts for Today's Software Processes, pp. 222-233. Lecture Notes in Computer Science, Springer-Verlag. [ Bibtex ]
  • C. Treude and M.-A. Storey and K. Ehrlich and A. van Deursen (2010). Web2SE: First Workshop on Web 2.0 for Software Engineering. In Companion to the Proceedings of the International Conference on Software Engineering, pp. 457--458. ACM. [ Bibtex ]
  • Michaela Greiler (2010). Online Testing of Service-Oriented Architectures to detect State-based Faults. In Proceedings of the PhD Symposium at the 7the International Conference on Service Oriented Computing (ICSOC 2009), Stockholm, Sweden. CEUR-WS. [ Bibtex ]
2009
  • Hermans, Felienne (2009). Gathering domain knowledge from spreadsheets. In ESEC/FSE Doctoral Symposium '09: Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium, pp. 37--38, Amsterdam, The Netherlands. ACM. [ Bibtex ]
  • Danny M. Groenewegen and Eelco Visser (2009). Integration of Data Validation and User Interface Concerns in a DSL for Web Applications. In Mark van den Brand and Dragan Gasevic and Jeff Gray (Eds.), Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers, pp. 164-173. Lecture Notes in Computer Science, Springer. [ Bibtex ]
  • Teemu Kanstrén (2009). Behaviour Pattern-Based Model Generation for Model-Based Testing. In Proceedings of the 1st International Conference on Pervasive Patterns and Applications (PATTERNS 2009), Athends, Greece. IEEE Press. [ Bibtex ]
  • Teemu Kanstrén (2009). A Probe Framework for Monitoring Embedded Real-Time Systems. In Proceedings of the 4th International Conference on Internet Monitoring and Protection (ICIMP2009), pp. 109-115, Venice, Italy. IEEE Press. [ Bibtex ]
  • Danny Holten (2009). Software Visualization: Visualizing Structure, Relations, and Visual Software Comparison. PhD Thesis, Eindhoven University of Technology. [ Bibtex ]
  • Jan Jaap Cannegieter and Rini van Solingen and Wouter Raemaekers (2009). De kleine CMMI voor Acquisitie, SDU. [ Bibtex ]
  • Christian Visser and Rini van Solingen (2009). Selecting Locations for Follow-the-Sun Software Development: Towards A Routing Model. Fourth IEEE International Conference on Global Software Engineering:185-194. [ Bibtex ]
  • Cathal Boogerd and Leon Moonen (2009). Evaluating the Relation Between Coding Standard Violations and Faults Within and Across Versions. In Jim Whitehead, Mike Godfrey (Eds.), Proceedings of the Sixth IEEE Working Conference on Mining Software Repositories (MSR), pp. 41-50, Vancouver BC, Canada. IEEE. [ Bibtex ]
  • Patrick Knab and Martin Pinzger and Harald C. Gall (2009). Smart Views for Analyzing Problem Reports: Tool Demo. In Hans van Vliet and Valerie Issarny (Eds.), Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 289--290, 24-28 August, 2009, Amsterdam, The Netherlands. ACM. [ 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 ]
  • Hans-Gerhard Gross and Marco Lormans and Jan Tretmans (Eds.) (2009). Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime, Association for Computing Machinery (ACM), New York. [ 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 ]
  • Michaela Greiler and Hans-Gerhard Gross and Khalid Adam Nasr (2009). Runtime Integration and Testing for Highly Dynamic Service Oriented ICT Solutions - An Industry Challenges Report. In IEEE Computer Society, Los Alamitos, USA (Eds.), TAIC-PART '09: Proceedings of the Testing: Academic and Industrial Conference on Practice And Research Techniques, pp. 51-55, Windsor, UK. IEEE. [ Bibtex ]
  • Rui Abreu (2009). Spectrum-based Fault Localization in Embedded Software. PhD Thesis, Delft University of Technology. [ Bibtex ]
  • Andy Zaidman and Giuliano Antoniol and Stephane Ducasse (Eds.) (2009). Proceeedings of the 16th Working Conference on Reverse Engineering, IEEE Computer Society, Washington, DC, USA. [ Bibtex ]
  • Zeeger Lubsen and Andy Zaidman and Martin Pinzger (2009). Studying Co-evolution of Production and Test Code Using Association Rule Mining. In Michael W. Godfrey and Jim Whitehead (Eds.), Proceedings of the 6th Working Conference on Mining Software Repositories (MSR 2009), pp. 151-154, 16-17 May, 2009, Vancouver, BC, Canada. IEEE Computer Society. [ Bibtex ]
  • Bas Cornelissen (2009). Evaluating Dynamic Analysis Techniques for Program Comprehension. PhD Thesis, Delft University of Technology. [ Bibtex ]
  • Bram Adams and Kris De Schutter and Andy Zaidman and Serge Demeyer and Herman Tromp and Wolfgang De Meuter. (2009). Using Aspect Orientation in Legacy Environments for Reverse Engineering using Dynamic Analysis - An Industrial Experience Report. Journal of Systems and Software 82(4):668-684. [ Bibtex ]
2008
  • Sander D. Vermolen (2008). Software Language Evolution. In Andy Zaidman and Massimiliano Di Penta and Ahmed Hassan (Eds.), Proceedings 15th Working Conference on Reverse Engineering (WCRE 2008), pp. 323--326. IEEE Press. [ Bibtex ]
  • Cathal Boogerd and Leon Moonen (2008). On the Use of Data Flow Analysis in Static Profiling. In Jim Cordy, Lu Zhang (Eds.), Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 79-88. IEEE. [ Bibtex ]
  • Cathal Boogerd and Leon Moonen (2008). Assessing the Value of Coding Standards: An Empirical Study. In Hong Mei, Kenny Wong (Eds.), Proceedings of the 24th IEEE International Conference on Software Maintenance, pp. 277-286. IEEE. [ Bibtex ]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2008). Computing Minimal Diagnoses by Greedy Stochastic Search. In Dieter Fox and Carla P. Gomes (Eds.), Proceedings of the Twenty-Third National Conference on Artificial Intelligence (AAAI'08), July 13-17 Chicago, Illinos, USA, pp. 919--924. AAAI Press. [ Bibtex ]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2008). Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. In Dieter Fox and Carla P. Gomes (Eds.), Proceedings of the Twenty-Third National Conference on Artificial Intelligence (AAAI'08), July 13-17 Chicago, Illinos, USA, pp. 911--918. AAAI Press. [ Bibtex ]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2008). A Framework and Algorithm for Model-Based Active Testing. In Alban Grastien and Markus Stumptner and Wolfgang Mayer (Eds.), Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX'08), Blue Mountains, Australia, pp. 71--78. [ Bibtex ]
  • 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 ]
  • Andy Zaidman and Abdelwahab Hamou-Lhadj and Orla Greevy and David Roethlisberger (2008). Workshop on Program Comprehension through Dynamic Analysis (PCODA'08). In Ahmed Hassan and Andy Zaidman and Massimiliano Di Penta (Eds.), Proceedings of the 15th Working Conference on Reverse Engineering (WCRE), pp. 345--246. IEEE Computer Society. [ Bibtex ]
  • Ahmed Hassan and Andy Zaidman and Massimiliano Di Penta (Eds.) (2008). Proceedings of the 15th Working Conference on Reverse Engineering, IEEE Computer Society. [ Bibtex ]
  • Wolfgang Mayer and Rui Abreu and Markus Stumptner and Arjan J.C. van Gemund (2008). Prioritizing Model-Based Debugging Diagnostic Reports. In Alban Grastien and Markus Stumptner and Wolfgang Mayer (Eds.), Procedings of the 19th International Workshop on Principles of Diagnosis (DX'08), pp. 127-134. [ Bibtex ]
  • Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund (2008). A Dynamic Modeling Approach to Software Multiple-Fault Localization. In Alban Grastien and Markus Stumptner (Eds.), Procedings of the 19th International Workshop on Principles of Diagnosis (DX'08), pp. 7-14. [ Bibtex ]
  • Andy Zaidman and Abdelwahab Hamou-Lhadj and Orla Greevy (2008). Introduction to the Special Issue on Program Comprehension through Dynamic Analysis (PCODA). Journal of Software Maintenance and Evolution: Research and Practice 20(4):223-225. [ Bibtex ]
  • Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund (2008). An Observation-based Model for Fault Localization. In Ben Liblit and Atanas Rountev (Eds.), 6th Workshop on Dynamic Analysis (WODA'08), pp. 64-70. ACM Press. [ 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 ]
  • Leon Moonen and Arie van Deursen and Andy Zaidman and Magiel Bruntink (2008). In Tom Mens and Serge Demeyer (Eds.) Software evolution, Ch. On the Interplay between Software Testing and Evolution and its Effect on Program Comprehension, pp. 173-202. Springer. [ Bibtex ]
2007
  • A. van Deursen and P. Klint (2007). In T.M.A. Bemelmans, M. van Keulen, R.J. Kusters en M. Looijen (Eds.) ICT Zakboek, Ch. VI.2 Programmatuur, pp. 69-108. Reed Business Information. [ Bibtex ]
  • Marco Lormans (2007). Monitoring Requirements Evolution using Views. In Ren'e L. Krikhaar and Chris Verhoef and Giuseppe A. Di Lucca (Eds.), 11th European Conference on Software Maintenance and Reengineering (CSMR), pp. 349-352. IEEE Computer Society. [ Bibtex ]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2007). Generating Manifestations of Max-Fault Min-Cardinality Diagnoses. In Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA, pp. 83--90. [ Bibtex ]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2007). Interchange Formats and Automated Benchmark Model Generators for Model-Based Diagnostic Inference. In Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA, pp. 91--98. [ Bibtex ]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2007). Approximate Model-Based Diagnosis Using Greedy Stochastic Search. In Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA, pp. 290--297. [ Bibtex ]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2007). Approximate Model-Based Diagnosis Using Greedy Stochastic Search. In Proceedings of the Seventh Symposium on Abstraction Reformulation, and Approximation, Whistler, Canada, pp. 139--154. [ Bibtex ]
  • P. Zoeteweij and R. Abreu and R. Golsteijn and A.J.C. van Gemund (2007). Implementatie van spectrumgebaseerde foutdiagnose in embedded software. Unpublished. [ Bibtex ]
  • B. Cornelissen and L. Moonen (2007). Exploring Similarities in Execution Traces. In Andy Zaidman and Abdelwahab Hamou-Lhadj and Orla Greevy (Eds.), Proceedings of the 3rd International Workshop on Program Comprehension through Dynamic Analysis (PCODA), pp. 6--10. Technische Universiteit Delft. [ Bibtex ]
  • P. Zoeteweij and R. Abreu and A.J.C. van Gemund (2007). Software fault diagnosis. In A. Petrenko and M. Veanes and J. Tretmans and W. Grieskamp (Eds.), 19th IFIP International Conference on Testing of Communicating Systems: Hand-Outs for the Tutorial Day of TestCom/FATES 2007, pp. 1-26. Tartu University Press. [ Bibtex ]
  • P. Zoeteweij and R. Abreu and R. Golsteijn and A.J.C. van Gemund (2007). Fault diagnosis of embedded software using program spectra. In P. Groot (Eds.), Proceedings of Symposium on Verification and Validation of Software Systems (VVSS'07), pp. 47-53. TUE Computer Science Reports, Einhoven University of Technology. [ Bibtex ]
  • Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund (2007). On the Accuracy of Spectrum-based Fault Localization. In Phil McMinn (Eds.), Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART'07), pp. 89-98, Windsor, United Kingdom. IEEE Computer Society. [ Bibtex ]
  • Cathal Boogerd (2007). Supporting Reliable Software Evolution through Program Analysis. In Rene Krikhaar and Chris Verhoef and Giuseppe Di Lucca (Eds.), Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR), pp. 341--344. IEEE Computer Society Press. [ Bibtex ]
  • Abdelwahab Hamou-Lhadj and Andy Zaidman and Orla Greevy (2007). Workshop on Program COmprehension through Dynamic Analysis (PCODA'07). In Proceedings of the 14th Working Conference on Reverse Engineering (WCRE2007), pp. 298-299. IEEE Computer Society. [ Bibtex ]
  • G.L. Reijns and A.J.C. van Gemund (2007). Reliability Analysis of Hierarchical Systems using Statistical Moments. IEEE Transactions on Reliability 56(3):1-8. [ Bibtex ]
  • Alexander Feldman and Marco Caporicci and Oscar Gracia and Andr'e Bos (2007). Advances in Intelligent Health Reasoning and its Application to IBDM. In Proceedings of the IEEE Aerospace Conference Big Sky, Montana, USA. [ Bibtex ]
2006
  • B. Wang and C. Pronk (2006). Design and Implementation of a GUI for the TLC model checker. Sigplan Notices 41(12):38 .. 43. [ Bibtex ]
  • Marius Marin (2006). Reasoning about assessing and improving the candidate-seed quality for a generative aspect mining technique. In Linking Aspect Technology and Evolution Workshop (LATE'06). [ Bibtex ]
  • Mariano Ceccato and Marius Marin and Kim Mens and Leon Moonen and Paolo Tonella and Tom Tourwé (2006). Applying and combining three different aspect mining techniques. Software Quality Journal:209-231. [ Bibtex ]
  • B. Cornelissen and A. van Deursen and L. Moonen (2006). Aiding in the Comprehension of Testsuites. In Andy Zaidman and Abdelwahab Hamou-Lhadj and Orla Greevy (Eds.), Proceedings of the 2nd Workshop on Program Comprehension through Dynamic Analysis (PCODA'06), pp. 17--20. Universiteit Antwerpen. [ Bibtex ]
  • Leon Moonen and Ganesan Ramalingam and Siobhán Clarke (Eds.) (2006). Proceedings of the Dagstuhl Seminar on Aspects for Legacy Applications (nr. 06302), Dagstuhl. [ Bibtex ]
  • Silvia Breu and Leon Moonen and Magiel Bruntink and Jens Krinke (Eds.) (2006). Proceedings of the First Workshop Towards Evaluation of Aspect Mining (TEAM), Delft University of Technology. [ Bibtex ]
  • Massimiliano Di Penta and Leon Moonen (Eds.) (2006). Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM), IEEE Computer Society Press. [ Bibtex ]
  • Alexander Feldman and Arjan van Gemund (2006). A Two-Step Hierarchical Algorithm for Model-Based Diagnosis. In Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI-06), July 16-20 Boston, Massachusetts, USA, pp. 827--833. AAAI Press. [ Bibtex ]
  • Alexander Feldman and Jurryt Pietersma and Arjan van Gemund (2006). All Roads Lead to Fault Diagnosis: Model-Based Reasoning with Lydia. In Pierre-Yves Schobbens and Wim Vanhoof and Gabriel Schwanen (Eds.), Proceedings of the Eighteenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC-06) Namur, Belgium, pp. 123--131. [ Bibtex ]
  • Jurryt Pietersma and Arjan J.C. van Gemund (2006). Diagnostic Accuracy of Models. In Hong-Yue Zhang (Eds.), Preprints of 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS 2006), Beijing, China, pp. 913-918. International Federation of Automatic Control (IFAC). [ Bibtex ]
  • H. Gautama and A.J.C. van Gemund (2006). Low-Cost Static Performance prediction of stochastic parallel task compositions. IEEE Transactions on Parallel and Distributed Systems 17(1):78-91. [ Bibtex ]
  • Cathal Boogerd and Leon Moonen (2006). Ranking Software Inspection Results using Execution Likelihood. In Jaap van der Heijden (Eds.), Proceedings of the Philips Software Conference (PSC), pp. 10. Philips. [ Bibtex ]
  • Cathal Boogerd and Leon Moonen (2006). Prioritizing Software Inspection Results using Static Profiling. In Massimiliano Di Penta and Leon Moonen (Eds.), Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM), pp. 149--158. IEEE Computer Society Press. [ Bibtex ]
  • Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund (2006). An Evaluation of Similarity Coefficients for Software Fault Localization. In Daniel Jeske, Gianfranco Ciardo, Yuan-Shun Dai (Eds.), PRDC'06, Procedings of the 12th Pacific Rim International Symposium on Dependable Computing, pp. 39--46. IEEE Computer Society. [ Bibtex ]
2005
  • A. Gonzalez Escribano and A.J.C. van Gemund and Valentin Cardenoso Payo (2005). SPC-XML: A structured representation for nested-parallel programming languages. In Springer (Eds.), Proc. European Conference on Parallel Processing (EuroPar'05), pp. 541-555. Lecture notes in computer science 3648, Springer. [ Bibtex ]
  • Alexander Feldman and Arjan van Gemund and Andr'e Bos (2005). A Hybrid Approach to Hierarchical Fault Diagnosis. In Richard Dearden and Sriram Narasimhan (Eds.), Proceedings of the Sixteenth International Workshop on Principles of Diagnosis (DX-05), Monterey California, USA, pp. 101--106. [ Bibtex ]
  • H.-G. Gross and I. Schieferdecker and G. Din (2005). In S. Beydeda and V. Gruhn (Eds.) Testing Commercial-off-the-Shelf Components and Systems, Ch. Modeling and Implementation of Built-in Contract Tests. Springer. [ Bibtex ]
  • C. Atkinson and C. Bunse and C. Peper and H.-G. Gross (2005). In C. Atkinson and C. Bunse and H.-G. Gross and C. Peper (Eds.) Component-Based Software Development for Embedded Systems, Ch. Component-Based Software Development for Embedded Systems — An Introduction. Springer. [ Bibtex ]
  • G.L. Reijns and A.J.C. van Gemund (2005). Performance prediction of parallel programs using Pearson distributions. Parallel Computing 31(9):877-899. [ Bibtex ]
  • Deursen, A. van and E. Stroulia (Eds.) (2005). Special Issue on Reverse Engineering, IEEE Transactions on Software Engineering 31(2). [ Bibtex ]
  • Deursen, A. van and E. Burd (Eds.) (2005). Special Issue on Reverse Engineering, Journal of Systems and Software 77(3). [ Bibtex ]
  • P. Zoeteweij (2005). Composing Constraint Solvers. PhD Thesis, University of Amsterdam. [ Bibtex ]
2004
  • Jurryt Pietersma and Arjan J.C. van Gemund and Andre Bos (2004). A Model-Based Approach to Fault Diagnosis of Embedded Systems. In J.J. van Wijk and J.W.J. Heijnsdijk and K.G. Langendoen and R. Veltkamp (Eds.), Proceedings of the tenth annual conference of the Advanced School for Computing and Imaging (ASCI 2004), Port Zélande, Ouddorp, The Netherlands, pp. 189-196. Advanced School for Computing and Imaging (ASCI). [ Bibtex ]
  • Paivi Parviainen and Maarit Tihinen and Marco Lormans and Rini van Solingen (2004). Requirements Engineering: Dealing with the Complexity of Sociotechnical Systems Development. In Jose Luis Mate and Andres Silva (Eds.), Requirements Engineering for Sociotechnical Systems. IdeaGroup Inc.. [ Bibtex ]
2003
2002
  • Petra Heck and Andy Zaidman (). Horizontal Traceability for Just-In-Time Requirements: The Case for Open Source Feature Requests. Journal of Software: Evolution and Process (JSEP). [ Bibtex ]
  • Cuiting Chen and Hans-Gerhard Gross and Andy Zaidman (). Improving Service Diagnosis through Increased Monitoring Granularity. In Proceedings of the 7th International Conference on Software Security and Reliability (SERE), pp. xxx-xxx. IEEE. [ Bibtex ]




Edit | Attach | Printable | Raw | More topic actions
Revisions: | r1.17 | > | r1.16 | > | r1.15 | Page history | Backlinks
You are here: Main > ScientificPublications

to top

Copyright © 2003-2017, Software Engineering Research Group, Delft University of Technology, The Netherlands