Software Engineering

Search results

  • Conference contribution

    Model checking real-time embedded software

    Toetenel, WJ. & Lutje Spelberg, RF., 2000, PROGRESS 2000 proceedings. JP Veen (ed.). Utrecht: STW Technology Foundation, p. 149-156 8 p.

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

  • Model-Driven Consistency Checking of Behavioural Specifications

    Graaf, BS. & van Deursen, A., 2007, Proceedings Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007). Fernandes, J. M., Machado, R. J., Khedri, R. & Clarke, S. (eds.). s.l.: IEEE, p. 115-126 12 p.

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

    17 Citations (Scopus)

  • Model-driven evolution of software architectures

    Graaf, BS., 2007, Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007). Krikhaar, R., Verhoef, C. & Lucca, G. A. D. (eds.). s.l.: IEEE, p. 357-360 4 p.

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

  • Model-Driven Software Evolution: A Research Agenda

    van Deursen, A., Visser, E. & Warmer, J., 2007, Proceedings 1st International Workshop on Model-Driven Software Evolution (MoDSE). Tamzalit, D. (ed.). s.l.: University of Nantes, p. 41-49 9 p.

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

    Open Access
    File
    44 Downloads (Pure)

  • Modeling and Compilation Aspects of Fault Diagnosis Complexity

    Pietersma, J., Feldman, AB. & van Gemund, AJC., 2006, 2006 IEEE AUTOTESTCON IEEE Systems Readiness Technology Conference Proceedings. of Directors, AUTOTESTCO. (ed.). IEEE Society, p. 502-508 7 p.

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

    1 Citation (Scopus)

  • Modeling and verification using XTG and PMC

    Burns, A., Lutje Spelberg, RF., Toetenel, WJ. & Vink, T., 1999, ASCI'99: proceedings. M Boasson, JA Kaandorp, JFM Tonino & MG Vosselman (eds.). Delft: Advanced School for Computing and Imaging, p. 251-258 8 p.

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

  • Modeling Team Dynamics for the Characterization and Prediction of Delays in User Stories

    Kula, E., Deursen, A. V. & Gousios, G., 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE): Proceedings. IEEE, p. 991-1002 12 p. 9678939

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

    Open Access
    File
    202 Downloads (Pure)

  • Modelling and Generating Ajax Applications: A Model-Driven Approach

    Gharavi, V., Mesbah, A. & van Deursen, A., 2008, Proceedings of the 7th International Workshop on Web-Oriented Software Technologies (IWWOST'2008) in conjuction with the 8th International Conference on Web Engineering (ICSE'2008). Olsina, L., Pastor, O., Schwabe, D., Rossi, G. & Winckler, M. (eds.). p. 32-37 6 p. (CEUR Workshop Proceedings; vol. 445).

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

  • Modern code reviews in open-source projects: Which problems do they fix?

    Beller, M., Bacchelli, A., Zaidman, A. & Juergens, E., 31 May 2014, Proceedings of the 11th Working Conference on Mining Software Repositories. Association for Computing Machinery (ACM), p. 202-211 10 p.

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

    164 Citations (Scopus)
    147 Downloads (Pure)

  • Monitoring-aware IDEs

    Winter, J., Aniche, M., Cito, J. & van Deursen, A., 2019, ESEC/FSE 2019 : Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering . Association for Computing Machinery (ACM), p. 420-431 12 p.

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

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

  • Monitoring Requirements Coverage using Reconstructed Views: An Industrial Case Study

    Lormans, M., Gross, H., van Deursen, A., van Solingen, R. & Stehouwer, A., 2006, Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006). Canfora, G., Sim, S. E. & Penta, M. (eds.). Washington, DC, USA: IEEE, p. 275-284 10 p.

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

    13 Citations (Scopus)

  • Monitoring Requirements Evolution using Views

    Lormans, M., 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR). Krikhaar, R. L., Verhoef, C. & Lucca, G. A. D. (eds.). s.l.: IEEE, p. 349-352 4 p.

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

    Open Access
    9 Citations (Scopus)

  • More Effective Test Case Generation with Multiple Tribes of AI

    Olsthoorn, M., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings, ICSE-Companion 2022. p. 286-290 5 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)
    279 Downloads (Pure)

  • Multi-objective Black-box Test Case Prioritization based on Wordnet Distances

    van Dinten, I., Zaidman, A. E. & Panichella, A., 2023, Search-Based Software Engineering: 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings. Arcaini, P., Yue, T. & Fredericks, E. M. (eds.). Springer, p. 101-107 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14415 LNCS).

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

    5 Downloads (Pure)

  • Multi-objective Test Case Selection Through Linkage Learning-Based Crossover

    Olsthoorn, M. & Panichella, A., 2021, Search-Based Software Engineering - 13th International Symposium, SSBSE 2021, Proceedings. O'Reilly, U-M. & Devroey, X. (eds.). p. 87-102 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12914 LNCS).

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

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

  • Multi-Tenant SaaS Applications: Maintenance Dream or Nightmare?

    Bezemer, C. & Zaidman, AE., 2010, Proceedings of the 4th International Joint ERCIM/IWPSE Symposium on Software Evolution (IWPSE-EVOL 2010). Capiluppi, A., Cleve, A. & Mohan, N. (eds.). New York: Association for Computing Machinery (ACM), p. 88-92 5 p.

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

    119 Citations (Scopus)

  • Mutation Testing for Physical Computing

    Zhu, Q. & Zaidman, A., 2018, 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018. Piscataway, NJ: IEEE, p. 289-300 12 p.

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

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

  • Naming Amplified Tests Based on Improved Coverage

    Nijkamp, N., Brandt, C. E. & Zaidman, A. E., 2021, 2021 IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM). Piscataway, NJ: IEEE Computer Society - Conference Publishing Services, p. 237-241 5 p. (Proceedings - IEEE 21st International Working Conference on Source Code Analysis and Manipulation, SCAM 2021).

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

    Open Access
    File
    3 Citations (Scopus)
    94 Downloads (Pure)

  • New applications of group support systems

    Mulder, JBF., Lamka, K., O'Mara, KC. & van der Niet, A., 2005, Proceedings of the Group Decision and Nogotiation Annual Conference (GDN). Hanover: informs, p. 1-35 35 p.

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

  • New method of improving software safety in mission-critical real-time systems

    Anderson, E., van Katwijk, J. & Zalewski, J., 1999, System safety at the dawn of a new millennium: proceedings. Unionville: System Safety Society, p. 587-596 10 p.

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

  • No half-measures: A study of manual and tool-assisted end-user programming tasks in Excel

    Pandita, R., Parnin, C., Hermans, F. & Murphy-Hill, E., 2018, 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC): Proceedings. Cunha, J., Fernandes, J. P., Kelleher, C., Engels, G. & Mendes, J. (eds.). Red Hook, NY: IEEE, p. 95-103 9 p. 8506540

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

    5 Citations (Scopus)

  • Observation-Based Modeling for Testing and Verifying Highly Dependable Systems ¿ A Practitioner¿s Approach

    Kanstren, TS., Piel, EAB., Gonzalez Sanchez, A. & Gross, HG., 2009, Proceedings of the International Workshop on the Design of Dependable Critical Systems. Wagner, A. (ed.). Hamburg: ECOMODIS, p. 1-8 8 p.

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

  • OffSide: Learning to Identify Mistakes in Boundary Conditions

    Arnar Briem, J., Smit, J., Sellik, H., Rapoport, P., Gousios, G. & Aniche, M., 2020, ICSEW'20: Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops . New York: Association for Computing Machinery (ACM), p. 203-208 6 p.

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

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

  • Old habits die hard: Why refactoring for understandability does not give immediate benefits

    Ammerlaan, E., Veninga, W. & Zaidman, A., 1 Jan 2015, 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 504-507 4 p. 7081865

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

    File
    14 Citations (Scopus)
    81 Downloads (Pure)

  • On context-aware process networks

    van Dijk, HW., Deprettere, EFA. & Sips, HJ., 2002, MMSA2002; third international symposium on mobile multimedia systems and applications. Lagendijk, RL., Heusdens, R., Lagendoen, KG. & Serdijn, WA. (eds.). s.l.: s.n., p. 17-26 10 p.

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

  • One-Day Flies on StackOverflow - Why the Vast Majority of StackOverflow Users Only Posts Once

    Slag, R., de Waard, M. & 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. 458-461 4 p.

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

    Open Access
    26 Citations (Scopus)

  • Online Spectrum-based Fault Localization for Health Monitoring and Fault Recovery of Self-Adaptive Systems

    Piel, EAB., Gonzalez Sanchez, A., Gross, HG., van Gemund, AJC. & Abreu, RF., 2012, 8th International Conference on Autonomic and Autonomous Systems. Bodendorf, F. & Powley, W. (eds.). IARIA, p. 25-30 6 p.

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

  • Online Testing of Service-Oriented Architectures to detect State-based Faults

    Greiler, MS., 2010, Proceedings of the PhD Symposium at the 7the International Conference on Service Oriented Computing (ICSOC 2009). Daniel, F. (ed.). Aachen: CEUR-WS, p. 37-42 6 p.

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

  • On Software Modernisation due to Library Obsolescence

    Gerasimou, S., Kechagia, M., Kolovos, D., Paige, R. & Gousios, G., 2018, WAPI'18 Proceedings of the 2nd International Workshop on API Usage and Evolution (WAPI 2018). New York, NY: Association for Computing Machinery (ACM), p. 6-9 4 p.

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

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

  • On the Accuracy of Spectrum-based Fault Localization

    Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2007, Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART'07). McMinn, P. (ed.). s.l.: IEEE, p. 89-98 10 p.

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

    611 Citations (Scopus)

  • On the Dichotomy of Debugging Behavior Among Programmers

    Beller, M., Spruit, N., Zaidman, A. & Spinellis, D., 2018, Proceedings of the 40th International Conference on Software Engineering. New York, NY: Association for Computing Machinery (ACM), p. 572-583 12 p.

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

    Open Access
    File
    153 Downloads (Pure)

  • On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets

    Roy, S., van Deursen, A. & Hermans, F., Jul 2018, Companion of the 18th IEEE International Conference on Software Quality, Reliability, and Security. Piscataway, NJ: IEEE, p. 199-206 8 p.

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

    Open Access
    File
    95 Downloads (Pure)

  • On the Effect of Transitivity and Granularity on Vulnerability Propagation in the Maven Ecosystem

    Mir, A. M., Keshani, M. & Proksch, S., 2023, Proceedings of the 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Ceballos, C. (ed.). Piscataway: IEEE, p. 201-211 11 p.

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

    Open Access
    File
    1 Citation (Scopus)
    25 Downloads (Pure)

  • On the Evaluation of NLP-based Models for Software Engineering

    Izadi, M. & Ahmadabadi, M. N., 2022, Proceedings of the 2022 IEEE/ACM 1st International Workshop on Natural Language-Based Software Engineering (NLBSE). IEEE, p. 48-50 3 p. 9808680. (Proceedings - 1st International Workshop on Natural Language-Based Software Engineering, NLBSE 2022).

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

    Open Access
    File
    3 Citations (Scopus)
    27 Downloads (Pure)

  • On-the-fly auditing of business processes

    van Hee, K., Hidders, AJH., Houben, GJPM., Paredaens, J. & Thiran, P., 2010, Transactions on Petri nets and other models of concurrency IV. Jensen, K., Donatelli, S. & Koutny, M. (eds.). Berlin-Heidelberg: Springer, p. 144-173 30 p. (Lecture Notes in Computer Science; vol. 6550).

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

    3 Citations (Scopus)

  • On the Nature of Business Rules

    Dietz, JLG., 2008, Advances in Enterprise Engineering I. Dietz, JLG., Albani, A. & Barjis, J. (eds.). Heidelberg: Springer, p. 1-15 15 p. (Lecture Notes In Business Information Processing; vol. 10).

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

    30 Citations (Scopus)

  • On the Performance of Fault Screeners in Software Development and Deployment

    Abreu, RF., Gonzalez Sanchez, A., Zoeteweij, P. & van Gemund, AJC., 2008, 3rd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'08). Gonzalez-Perez, C. & Jablonski, S. (eds.). Setubal, Portugal: INSTICC PRESS, p. 123-130 8 p.

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

    5 Citations (Scopus)

  • On the Reaction to Deprecation of 25,357 Clients of 4+1 Popular Java APIs

    Sawant, A., Robbes, R. & Bacchelli, A., 7 Oct 2016, Proceedings - 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016. Los Alamitos, CA: IEEE, p. 400-410 11 p.

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

    Open Access
    File
    44 Citations (Scopus)
    120 Downloads (Pure)

  • On The Relation of Test Smells to Software Code Quality

    Spadini, D., Palomba, F., Zaidman, A., Bruntink, M. & Bacchelli, A., 2018, Proceedings - 2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018. Los Alamitos, CA: IEEE, p. 12-23 12 p.

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

    Open Access
    File
    106 Citations (Scopus)
    386 Downloads (Pure)

  • On the Shoulders of Giants: A New Dataset for Pull-based Development Research

    Zhang, X., Rastogi, A. & Yu, Y., 29 Jun 2020, MSR 2020 data showcase: 2020 IEEE/ACM 17th International Conference on Mining Software Repositories (MSR). p. 543-547 5 p.

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

    10 Citations (Scopus)

  • On the Strengths of Pure Evolutionary Algorithms in Generating Adversarial Examples

    Bartlett, A., Liem, C. C. S. & Panichella, A., 2023, Proceedings of the 2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT). IEEE, p. 1-8 8 p.

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

    Open Access
    File
    172 Downloads (Pure)

  • On the Use of Data Flow Analysis in Static Profiling

    Boogerd, CJ. & Moonen, LMF., 2008, Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation. Cordy, J. & Zhang, L. (eds.). Los Alamitos, USA: IEEE, p. 79-88 10 p.

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

    8 Citations (Scopus)

  • On the “Naturalness” of Buggy Code

    Ray, B., Hellendoorn, V., Godhane, S., Tu, Z., Bacchelli, A. & Devanbu, P., 14 May 2016, Proceedings - 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering Companion, ICSE 2016. Los Alamitos, CA: IEEE, Vol. 1. p. 428-439 12 p.

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

    Open Access
    File
    164 Citations (Scopus)
    144 Downloads (Pure)

  • Oops, My Tests Broke the Build: An Explorative Analysis of Travis CI with GitHub

    Beller, M., Gousios, G. & Zaidman, A., 2017, Proceedings - 2017 IEEE/ACM 14th International Conference on Mining Software Repositories, MSR 2017. Los Alamitos, CA: IEEE, p. 356-367 12 p.

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

    File
    128 Citations (Scopus)
    88 Downloads (Pure)

  • Oracle Issues in Machine Learning and Where to Find Them

    Liem, C. C. S. & Panichella, A., 2020, Proceedings of the 8th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE). p. 483-488 6 p. (ICSEW' 20).

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

    Open Access
    File
    6 Citations (Scopus)
    222 Downloads (Pure)

  • Overhearing Conversations in Global Software Engineering-Requirements and an Implementation

    Dullemond, K., van Gameren, BJA. & van Solingen, DM., 2011, 2011 International Conference on Collaborative Computing: Networking, Applications and Worksharing. Georgakopoulos, D. & Joshi, J. (eds.). Los Alamitos, CA, USA: IEEE Society, p. 1-8 8 p.

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

    Open Access

  • Overview of the International Workshop on Code Based Software Security Assessments (CoBaSSA 2007)

    Moonen, LMF. & Mancoridis, S., 2007, Proceedings 14th IEEE Working Conference on Reverse Engineering (WCRE). Penta, M. D. & Maletic, J. I. (eds.). IEEE, p. 300-302 3 p.

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

  • PAM-SoC: a toolchain for predicting MPSoC performance

    Varbanescu, AL., Sips, HJ. & van Gemund, AJC., 2006, Europar 2006. s.n (ed.). Springer, p. 111-123 13 p.

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

    5 Citations (Scopus)

  • Parameterizing and Assembling IR-Based Solutions for SE Tasks Using Genetic Algorithms

    Panichella, A., Dit, B., Oliveto, R., Di Penta, M., Poshyvanyk, D. & De Lucia, A., 23 May 2016, IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering. IEEE, p. 314-325 12 p.

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

  • Parametric model-checking in PMC

    Bandini, G., Lutje Spelberg, RF. & Toetenel, WJ., 1999, NWPT'99: proceedings (Technical report 1999-008). B Victor & Wang Yi (eds.). Uppsala: Uppsala Universitet, p. 14-15 2 p.

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