ITU

Software Quality

Organisational unit: Research Group

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Contact information

Research Group Coordinator

Andrzej Wasowski (wasowski@itu.dk)

Organisation profile

The SQUARE group does research on theorymethodsand tools that could improve the quality of Software:

  • We conduct studies of programs (code) which aim to identify problems in Software;
  • We conduct studies of programmers (humans) which aim to identify problems with the process of developing Software;
  • We develop and assess tools for programs (code) aimed directly at improving the quality of Software; and
  • We develop and assess tools for programmers (humans) aimed at indirectly improving the quality of Software.
  1. Editorial
  2. Published

    Guest editorial to the special section on ECMFA and ICMT at STAF 2016: Modeling and model transformations research in 2016

    Van Gorp, P. & Wasowski, A., 2019, In: Software and Systems Modeling. 18, 2, p. 959-960

    Research output: Journal Article or Conference Article in JournalEditorial

  3. Published

    Guest editorial to the special section on MODELS 2018

    Wasowski, A., Paige, R. & Haugen, Ø., 2020, In: Software and Systems Modeling. 19, 4, p. 825-826 2 p.

    Research output: Journal Article or Conference Article in JournalEditorial

  4. Ph.D. thesis
  5. Published

    Foundational Analysis Techniques for High-Level Transformation Programs

    Al-Sibahi, A. S., 2018, IT-Universitetet i København. 316 p. (ITU-DS; No. 03).

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesis

  6. Published

    Variability Bugs: Program and Programmer Perspective

    Melo, J., 2017, IT-Universitetet i København. 216 p. (ITU-DS; No. 135).

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesis

  7. Published

    Systematic Reuse and Ad Hoc Forking to Develop Software Variants

    Stanciulescu, S., 2017, IT-Universitetet i København. 190 p. (ITU-DS; No. 141).

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesis

  8. Book chapter
  9. Published

    Galois Connections for Recursive Types

    Al-Sibahi, A. S., Jensen, T. P., Møgelberg, R. E. & Wasowski, A., 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Springer, p. 105-131 (Lecture Notes in Computer Science, Vol. 12065).

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  10. Published

    From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL

    Dimovski, A. & Wasowski, A., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer, p. 249-268 (Lecture Notes in Computer Science, Vol. 10460).

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  11. Published

    Behavior trees in action: A study of robotics applications

    Ghzouli, R., Berger, T., Broch Johnsen, E., Dragule, S. & Wasowski, A., 2020, Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020. Association for Computing Machinery, p. 196–209 (Proceedings of ACM SIGPLAN International Conference on Software Language Engineering).

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  12. Published

    Intention-Based Integration of Software Variants

    Lillack, M., Stanciulescu, S., Hedman, W., Berger, T. & Wasowski, A., 2020, Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria. . Gesellschaft fur Informatik (GI), p. 57-58 2 p. (Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria).

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  13. Article in proceedings
  14. Published

    Effective Bug Finding in C Programs with Shape and Effect Abstractions

    Abal, I., Brabrand, C. & Wasowski, A., 2017, Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings. Springer, p. 34-54 (Lecture Notes in Computer Science, Vol. 10145).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review