Department of Computer Science

Search results

  • Conference Article in proceeding

    Semantic Matching of Open Texts to Pre-scripted Answers in Dialogue-Based Learning

    Rușeți, Ș., Lala, R., Gutu-Robu, G., Dascălu, M., Jeuring, J. T. & Van Geest, M., 21 Jun 2019, Artificial Intelligence in Education: 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II. Isotani, S., Millán, E., Ogan, A., Hastings, P., McLaren, B. & Luckin, R. (eds.). Cham: Springer, Vol. 2. p. 242-246 5 p. (Lecture Notes in Computer Science, Vol. 11626).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    172 Downloads (Pure)

  • Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report)

    Heyninck, J., Sept 2023, Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023). Sauerwald, K. & Thimm, M. (eds.). CEUR-WS, Vol. 3464. p. 74-83 10 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Semantics for Non-Flat Assumption-Based Argumentation, Revisited

    Heyninck, J. & Arieli, O., 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (ed.). International Joint Conferences on Artificial Intelligence, p. 3413-3420 8 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Set the right example when teaching programming: Test Informed Learning with Examples (TILE)

    Doorn, N., Vos, T., Marin, B. & Barendsen, E., May 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023. Institute of Electrical and Electronics Engineers Inc., p. 269-280 12 p. (IEEE International Conference on Software Testing, Verification and Validation (ICST): Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • SHACL-based Ontology Design Patterns for Evidence-based Decision-making

    Verhaeg, M., Rutledge, L. W. & Heeren, B. J., 2021, Proceedings of the 11th Workshop on Ontology Design and Patterns: WOP 2020. IOS Press, Vol. 51. p. 292-298 7 p. (Studies on the Semantic Web).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Shared Memory Implementations of Protocol Programming Languages: Data-Race-Free

    Hergarden, M. & Jongmans, S.-S., 17 Jul 2018, ICOOOLPS '18: Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. Millstein, T. (ed.). New York, NY: Association for Computing Machinery (ACM), p. 36-40 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    244 Downloads (Pure)

  • Shepherd: A Generic Approach to Automating Website Login

    Jonker, H. L., Karsch, S., Krumnow, B. & Sleegers, M., 2020, Proceedings MADWeb 2020: Workshop on Measurements, Attacks, and Defenses for the Web, February 23, 2020, San Diego, California. Reston: Internet Society, 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Shuffling Posets on Trajectories

    Edixhoven, L., 6 Nov 2023, iFM 2023 - 18th International Conference, iFM 2023, Proceedings: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Herber, P. & Wijs, A. (eds.). Springer, p. 384-390 7 p. (Lecture Notes in Computer Science, Vol. 14300).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences

    Arieli, O. & Heyninck, J., Sept 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Cao Son, T. & Kern-Isberner, G. (eds.). IJCAI Organization, p. 55-64 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Simpler Coordination of JavaScript Web Workers

    Krauweel, M. & Jongmans, S.-S. T. Q., 2017, Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Jacquet, J.-M. & Massink, M. (eds.). Cham: Springer Nature Switzerland AG, p. 40-58 19 p. (Lecture Notes in Computer Science; No. 10319).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • SOA and the Button Problem

    Jongmans, S.-S., Lamers, A. & van Eekelen, M. C. J. D., 23 Sept 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Cham: Springer, p. 689-706 18 p. (Lecture Notes in Computer Science, Vol. 11800).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Softmax Recurrent Unit: A new type of RNN cell

    Vos, L. & van Laarhoven, T. M., Oct 2020, ESANN 2020 proceedings: 28th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Bruges, Belgium: European Symposium on Artificial Neural Networks, p. 309-314 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Software Testing Innovation Alliance: the SHIP project

    Vos, T. E. J. & Esparcia-Alcazar, A., 2016, STAF 2016 Doctoral Symposium and Projects Showcase: Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016). Dubois, C., Parisi-Presicce , F., Kolovos , D. & Matragkas , N. (eds.). RWTH Aachen, Vol. 1675. p. 65-71 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • So many brackets! An analysis of how SQL learners (mis)manage complexity during query formulation

    Miedema, D., Fletcher, G. & Aivaloglou, E., 20 Oct 2022, Proceedings: 30th IEEE/ACM International Conference on Program Comprehension, ICPC 2022. O'Conner, L. (ed.). IEEE Computer Society Press, p. 122-132 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Sound C Code Decompilation for a Subset of x86-64 Binaries

    Verbeek, F., Olivier, P. & Ravindran, B., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (eds.). Cham: Springer Nature Switzerland AG, p. 247-264 18 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12310). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12310).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Splitting Techniques for Conditional Belief Bases in the Context of c-Representations.

    Wilhelm, M., Sezgin, M., Kern-Isberner, G., Haldimann, J., Beierle, C. & Heyninck, J., 24 Sept 2023, Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (eds.). Springer, Cham, p. 462-477 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

    Jongmans, S.-S. & Proença, J., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). 1 ed. Cham: Springer, Cham, p. 460-478 19 p. (Lecture Notes in Computer Science, Vol. 13701).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • State Model Inference Through the GUI Using Run-Time Test Generation

    Mulders, A., Valdes, O. R., Ricós, F. P., Aho, P., Marín, B. & Vos, T. E. J., 13 May 2022, Research Challenges in Information Science: 16th International Conference, RCIS 2022, Barcelona, Spain, May 17–20, 2022, Proceedings. Guizzardi, R., Ralyté, J. & Franch, X. (eds.). 1 ed. Cham: Springer, p. 546-563 18 p. (Lecture Notes in Business Information Processing, Vol. 446).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Static Detection of Design Patterns in Class Diagrams

    van Doorn, E., Stuurman, S. & van Eekelen, M., 18 Nov 2019, CSERC '19: Proceedings of the 8th Computer Science Education Research Conference. Rahimi, E. & Stikkolorum, D. (eds.). 1 ed. New York, NY: Association for Computing Machinery (ACM), p. 79–88 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    310 Downloads (Pure)

  • Strategy-based feedback in a programming tutor

    Keuning, H., Heeren, B. J. & Jeuring, J. T., 2014, Proceedings Computer Science Education Research Conference 2014: CSERC 2014, Berlin, Germany. Barendsen, E. & Dagiené, V. (eds.). New York: ACM Digital Library, p. 43-54 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Student Refactoring Behaviour in a Programming Tutor

    Keuning, H., Heeren, B. & Jeuring, J., Nov 2020, Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research. Falkner, N. & Seppälä, O. (eds.). New York: acm, p. Pages 1–10 10 p. 4

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    294 Downloads (Pure)

  • Super-Resolution by Image Enhancement Using Texture Transfer

    Ople, J. J. M., Tan, D. S., Azcarraga, A., Yang, C.-L. & Hua, K.-L., Oct 2020, 2020 IEEE International Conference on Image Processing (ICIP): Proceedings. IEEE, p. 953-957 5 p. 9190844

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning

    Varricchione, G., Alechina, N., Dastani, M. & Logan, B., 7 Sept 2023, Multi-Agent Systems - 20th European Conference, EUMAS 2023, Proceedings. Malvone, V. & Murano, A. (eds.). p. 328–344 (Lecture Notes in Computer Science, Vol. 14282).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types

    Jongmans, S.-S. & Ferreira, F., Jul 2023, 37th European Conference on Object-Oriented Programming, ECOOP 2023. Ali, K. & Salvaneschi, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 263. 30 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 263).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    49 Downloads (Pure)

  • Tackling uncertainty through probabilistic modelling of proportionality in military operations

    Maathuis, C. & Chockalingam, S., 19 Jun 2023, Proceedings of the 22nd European Conference on Cyber Warfare and Security. Andreatos, A. & Douligeris, C. (eds.). Curran Associates Inc., p. 276-284 9 p. (European Conference on Information Warfare and Security, ECCWS, Vol. 2023-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Tandem: Securing Keys by Using a Central Server While Preserving Privacy

    Lueks, W., Hampiholi, B., Alpár, G. & Troncoso, C., 17 Aug 2020, Proceedings on Privacy Enhancing Technologies. Chatzikokolakis, K. & Johnson, A. (eds.). 3 ed. Sciendo, Vol. 2020. p. 327-355 29 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Teachers’ Beliefs and Practices on the Naming of Variables in Introductory Python Programming Courses

    van der Werf, V., Swidan, A., Hermans, F., Specht, M. & Aivaloglou, E., Apr 2024, Proceedings - 2024 ACM/IEEE 46th International Conference on Software Engineering: Software Engineering Education and Training, ICSE-SEET 2024. IEEE Computer Society Press, p. 368-379 12 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Teaching Design for Living Memory

    Consiglio, T., Uras, S. & van der Veer, G. C., Sept 2015, Proceedings of the 6th International Workshop on Human-Computer Interaction, : Tourism and Cultural Heritage ( HCITOCH 2015 ), Strategies for a Creative Future with Computer Science, Quality Design and Communicability, . Ficarra , F. V. C. (ed.). Blue Herons Editions

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic

  • Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models

    Gladyshev, M., Alechina, N., Dastani, M., Doder, D. & Logan, B., 11 Apr 2025, Special Track on AI Alignment. Walsh, T., Shah, J. & Kolter, Z. (eds.). 14 ed. Association for the Advancement of Artificial Intelligence, p. 14949-14957 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 14, Vol. 39).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Temporal Exceptional Model Mining Using Dynamic Bayesian Networks

    Bueno, M. L. P., Hommersom, A. J. & Lucas, P. J. F., 2020, Advanced Analytics and Learning on Temporal Data: 5th ECML PKDD Workshop, AALTD 2020. Lemaire, V., Malinowski, S., Bagnall, A., Guyet, T., Tavenard, R. & Ifrim, G. (eds.). Springer International Publishing AG, p. 97-112 16 p. (Lecture Notes in Computer Science (LNCS) series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • TESTAR: from academic prototype towards an industry-ready tool for automated testing at the user interface level

    Rueda, U., Vos, T. E. J., Almenar, F., MO Martínez, A. I. E. & Oreto, M., 1 Sept 2015, Proceedings of JISBD 2015, Santander: Jornadas de Ingeniería del Software y Bases de Datos. Canós, J. H. & González-Harbour, M. (eds.). p. 236-245 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • TESTOMAT: Next Level of Test Automation

    Eldh, S., Vos, T. E. J., Demeyer, S., Aho, P. K. & van der Bijl, M., 25 Sept 2020, Research Challenges in Information Science: 14th International Conference, RCIS 2020. Dalpiaz, F., Zdravkovic, J. & Loucopoulos, P. (eds.). Cham: Springer Nature Switzerland AG, p. 637-639 3 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • The 5/10 method: a method for designing educational games

    Jeuring, J. T., van Rooij, R. & Pronost, N., 2014, Proceedings of GALA 2013: the Games and Learning Alliance conference: LNCS 8605. De Gloria, A. (ed.). Cham, Switzerland: Springer International Publishing AG, p. 364-369 6 p. (Lecture Notes in Computer Science, Vol. 8605).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • The design of mobile apps: what and how to teach?

    Stuurman, S., van Gastel, B. E. & Passier, H. J. M., 5 Nov 2014, Proceedings of the Fourth Computer Science Education Research Conference : CSERC 2014. Barendsen, E. & Dagiené, V. (eds.). Association for Computing Machinery (ACM), p. 93-100 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • The diagnosing behaviour of intelligent tutoring systems

    van der Bent, R., Jeuring, J. T. & Heeren, B. J., Sept 2019, Transforming Learning with Meaningful Technologies: 14th European Conference on Technology Enhanced Learning, EC-TEL 2019, Delft, The Netherlands, September 16–19, 2019, Proceedings. Scheffel, M., Broisin, J., Pammer-Schindler, V., Ioannou, A. & Schneider, J. (eds.). Cham: Springer, p. 112-126 15 p. (Science of Computer Programming, Vol. 11722).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    298 Downloads (Pure)

  • The Future of Visual Perception

    van der Veer, G. C., 2015, INTERACT 2015 Adjunct Proceedings: 15th IFIP TC.13 International Conference on Human-Computer Interaction, 14 – 18 September 2015, Bamberg, Germany. Beckmann, C. & Gross, T. (eds.). Bamberg: University of Bamberg Press, Vol. 22. p. 283-292 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • The Logic of Separation Logic: Models and Proofs

    de Boer, F. S., Hiep, H. D. A. & de Gouw, S., 14 Sept 2023, Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. Ramanayake, R. & Urban, J. (eds.). Springer, p. 407-426 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14278 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • The Multimodal Learning Analytics Pipeline

    Di Mitri, D., Schneider Barnes, J., Specht, M. M. & Drachsler, H. J., 23 May 2019, Proceedings of the Artificial Intelligence and Adaptive Education Conference - AIAED'19. Beijing, China, p. 1-2 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    7 Downloads (Pure)

  • The Object Relational impedance mismatch from a cognitive point of view

    Benvenuti, L. & van der Veer, G. C., 2014, Psychology of Programming Interest Group Annual Conference 2014: PPIG 2014. du Boulay, B. & Good, J. (eds.). University of Sussex, p. 35-40 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • The Role of Internet Service Providers in Botnet Mitigation

    Pijpker, J. & Vranken, H. P. E., 2016, 2016 European Intelligence and Security Informatics Conference, Proceedings: 17–19 August 2016 Uppsala, Sweden. Brynielsson, J. & Johansson , F. (eds.). IEEE Computer Society Press, p. 24-32 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • The role of Procedural Guidance in Software Engineering Education

    Passier, H., Apr 2017, Companion to the first International Conference on the Art, Science and Engineering of Programming: Brussels, Belgium — April 03 - 06, 2017 . Sartor, J. B., d'Hondt, T. & de Meuter, W. (eds.). New York, NY, USA: ACM Digital Library, 2 p. 21

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • The Second Decade of Informatics in Dutch Secondary Education

    Grgurina, N., Tolboom, J. & Barendsen, E., 2018, Informatics in Schools. Fundamentals of Computer Science and Software Engineering: 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings. Pozdniakov, S. N. & Dagiene, V. (eds.). 1 ed. Cham: Springer International Publishing AG, p. 271-282 12 p. (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 11169).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • The Third Workshop on Behaviour Modelling - Foundations and Applications

    Roubtsova, E. E., McNeile, A. T., Kindler, E. & Aksit, M., 2011, European Conference on Modelling Foundations and Applications: ECMFA 2011: Modelling Foundations and Applications. France, R. B., Kuester, J. M., Bordbar, B. & Paige, R. F. (eds.). Berlin: Springer, Vol. 6698. p. 381-382 2 p. (Lecture Notes in Computer Science, Vol. 6698).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Thinking out of the box: comparing metaphors for variables in programming education

    Hermans, F., Swidan, A., Aivaloglou, E. & Smit, M., 4 Oct 2018, Proceedings of the 13th Workshop in Primary and Secondary Computing Education. Cutts, Q. & Muhling, A. (eds.). Potsdam: acm, 8

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • TinyABE: Unrestricted Ciphertext-Policy Attribute-Based Encryption for Embedded Devices and Low-Quality Networks

    Venema, M. & Alpár, G., 6 Oct 2022, Progress in Cryptology - AFRICACRYPT 2022. Batina, L. & Daemen, J. (eds.). 1 ed. Cham: Springer, Cham, Vol. 13503. p. 103-129 27 p. (Lecture Notes in Computer Science, Vol. 13503).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • To Be or Not to Be a Teacher? Exploring CS Students’ Perceptions of a Teaching Career

    Yeni, S., Aivaloglou, E. & Hermans, F., Nov 2020, Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 1-11 11 p. 11

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Toward new unit-testing techniques for shared-memory concurrent programs

    Jongmans, S.-S., Nov 2019, 2019 24th International Conference on Engineering of Complex Computer Systems : ICECCS 2019, Guangzhou, China, November 10-13, 2019. Pang, J. & Sun, J. (eds.). IEEE Canada, p. 164-169 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Towards a functional requirements prioritization with early mutation testing

    Condori-Fernández, N., Granda, M. F. & Vos, T. E. J., 2 Jun 2018, RET '18: Proceedings of the 5th International Workshop on Requirements Engineering and Testing. New York: Association for Computing Machinery (ACM), p. 21-24 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Towards an Assessment Rubric for EiPE Tasks in Secondary Education: Identifying Quality Indicators and Descriptors

    Weeda, R., Izu, C., Kallia, M. & Barendsen, E., Nov 2020, Proceedings of the 20th Koli Calling International Conference on Computing Education Research. Falker, N. & Seppala, O. (eds.). New York: Association for Computing Machinery, 10 p. 30

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Towards an empirically validated model for assessment of code quality

    Stegeman, M., Barendsen, E. & Smetsers, S., Nov 2014, Koli Calling '14: Proceedings of the 14th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 99-108 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review