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

    Intention-based integration of software variants

    Lillack, M., Stanciulescu, S., Hedman, W., Berger, T. & Wasowski, A., 2019, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE, p. 831-842 (Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019).

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

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

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

  4. Published

    Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT

    Hebig, R., Seidl, C., Berger, T., Kook Pedersen, J. & Wasowski, A., 2019, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Gesellschaft fur Informatik (GI), p. 91-92 (Lecture Notes in Informatics).

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

  5. Published

    Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis

    Pardo, R., Rafnsson, W., Probst, C. & Wasowski, A., 2021, European Symposium on Research in Computer Security: Computer Security – ESORICS 2021. Springer, Vol. 12973. (Lecture Notes in Computer Science, Vol. 12973).

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

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

  7. Published

    SoK: Three Facets of Privacy Policies

    Morel, V. & Jimenez, R. P., Nov 2020, WPES'20: Proceedings of the 19th Workshop on Privacy in the Electronic Society. Association for Computing Machinery, p. 41-56 16 p. (Proceedings of the 19th Workshop on Privacy in the Electronic Society 2020).

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

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

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

  10. Published

    Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

    Dimovski, A., Legay, A. & Wasowski, A., 2019, Fundamental Approaches to Software Engineering. FASE 2019. Springer, p. 192-209 (Lecture Notes in Computer Science, Vol. 11424).

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

  11. Published

    Variability abstractions for lifted analyses

    Dimovski, A., Brabrand, C. & Wasowski, A., 2018, In: Science of Computer Programming. 159, p. 1-27

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

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

  13. Published

    Variability through the Eyes of the Programmer

    Melo, J., Batista Narcizo, F., Hansen, D. W., Brabrand, C. & Wasowski, A., 1 May 2017, 2017 IEEE/ACM 25th International Conference on Program Comprehension (ICPC). IEEE, p. 34-44 11 p.

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

  14. Published

    Variability-Specific Abstraction Refinement for Family-Based Model Checking

    Dimovski, A. & Wasowski, A., 23 Mar 2017, Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017: Fundamental Approaches to Software Engineering, FASE 2017. Huisman, M. & Rubin, J. (eds.). Berlin, Heidelberg: Springer, p. 406-423 17 p. (Lecture Notes in Computer Science, Vol. 10202).

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

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

  16. Published

    Why Does Code Review Work for Open Source Software Communities?

    Alami, A., Cohn, M. & Wasowski, A., 25 May 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). IEEE

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

Previous 1 2 Next