Software Engineering

Search results

  • Conference contribution

    Parametric verification of the IEEE 1394a root contention protocol using LPMC

    Toetenel, WJ., Lutje Spelberg, RF. & Bandini, G., 2000, Proceedings. DC Young (ed.). Los Alamitos: IEEE, p. 207-214 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    4 Citations (Scopus)

  • PathMiner: A library for mining of path-based representations of code

    Kovalenko, V., Bogomolov, E., Bryksin, T. & Bacchelli, A., 1 May 2019, 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR). IEEE, p. 13-17 5 p. 8816777

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    31 Citations (Scopus)
    185 Downloads (Pure)

  • Perceived relevance of automatic code inspection in end-user development: A study on VBA

    Roy, S., Van Deursen, A. & Hermans, F., 2019, Proceedings of EASE 2019 - Evaluation and Assessment in Software Engineering. New York, NY, USA: Association for Computing Machinery (ACM), p. 167-176 10 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    177 Downloads (Pure)

  • Performance comparison of four software architectures for distributed computations

    van Katwijk, J. & Peng, Y., 2000, ParCo99 proceedings. EH D'Hollander, GR Joubert, FJ Peters & HJ Sips (eds.). London: Imperial college press, p. 582-589 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • Performance trade-offs in client-side service delegation

    Nasr, KA., Gross, HG. & van Deursen, A., 2011, Proceedings of the 13th IEEE International Symposium on Web Systems Evolution (WSE). Kienle, HM., Bolchini, D. & Tramontana, P. (eds.). Piscataway, NJ, USA: IEEE Society, p. 43-52 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access

  • Permanent pixels; building blocks for the longevity of digital surrogates of historical photographs

    van Horik, MPM., Koppelaar, H., van der Meer, K. & van Doorn, PE., 2004, Proceedings of the IS&T's 2004 archiving conference. Frey, F. & Buckley, R. (eds.). Springfield, USA: SPIE, p. 128-135 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • PETrA: A Software-Based Tool for Estimating the Energy Profile of Android Applications

    Di Nucci, D., Palomba, F., Prota, A., Panichella, A., Zaidman, A. & De Lucia, A., 2017, Proceedings - IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017. Los Alamitos, CA: IEEE, p. 3-6 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    38 Citations (Scopus)
    148 Downloads (Pure)

  • PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness

    Dekeyser, S. & Hidders, AJH., 2010, Proceedings of the IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010. Kommers, P. & Isaias, P. (eds.). Freiburg, Germany: IADIS, p. 125-131 7 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    1 Citation (Scopus)

  • Polaris: Providing context aware navigation in spreadsheets

    Jansen, B., 1 Sept 2016, 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). p. 228-229 2 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    49 Downloads (Pure)

  • Post-Processing in Wireless Sensor Networks: Benchmarking Sensor Trace Files

    Bor, MC., Chatzigiannakis, I., Dulman, SO., Kikiras, P., Theodoridis, E. & Visser, OW., 2010, 7th ACM Int. Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN). Garcia-Luna-Aceves, JJ. (ed.). New York, NY, USA: Association for Computing Machinery (ACM), p. 40-43 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • Practice of real-time software architecture: Collider, satellites, and tanks combined

    van Katwijk, J., Schwartz, JJ. & Zalewski, J., 2001, Proceedings. HB Verbruggen, CW Chan & RA Vingerhoeds (eds.). Hong Kong: IFAC, p. 550-559 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • Practices and Tools for Better Software Testing

    Spadini, D., 2018, Proceedings of the 26th ACM Joint Meeting on European Software Engineering Conferenceand Symposium on the Foundations of Software Engineering. New York, NY: Association for Computing Machinery (ACM), p. 928-931 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    256 Downloads (Pure)

  • Pragmatic software testing education

    Aniche, M., Hermans, F. & van Deursen, A., 22 Feb 2019, SIGCSE 2019 - Proceedings of the 50th ACM Technical Symposium on Computer Science Education. Association for Computing Machinery (ACM), p. 414-420 7 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    31 Citations (Scopus)
    2241 Downloads (Pure)

  • Predicting class testability using object-oriented metrics

    Bruntink, M. & van Deursen, A., 2004, SCAM 2004; Proceedings of the Fourth IEEE international worksho on source code analysis an manipulation. Los Alamitos, CA. USA: IEEE, p. 136-145 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    75 Citations (Scopus)

  • Predicting the Fix Time of Bugs

    Giger, E., Pinzger, M. & Gall, HC., 2010, Proceedings of the International Workshop on Recommendation Systems for Software Engineering (RSSE). Holmes, R., Robillard, MP., Walker, RJ. & Zimmerman, T. (eds.). New York: Association for Computing Machinery (ACM), p. 52-56 5 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    163 Citations (Scopus)

  • Preventing Injection Attacks with Syntax Embedding -- A Host and Guest Language Independent Approach

    Bravenboer, M., Dolstra, E. & Visser, E., 2007, Generative Programming and Component Engineering: Sixth International Conference (GPCE 2007). Lawall, J. (ed.). New York, NY, USA: Association for Computing Machinery (ACM), p. 3-12 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access

  • Pricing via Functional Size - A Case Study of a Company's Portfolio of 77 Outsourced Projects

    Huijgens, H., Gousios, G. & Van Deursen, A., 5 Nov 2015, 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2015 - Proceedings. IEEE, Vol. 2015-November. p. 182-191 10 p. 7321211

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    4 Citations (Scopus)
    51 Downloads (Pure)

  • Primers or Reminders? The Effects of Existing Review Comments on Code Review

    Spadini, D., Calikli, G. & Bacchelli, A., 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering, ICSE 2020. p. 1171-1182 12 p. 3380385. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    14 Citations (Scopus)
    458 Downloads (Pure)

  • Prioritizing Model-Based Debugging Diagnostic Reports

    Mayer, W., Abreu, RF., Stumptner, M. & van Gemund, AJC., 2008, Procedings of the 19th International Workshop on Principles of Diagnosis (DX'08). Grastien, A., Stumptner, M. & Mayer, W. (eds.). Blue Mountains, NSW, Australia: The Australian National University, p. 127-134 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • Prioritizing Software Inspection Results using Static Profiling

    Boogerd, C. & Moonen, LMF., 2006, Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM). Penta, M. & Moonen, L. (eds.). IEEE, p. 149-158 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    33 Citations (Scopus)

  • Prioritizing Tests for Software Fault Localization

    Gonzalez Sanchez, A., Piel, EAB., Gross, HG. & van Gemund, AJC., 2010, QSIC'10: 10th International Conference in Quality Software. Bai, X. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 42-51 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    32 Citations (Scopus)

  • Probabilistic Concurrency Testing for Weak Memory Programs

    Gao, M., Chakraborty, S. & Ozkan, B. K., 2023, ASPLOS 2023 - Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Aamodt, T. M., Jerger, N. E. & Swift, M. (eds.). Association for Computing Machinery (ACM), p. 603-616 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    78 Downloads (Pure)

  • Product Line Engineering using Domain-Specific Languages

    Völter, M. & Visser, E., 2011, 2011 15th International Software Product Line Conference (SPLC). Almeida, E. & et al. (eds.). Los Alamitos, CA, USA: IEEE Society, p. 70-79 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    53 Citations (Scopus)

  • Programming Education to Preschoolers: Reflections and Observations from a Field Study

    Swidan, A. & Hermans, F., 2017, Proceedings of the 28th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2017, Delft, The Netherlands, July 1-3, 2017. 11 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    144 Downloads (Pure)

  • Programming is Writing is Programming

    Hermans, F. & Aldewereld, M., 3 Apr 2017, Programming 2017 - Companion to the 1st International Conference on the Art, Science and Engineering of Programming. Association for Computing Machinery (ACM), Vol. Part F129681. 8 p. a33

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    8 Citations (Scopus)
    3 Downloads (Pure)

  • Programming Misconceptions for School Students

    Swidan, A., Hermans, F. & Smit, M., 2018, ICER '18 : Proceedings of the 2018 ACM Conference on International Computing Education Research . New York, NY: Association for Computing Machinery (ACM), p. 151-159 9 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    58 Citations (Scopus)
    31 Downloads (Pure)

  • Program Spectra Analysis in Embedded Software: A Case Study

    Abreu, R., Zoeteweij, P. & van Gemund, AJC., 2006, ASCI'06, Procedings of the 12th Annual Conference of the Advanced School for Computing and Imaging. Lelieveldt, B. P. F., Haverkort, B., de Laat, C. T. A. M. & Heijnsdijk, J. W. J. (eds.). ASCI, p. 263-269 7 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • 'Project smells' - Experiences in Analysing the Software Quality of ML Projects with mllint

    Van Oort, B., Cruz, L., Loni, B. & Van Deursen, A., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering: Software Engineering in Practice, ICSE-SEIP 2022. IEEE, p. 211-220 10 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    18 Downloads (Pure)

  • Promises and Perils of Inferring Personality on GitHub

    van Mil, F., Rastogi, A. & Zaidman, A. E., 2021, ESEM '21: Proceedings of the 15th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). Association for Computing Machinery (ACM), p. 17:1-17:11 11 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    32 Downloads (Pure)

  • PropR: Property-Based Automatic Program Repair

    Gissurarson, M. P., Applis, L. H., Panichella, A., van Deursen, A. & Sands, D., 2022, The 44th IEEE/ACM In- ternational Conference on Software Engineering (ICSE). IEEE / ACM, p. 1768-1780 13 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    4 Citations (Scopus)
    439 Downloads (Pure)

  • Proving consistency of VDM models using HOL

    Vermolen, SD., Hooman, J. & Larsen, PG., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing (SAC). Shin, SY., Ossowski, S., Schumacher, M., Palakal, MJ. & Hung, CC. (eds.). New York: Association for Computing Machinery (ACM), p. 2503-2510 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    3 Citations (Scopus)

  • Pure and declarative syntax definition: paradise lost and regained

    Kats, LCL., Visser, E. & Wachsmuth, GH., 2010, Proceedings of the ACM international conference on Object oriented programming systems languages and applications. Rinard, M. (ed.). New York: Association for Computing Machinery (ACM), p. 918-932 15 p. (ACM SIGPLAN Notices; vol. 45, no. 10).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    48 Citations (Scopus)

  • PyDriller: Python Framework for Mining Software Repositories

    Spadini, D., Aniche, M. & Bacchelli, A., 2018, ESEC/FSE 2018: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. New York, NY: Association for Computing Machinery (ACM), p. 908-911 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    177 Citations (Scopus)
    1226 Downloads (Pure)

  • Quality Assurance Awareness in Open Source Software Projects on GitHub

    Zaidman, A. E. & Khatami, A., 2023, Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM). Moonen, L., Newman, C. & Gorla, A. (eds.). IEEE Computer Society - Conference Publishing Services, p. 174-185 12 p. (Proceedings - 2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation, SCAM 2023).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • Quality criteria for just-in-time requirements: Just enough, just-in-time?

    Heck, P. & Zaidman, A., 16 Nov 2015, 1st International Workshop on Just-in-Time Requirements Engineering, JIT RE 2015 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 1-4 4 p. 7330170

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    File
    8 Citations (Scopus)
    44 Downloads (Pure)

  • Quality Questions Need Quality Code: Classifying Code Fragments on Stack Overflow

    Duijn, M., Kucera, A. & Bacchelli, A., 2015, Proceedings of the 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories (MSR. Di Penta, M., Pinzger, M. & Robbes, R. (eds.). Piscataway: IEEE Society, p. 410-413 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    40 Citations (Scopus)

  • Quantifying the Analyzability of Software Architectures

    Bouwers, EM., Correia, JP., van Deursen, A. & Visser, J., 2011, Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture (WICSA). Lago, P. & Hilliard, R. (eds.). Los Alamitos, CA, USA: IEEE Society, p. 83-92 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access

  • Quantifying the encapsulation of implemented software architectures

    Bouwers, EM., van Deursen, A. & Visser, J., 2014, Proceedings 30th IEEE International Conference on Software Maintenance and Evolution. Pollock, L. & Moonen, L. (eds.). Los Alamitos, CA, USA: IEEE, p. 211-220 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    7 Citations (Scopus)
    11 Downloads (Pure)

  • Quantitatively exploring non-code software artifacts

    Bigliardi, L., Lanza, M., Bacchelli, A., d' Ambros, M. & Mocci, A., 2014, Proceedings - 14th International Conference on Quality Software. Wong, WE. (ed.). Los Alamitos, CA, USA: IEEE, p. 286-295 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access

  • Questions for Data Scientists in Software Engineering: A Replication

    Huijgens, H., Rastogi, A., Mulders, E., Gousios, G. & Deursen, A. V., 2020, Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 568–579 12 p. (ESEC/FSE 2020).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    5 Citations (Scopus)
    105 Downloads (Pure)

  • RAFFS: Model Checking a Robust Abstract Flash File Store

    Taverne, P. & Pronk, C., 2009, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods. Breitman, K. & Cavalcanti, A. (eds.). Berlin: Springer, p. 226-245 20 p. (Lecture Notes in Computer Science; vol. 5885).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    3 Citations (Scopus)

  • Ranking Software Inspection Results using Execution Likelihood

    Boogerd, C. & Moonen, LMF., 2006, Proceedings of the Philips Software Conference (PSC). van der Heijden, J. (ed.). Philips, p. -

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • Real-Time model checking based on splitting

    Lutje Spelberg, RF. & Toetenel, WJ., 2001, Proceedings. JCM Baeten & ... [et Al] (eds.). S.l.: s.n., p. 56-70 15 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

  • Real-time system verification techniques based on abstraction/deduction and model checking

    Kang, EY., 2005, IFM 2005 Doctoral symposium on Integrated Formal Methods. Romijn, J., Smith, G. & van de Pol, J. (eds.). Eindhoven: Eindhoven University of Technology, p. 26-32 7 p. (Computer Science Reports; vol. 0529).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

  • Reconstructing Complex Metamodel Evolution

    Vermolen, SD., Wachsmuth, GH. & Visser, E., 2012, Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers. Sloane, AM. & Assmann, U. (eds.). Springer, p. 201-221 21 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    28 Citations (Scopus)

  • Reconstructing requirements coverage views from design and test using traceability recovery via LSI

    Lormans, M. & van Deursen, A., 2005, Proceedings of TEFSE'05, the 3rd International workshop on traceability in emerging forms of software engineering. s.n. (ed.). New York (NY), USA: Association for Computing Machinery (ACM), p. 1-6 6 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    32 Citations (Scopus)

  • Reengineering Idiomatic Exception Handling in Legacy C Code

    Bruntink, M., 2008, Proceedings of the 12th European Conference on Software Maintenance and Reengineering (CSMR'08). Kontogiannis, K., Tjortjis, C. & Winter, A. (eds.). Los Alamitos, USA: IEEE, p. 133-142 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    4 Citations (Scopus)

  • Reengineering towards product lines (R2PL 2005)

    Graaf, BS., O'Brien, L. & Capilla, R., 2005, Proceedings of WCRE 2005. s.n. (ed.). Piscataway: IEEE Society, p. 1-1 1 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    1 Citation (Scopus)

  • Re-evaluating Method-Level Bug Prediction

    Pascarella, L., Palomba, F. & Bacchelli, A., 2018, 25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018. Piscataway, NJ: IEEE, p. 1-10 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    23 Citations (Scopus)
    55 Downloads (Pure)

  • Refactoring: emerging trends and open problems

    Mens, T. & van Deursen, A., 2003, Proceedings of The first international workshop on REFactoring: Achievements, Challenges, and Effects (REFACE). Tahvildari, L. & Kontogiannis, K. (eds.). p. 51-54 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific