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 › Research › Not peer-reviewed
  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 JournalEditorialResearch

  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 JournalEditorialResearch

  4. Ph.D. thesis › Research
  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. thesisResearch

  6. 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. thesisResearch

  7. 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. thesisResearch

  8. Book chapter › Research › Peer-reviewed
  9. 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

  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

    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

  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 › Research › Peer-reviewed
  14. Published

    Affiliated Participation in Open Source Communities

    Alami, A. & Wasowski, A., 19 Sep 2019, The 13th edition of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) . IEEE, 12 p.

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