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