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. 2018
  2. Published

    Editorial

    Denney, E., Stevens, P. & Wasowski, A., 2018, In: Formal Aspects of Computing. 30, 1, p. 1-1 1 p., 1.

    Research output: Journal Article or Conference Article in JournalEditorialResearch

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

  4. Published

    Influencers of Quality Assurance in an Open Source Community

    Alami, A., Dittrich, Y. & Wasowski, A., 27 May 2018, Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE '18). Association for Computing Machinery, p. 61-68 8 p. ICSE-WS-CHASE-22

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

  5. Published

    Verification of high-level transformations with inductive refinement types

    Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2018, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston, MA, USA, November 5-6, 2018. Association for Computing Machinery, p. 147-160 14 p.

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

  6. Published

    Going Beyond Obscurity: Organizational Approaches to Data Anonymization

    Hargitai, V., Shklovski, I. & Wasowski, A., 2018, Proceedings of the ACM on Human-Computer Interaction - CSCW. Association for Computing Machinery, Vol. 2. (Proceedings of the ACM on Human-Computer Interaction - CSCW).

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

  7. Published

    Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT

    Hebig, R., Berger, T., Seidl, C., Kook Pedersen, J. & Wasowski, A., 2018, Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. Association for Computing Machinery, p. 445-455 11 p.

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

  8. Published

    Identifying Features in Forks

    Zhou, S., Stanciulescu, S., Lessnich, O., Xiong, Y., Wasowski, A. & Kästner, C., 2018, Proceedings of the 40th ACM/IEEE International Conference on Software Engineering (ICSE2018), Gothenburg, Sweden. IEEE, 12 p.

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

  9. Published

    Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018

    Wasowski, A., Paige, R. & Haugen, Ø., 2018, Association for Computing Machinery.

    Research output: Other contributionResearch

  10. 2019
  11. Published

    Finding suitable variability abstractions for lifted analysis

    Dimovski, A., Brabrand, C. & Wasowski, A., 2019, In: Formal Aspects of Computing. 31, 2, p. 231-259

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  12. Published

    Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

    Juodisius, P., Sarkar, A., Mukkamala, R. R., Antkiewicz, M., Czarnecki, K. & Wasowski, A., 2019, In: The Art, Science, and Engineering of Programming. 3, 1, p. 2:1-2:62 62 p., 2.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review