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.
- 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
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
- 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
- Published
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018
Wasowski, A., Paige, R. & Haugen, Ø., 2018, Association for Computing Machinery.Research output: Other contribution › Research
- 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
- 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
Systematic Reuse and Ad Hoc Forking to Develop Software Variants
Stanciulescu, S., 2017, IT-Universitetet i København. 190 p. (ITU-DS; No. 141).Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research
- 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
- 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