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 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.
21 - 30 out of 39Page size: 10
  1. 2019
  2. 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 Journal › Journal article › Research › peer-review

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

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

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

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

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

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

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

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

Previous 1 2 3 4 Next