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 theory, methods, and 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.
26 - 47 out of 47Page size: 25
  1. 2019
  2. 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 chapter › Article in proceedings › Research › peer-review

  3. 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 chapter › Article in proceedings › Research › peer-review

  4. 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 Journal › Editorial › Research

  5. 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 chapter › Article in proceedings › Research › peer-review

  6. 2020
  7. Published

    A Tailored Participatory Action Research for FOSS Communities

    Alami, A., Nielsen, P. A. & Wasowski, A., 4 Sep 2020, In: Journal of Empirical Software Engineering. 25, 5, p. 3639 - 3670 23 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  8. 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 chapter › Article in proceedings › Research › peer-review

  9. 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 chapter › Book chapter › Research › peer-review

  10. Published

    Generalized abstraction-refinement for game-based CTL lifted model checking

    Dimovski, A., Wasowski, A. & Legay, A., 2020, In: Theoretical Computer Science. 837, p. 181-206 26 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  11. 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 Journal › Journal article › Research › peer-review

  12. 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 chapter › Book chapter › Research › peer-review

  13. 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 chapter › Book chapter › Research › peer-review

  14. 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 chapter › Article in proceedings › Research › peer-review

  15. Published

    Dependency bugs: the dark side of variability, reuse and modularity

    Wasowski, A., 2020, 2 p. Association for Computing Machinery.

    Research output: Other contribution › Research

  16. 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 Journal › Editorial › Research

  17. 2021
  18. Published

    Verification of Program Transformations with Inductive Refinement Types

    Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2021, In: ACM Transactions on Software Engineering and Methodology. 30, 1, p. 1-33 5.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  19. Published

    Co-designing DSL quality assurance measures for and with non-programming experts

    Borum, H. S., Seidl, C. & Sestoft, P., 18 Oct 2021, DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling. Association for Computing Machinery, p. 31-40 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  20. Published

    On Designing Applied DSLs for Non-programming Experts in Evolving Domains

    Borum, H. S., Niss, H. & Sestoft, P., 2021, Proceedings of 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS 2021. IEEE, p. 227-238 11 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  21. Published

    A Modeling Tool for Reconfigurable Skills in ROS

    Bozhinoski, D., Aguado, E., Oviedo, M. G., Corbato, C. H., Sanz, R. & Wasowski, A., 2021, In: 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE). p. 25-28

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  22. Published

    Assessing Privacy Risks Using Probabilistic Programming

    Jimenez, R. P., Rafnsson, W., Probst, C. W. & Wasowski, A., 2021.

    Research output: Contribution to conference - NOT published in proceeding or journal › Poster › Research › peer-review

  23. Published

    Reactive Programming of Robots with RxROS

    Larsen, H., van der Hoorn, G. & Wasowski, A., 2021, Robot Operating System (ROS). Springer, Vol. 962. p. 55-83 (Studies in Computational Intelligence, Vol. 962).

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

  24. 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 chapter › Article in proceedings › Research › peer-review

  25. 2022
  26. Published

    Experiences with Constructing and Evolving a Software Product Line with Delta-Oriented Programming

    Nieke, M., Hoff, A., Schaefer, I. & Seidl, C., 2022, Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems (VAMOS ’22). Association for Computing Machinery, (International Working Conference on Variability Modelling of Software-Intensive Systems (VAMOS)).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Previous 1 2 Next