Search results

  • Conference Article in proceeding

    A Data-Driven Exploration of Hypotheses on Disease Dynamics

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F. & Janzing, J., 30 May 2019, Artificial Intelligence in Medicine: 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings. Riaño, D., Wilk, S. & ten Teije, A. (eds.). Cham: Springer International Publishing AG, p. 170-179 10 p. (Lecture Notes in Computer Science (LNCS), Vol. 11526).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • A Documentation-Centred Approach to Software Design, Development and Deployment

    van Loggem, B. & van der Veer, G. C., 2014, Building Bridges: HCI, Visualization, and Non-formal Modeling: IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers. Ebert, A., van der Veer, G. C., Domik, G., Gershon, N. D. & Scheler, I. (eds.). Springer-Verlag Berlin Heidelberg, p. 188-200 13 p. (Lecture Notes in Computer Science (LNCS); No. 8345). (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 8345).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects

    Verbeek, F., Yaghini, P. M., Eghbal, A. & Bagherzadeh, N., 2016, Proceedings of the 2016 Conference on Design, Automation & Test in Europe: DATE 2016. ACM Digital Library, p. 1640-1645 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • A Formal Semantics for P-Code

    Naus, N., Verbeek, F., Walker, D. & Ravindran, B., 2023, Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022. Lal, A. & Tonetta, S. (eds.). 1 ed. Springer, Cham, p. 111-128 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13800 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • A Framework for the Localization of Programming Languages

    Swidan, A. & Hermans, F., 18 Oct 2023, SPLASH-E 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E: SPLASH 2023. Feldman, M. Q. & Hilton, M. (eds.). Association for Computing Machinery (ACM), p. 13-25 13 p. (Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Agent-based Testing of Extended Reality Systems

    Prada, R., Prasetya, I. S. W. B., Kifetew, F. M., Dignum, F., Vos, T. E. J., Lander, J., Donnart, J.-Y., Kazmierowski, A., Davidson, J. & Fernandes, P. M., Aug 2020, Proceedings: 2020 IEEE 13th International Conference on Software Testing, Verification and Validation: ICST 2020. IEEE, p. 414-417 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • A Hoare Logic for Energy Consumption Analysis

    Kersten, R. W. J., Parisien Toldin, P., van Gastel, B. E. & van Eekelen, M. C. J. D., 2014, Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Dal Lago, U. & Peña, R. (eds.). Cham: Springer, p. 93-109 17 p. (Lecture Notes in Computer Science, Vol. 8552).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • An agent-based approach to automated game testing: an experience report

    Prasetya, I. S. W. B., Ricós, F. P., Kifetew, F. M., Prandi, D., Shirzadehhajimahmood, S., Vos, T. E. J., Paska, P., Hovorka, K., Ferdous, R., Susi, A. & Davidson, J., 9 Nov 2022, A-TEST 2022: Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation. Akos Kiss, Beatriz Marin & Mehrdad Saadatmand (eds.). ACM Digital Library, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Analysing and adapting communication scenarios in virtual learning environments for one-to-one communication skills training

    Lala, R., Jeuring, J. T. & Overbeek, T., 2017, iLRN 2017 Coimbra: Workshop, Long and Short Paper , and Poster Proceedings from the Third Immersive Learning Research Network Conference. Beck, D., Allison, C., Morgado, L., Pirker, J., Khosmood, F., Richter, J. & Gütl, C. (eds.). Verlag der Technischen Universität Graz, p. 197-204

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Analysing Privacy Analyses

    Bella, G., Butin, D. & Jonker, H., 2017, Proceedings of the 1st Italian Conference on Cybersecurity: ITASEC17. Armando, A., Baldoni, R. & Focardi, R. (eds.). Aachen: CEUR-WS.org, p. 19-28 10 p. (CEUR Workshop Proceedings, Vol. 1816).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Analysis and Formal Specification of OpenJDK's BitSet

    Tatman, A. S., Hiep, H.-D. A. & Gouw, S. D., 2024, 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. 134-152 19 p. (Lecture Notes in Computer Science, Vol. 14300).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Analysis of SLA Compliance in the Cloud: An Automated, Model-based Approach

    Boer, F. S. D., Giachino, E., Gouw, S. D., Hähnle, R., Johnsen, E. B., Laneve, C., Pun, K. I. & Zavattaro, G., 27 Aug 2019, Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution : Amsterdam, Netherlands, 17th July 2018. Ancona, D. & Pace, G. (eds.). Open Publishing Association, Vol. 302. p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Analysis of specifications of multiparty sessions with dcj-lint

    Horlings, E. & Jongmans, S.-S., Aug 2021, ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D., Gousios, G., Chechik, M. & Di Penta, M. (eds.). ACM Digital Library, p. 1590-1594 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Analyzing conceptual content of international informatics curricula for secondary education

    Barendsen, E. & Steenvoorden, B., 2016, Informatics in schools: Improvement of informatics knowledge and perception : 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Brodnik, A. & Tort, F. (eds.). Cham: Springer International Publishing AG, p. 14-27 (Lecture Notes in Computer Science (LNCS) series, Vol. 9973). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9973).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Analyzing student's software redesign strategies

    Stuurman, S., Passier, H. & Barendsen, E., 24 Nov 2016, Koli Calling '16: Proceedings of the 16th Koli Calling International Conference on Computing Education Research. Sheard, J. & Suero Montero, C. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 110-119 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Analyzing the Role of Ukrainian and Russian Diaspora in Disinformation Campaigns

    Maathuis, C., de Ridder, C. & Stuurman, S., 5 May 2023, Proceedings of the 10th European Conference on Social Media. Dr Iwona Lupa-Wójcik & Dr Marta Czyżewska (eds.). Academic Conferences International Limited, Vol. 10. p. 153-162 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • A New Informatics Curriculum for Secondary Education in The Netherlands

    Barendsen, E., Grgurina, N. & Tolboom, J., 2016, Informatics in Schools: Improvement of Informatics Knowledge and Perception: 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Brodnik, A. & Tort, F. (eds.). Cham: Springer International Publishing AG, p. 105-117 (Lecture Notes in Computer Science (LNCS) series, Vol. 9973). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9973).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • A new method for sustainable development of open educational resources

    Stuurman, S., van Eekelen, M. & Heeren, B. J., 9 Sept 2012, Proceedings of Second Computer Science Education Research Conference. van der Veer, G., Sikorski, M., Sloep, P. & van Eekelen, M. (eds.). acm, p. 57-66 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • An exercise assistant for practical networking and IT security courses in higher education

    Haag, J., Karsch, S., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2015, Computer Supported Education: 6th International Conference, CSEDU 2014, Barcelona, Spain, April 1-3, 2014, Revised Selected Papers. Zvacek, S., Restivo, M. T., Uhomoibhi, J. & Helfert, M. (eds.). Cham: Springer International Publishing AG, p. 84-98 15 p. (Communications in Computer and Information Science (CCIS), Vol. 510).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • An exercise assistant for practical networking courses

    Haag, J., Witte, C., Karsch, S., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2014, Proceedings of the 6th International Conference On Computer Supported Education : (CSEDU2014, 1-3 April, 2014, Barcelona, Spain). Zvacek, S., Restivo , M. T., Uhomoibhi , J. & Helfert , M. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 97-104 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • An extensible domain-specific language for describing problem-solving procedures

    Heeren, B. & Jeuring, J., 2017, Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings. André, E., Baker, R., Hu, X., Rodrigo, M. T. & du Boulay, B. (eds.). Springer International Publishing AG, Vol. LNCS 10331. p. 77-89 13 p. (Lecture Notes in Computer Science; No. 10331).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • An implementation architecture for scenario-based simulations

    Lala, R., Jeuring, J. T. & Van Dortmont, J., Jun 2016, Intelligent Tutoring Systems: 13th International Conference, ITS 2016. Micarelli, A., Stamper, J. & Panourgia, K. (eds.). Springer, (Lecture Notes in Computer Science, Vol. 9684).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    File
    74 Downloads (Pure)
  • An Instructional Model to Link Designing and Conceptual Understanding in Secondary Computer Science Education

    Rahimi, E., Barendsen, E. & Henze, I., 4 Oct 2018, Proceedings of the 13th Workshop on Primary and Secondary Computing Education. Cutts, Q. & Muhling, A. (eds.). New York, NY: acm, 4 p. 11. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • An Integration of Computational Thinking and Language Arts: The Contribution of Digital Storytelling to Students' Learning

    Yeni, S., Nijenhuis-Voogt, J., Hermans, F. & Barendsen, E., 31 Oct 2022, WiPSCE 2022: Proceedings of the 17th Workshop in Primary and Secondary Computing Education. Grillenberger, M. & Berges, M. (eds.). Association for Computing Machinery, 10 p. 3

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions

    Arends, H., Keuning, H., Heeren, B. & Jeuring, J., 2017, Koli Calling '17: Proceedings of the 17th Koli Calling International Conference on Computing Education Research. New York: ACM Digital Library, p. 2-9 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • An observation method for behavioral analysis of collaborative modeling skills

    Wilmont, I., Hoppenbrouwers, S. & Barendsen, E., 2017, Advanced Information Systems Engineering Workshops: CAISE 2017 International Workshops, Essen, Germany, June 12–16, 2017, Proceedings. Metzger, A. & Persson, A. (eds.). Springer International Publishing AG, p. 59-71

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

    Cledou, G., Edixhoven, L., Jongmans, S.-S. & Proença, J., Jun 2022, 36th European Conference on Object-Oriented Programming: ECOOP 2022., K. A. & , J. V. (eds.). Schloss Dagstuhl - LZI GmbH, Vol. 222. p. 27:1-27:28 28 p. 27. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • A pilot study of the use of LogEx, lessons learned

    Lodder, J. S., Heeren, B. J. & Jeuring, J. T., 2015, Proceedings of the Fourth International Conference on Tools for Teaching Logic: 9–12 June 2015. Huertas, M. A., Marcos, J., Manzano , M., Pinchinat, S. & Schwarzentruber, F. (eds.). Rennes: Presses Universitaires de Rennes, p. 93-100 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Aplib: Tactical Agents for Testing Computer Games

    Prasetya, I. S. W. B., Dastani, M., Prada, R., Vos, T. E. J., Dignum, F. & Kifetew, F. M., 7 Jan 2021, Engineering Multi-Agent Systems: 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers. Cristina Baroglio, Jomi F. Hubner & Michael Winikoff (eds.). 1 ed. Springer, Vol. 12589. p. 21-41 21 p. (Lecture Notes in Computer Science, Vol. 12589).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Applying deep learning on packet flows for botnet detection: Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing

    van Roosmalen, J., Vranken, H. P. E. & van Eekelen, M. C. J. D., 13 Apr 2018, Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France. Haddad , H. M., Wainwright , R. L. & Chbeir , R. (eds.). New York: acm, p. 1629-1636 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    203 Downloads (Pure)
  • Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming

    Michels, S., Hommersom, A. & Lucas, P. J. F., Jul 2016, IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Brewka, G. (ed.). AAAI Press, p. 3616-3622 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • A preliminary study on the adoption and effectiveness of SameSite cookies as a CSRF defence

    Compagna, L., Jonker, H. L., Krochewski, J., Krumnow, B. & Sahin, M., 29 Oct 2021, IEEE European Symposium on Security and Privacy Workshops: (EuroS&PW). IEEE, p. 49-59 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • A Prognostic Model of Glioblastoma Multiforme Using Survival Bayesian Networks

    Rabinowicz, S., Hommersom, A., Butz, R. S. & Williams, M., 2017, Artificial Intelligence in Medicine: 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings. ten Teije, A., Popow, C., Holmes, J. H. & Sacchi, L. (eds.). Cham: Springer International Publishing AG, p. 81-85 5 p. (Lecture Notes in Computer Science, Vol. 10259).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Architecture and Design Patterns for Distributed, Scalable Augmented Reality and Wearable Technology Systems

    Guest, W., Wild, F., Mitri, D. D., Klemke, R., Karjalainen, J. & Helin, K., Dec 2019, 2019 IEEE International Conference on Engineering, Technology and Education (TALE). IEEE, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Are some prices more equal than others? Evaluating store-based price differentiation

    Jonker, H., Karsch, S., Krumnow, B. & Meesters, G., Mar 2023, Proceedings Workshop on Measurements, Attacks, and Defenses for the Web (MADWeb) 2023 . Internet Society, p. 1-11 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • A Security Perspective on Publication Metrics

    Jonker, H. & Mauw, S., 2017, Security Protocols XXV: 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers. Stajano, F., Anderson, J., Christianson, B. & Matyáš, V. (eds.). Cham: Springer International Publishing AG, p. 186-200 15 p. (Security and Cryptology (LNCS subseries), Vol. 10476). (Lecture Notes in Computer Science; No. 10476).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • A Security Perspective on Publication Metrics (Transcript of Discussion)

    Jonker, H., 2017, Security Protocols XXV: 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers. Stajano, F., Anderson, J., Christianson, B. & Matyáš, V. (eds.). Cham: Springer International Publishing AG, p. 201-213 14 p. (Lecture Notes in Computer Science, Vol. 10476). (Security and Cryptology (LNCS subseries), Vol. 10476).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality

    Kamps, S., Heeren, B. & Jeuring, J., Aug 2020, Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell. Schrijvers, T. (ed.). New York, NY, USA: Association for Computing Machinery, p. 67–79 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    143 Downloads (Pure)
  • Assessment of Modeling and Simulation in Secondary Computing Science Education

    Grgurina, N., Barendsen, E., Suhre, C., Zwaneveld, B. & van Veen, K., 4 Oct 2018, Proceedings of the 13th Workshop on Primary and Secondary Computing Education (WiPSCE): October 4–6, 2018, Potsdam, Germany. Mühling, A. & Cutts, Q. (eds.). New York, NY: acm, 10 p. a5

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Assessment of Modeling Projects in Informatics Class

    Grgurina, N., Barendsen, E., Suhre, C., van Veen, K. & Zwaneveld, B., 2018, Constructionism 2018: Constructionism, Computational Thinking and Educational Innovation: conference proceedings. Dagienė, V. & Jasutė, E. (eds.). Vilnius: Vilnius University, p. 570-576 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • A Structured (Java) Exercise Repository with Automated Feedback (SERF).

    Passier, H., Huizing, C., Kok, A., Kuiper, R., Bijlsma, L., Scheffers, E., Schivo, S. & Vos, T. E. J., 22 Nov 2021, CSERC '21: Proceedings of the 10th Computer Science Education Research Conference. Stikkolorum, D. & Rahimi, E. (eds.). Association for Computing Machinery (ACM), p. 68-69 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • A Structured Design Methodology for Concurrent Programming

    Bijlsma, A., Huizing, C., Kuiper, R., Passier, H. J. M., Pootjes, H. J. & Smetsers, J. E. W., 2017, Proceedings of the 6th Computer Science Education Research Conference, CSERC 2017: November 13 and 14, Helsinki, Finland. Pieterse, V., van Eekelen, M. & Giannakos, M. (eds.). ACM Digital Library, p. 1-9 9 p. (ICPS: ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • A Systematic Mapping Study of Code Quality in Education

    Keuning, H., Jeuring, J. & Heeren, B., 30 Jun 2023, ITiCSE 2023: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 5-11 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, Vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Autism: Implications for Inclusive Education with respect to Software Engineering

    Stuurman, S., Passier, H. J. M., Geven, F. & Barendsen, E., 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. 15-25 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    520 Downloads (Pure)
  • Automated feedback for mathematical learning environments

    Heeren, B. & Jeuring, J., 2020, Proceedings of the 14th International Conference on Technology in Mathematics Teaching – ICTMT 14: Essen, Germany, 22nd to 25th of July 2019, University of Duisburg-Essen. Barzel, B., Bebernik, R., Göbel, L., Pohl, M., Ruchniewicz, H., Schacht, F. & Thurm, D. (eds.). Essen, Germany: University of Duisburg-Essen, p. 17-25 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Automated feedback on the structure of hypothesis tests

    Tacoma, S. G., Heeren, B. J., Jeuring, J. T. & Drijvers, P., 2019, Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education. Jankvist, U. T., van den Heuvel-Panhuizen, M. & Veldhuis, M. (eds.). Freudenthal Group & Freudenthal Institute, Utrecht University and ERME, p. 2969-2976 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Automated feedback on the structure of hypothesis tests

    Tacoma, S., Heeren, B., Jeuring, J. & Drijvers, P., 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., McLaren, B., Hastings, P. & Luckin, R. (eds.). Cham: Springer, p. 281-285 5 p. (Science of Computer Programming, Vol. 11626).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    87 Downloads (Pure)
  • Automated Localisation Testing in Industry with Test*

    Martinez, M., Esparcia, A. I., Rueda, U., Vos, T. E. J. & Ortega, C., 2016, Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Wotawa, F., Nica, M. & Kushik, N. (eds.). Cham: Springer International Publishing, p. 241-248 8 p. (Lecture Notes in Computer Science, Vol. 9976).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Automated Scriptless GUI Testing Aligned with Requirements and User Stories

    Karimi, M., 2024, Research Challenges in Information Science - 18th International Conference, RCIS 2024, Proceedings. Araújo, J., de la Vara, J. L., Santos, M. Y. & Assar, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 131-140 10 p. (Lecture Notes in Business Information Processing, Vol. 514 LNBIP).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Beautiful JavaScript: How to guide students to create good and elegant code

    Passier, H. J. M., Stuurman, S. & Pootjes, H. J., 5 Nov 2014, CSERC '14: Proceedings of the Computer Science Education Research Conference. Barendsen, E. & Dagiené, V. (eds.). acm, p. 65-76 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access