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.
- Book chapter › Research › Peer-reviewed
- 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
- 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
- Article in proceedings › Research › Peer-reviewed
- Published
Affiliated Participation in Open Source Communities
Alami, A. & Wasowski, A., 19 Sep 2019, The 13th edition of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) . IEEE, 12 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- 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
- 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, 60Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- 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 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
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
- 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
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