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. Article in proceedings › Research › Peer-reviewed
  2. Published

    Detecting Floating-Point Errors via Atomic Conditions

    Zou, D., Zou, M., Xiong, Y., Fu, Z., Zhang, L. & Su, Z., 2019, 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020). Association for Computing Machinery, 60

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

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

  4. Published

    Effective Floating-Point Analysis via Weak-Distance Minimization

    Fu, Z. & Su, Z., 2019, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: Association for Computing Machinery, p. 439--452 14 p.

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

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

  6. Published

    How Do FOSS Communities Decide to Accept Pull Requests?

    Alami, A., Cohn, M. & Wasowski, A., 15 Apr 2020, EASE '20: Proceedings of the Evaluation and Assessment in Software Engineering. Association for Computing Machinery, p. 220-229 10 p.

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

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

  8. Published

    Identifying Redundancies in Fork-based Development

    Ren, L., Zhou, S., Kästner, C. & Wasowski, A., 2019, The 26th IEEE International Conference on Software Analysis Evolution and Reengineering, Hangzhou, China, Februrary 24-27, 2019. IEEE Press

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

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

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

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