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.
- 2018
- Published
Foundational Analysis Techniques for High-Level Transformation Programs
Al-Sibahi, A. S., 2018, IT-Universitetet i København. 316 p. (ITU-DS; No. 03).Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research
- Published
Verification of high-level transformations with inductive refinement types
Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2018, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston, MA, USA, November 5-6, 2018. Association for Computing Machinery, p. 147-160 14 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Editorial
Denney, E., Stevens, P. & Wasowski, A., 2018, In: Formal Aspects of Computing. 30, 1, p. 1-1 1 p., 1.Research output: Journal Article or Conference Article in Journal › Editorial › Research
- Published
Variability abstractions for lifted analyses
Dimovski, A., Brabrand, C. & Wasowski, A., 2018, In: Science of Computer Programming. 159, p. 1-27Research output: Journal Article or Conference Article in Journal › Journal article › 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
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
Identifying Features in Forks
Zhou, S., Stanciulescu, S., Lessnich, O., Xiong, Y., Wasowski, A. & Kästner, C., 2018, Proceedings of the 40th ACM/IEEE International Conference on Software Engineering (ICSE2018), Gothenburg, Sweden. IEEE, 12 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- 2017
- 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
Controller synthesis for dynamic hierarchical real-time plants using timed automata
Bin Waez, M. T., Wasowski, A., Dingel, J. & Rudie, K., 2017, In: Discrete Event Dynamic Systems. 27, 2, p. 407-441Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review