ITU

Software Quality

Organisational unit: Research Group

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

Contact information

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. Ph.D. thesis
  2. 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

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

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

  5. Editorial
  6. 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

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

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

  9. Journal article
  10. 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

  11. Published

    Effective Analysis of C Programs by Rewriting Variability

    Iosif-Lazar, A. F., Melo, J., Dimovski, A., Brabrand, C. & Wasowski, A., 27 Jan 2017, In: The Art, Science, and Engineering of Programming. 1, 1, p. 1-25 25 p., 1.

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

  12. Published

    Data-efficient performance learning for configurable systems

    Guo, J., Yang, D., Siegmund, N., Apel, S., Sarkar, A., Valov, P., Czarnecki, K., Wasowski, A. & Yu, H., Nov 2017, In: Empirical Software Engineering. 42 p.

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

  13. Published

    The forgotten case of the dependency bugs: on the example of the robot operating system

    Fischer-Nielsen, A., Fu, Z., Su, T. & Wasowski, A., 2020, In: Proceedings of the International Conference on Software Engineering. p. 21-30 10 p.

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