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.
- Journal article › Research › Peer-reviewed
- Published
A Modeling Tool for Reconfigurable Skills in ROS
Bozhinoski, D., Aguado, E., Oviedo, M. G., Corbato, C. H., Sanz, R. & Wasowski, A., 2021, In: 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE). p. 25-28Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 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
- 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
- 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
- Published
Data-efficient performance learning for configurable systems
Guo, J., Yang, D., Siegmund, N., Apel, S., Sarkar, A., Valov, P., Czarnecki, K., Wasowski, A. & Yu, H., Nov 2017, In: Empirical Software Engineering. 42 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Effective Analysis of C Programs by Rewriting Variability
Iosif-Lazar, A. F., Melo, J., Dimovski, A., Brabrand, C. & Wasowski, A., 27 Jan 2017, In: The Art, Science, and Engineering of Programming. 1, 1, p. 1-25 25 p., 1.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Finding suitable variability abstractions for lifted analysis
Dimovski, A., Brabrand, C. & Wasowski, A., 2019, In: Formal Aspects of Computing. 31, 2, p. 231-259Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Generalized abstraction-refinement for game-based CTL lifted model checking
Dimovski, A., Wasowski, A. & Legay, A., 2020, In: Theoretical Computer Science. 837, p. 181-206 26 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 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 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
Verification of Program Transformations with Inductive Refinement Types
Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2021, In: ACM Transactions on Software Engineering and Methodology. 30, 1, p. 1-33 5.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Editorial › Research › Not peer-reviewed
- 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
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-960Research output: Journal Article or Conference Article in Journal › Editorial › Research
- Published
Guest editorial to the special section on MODELS 2018
Wasowski, A., Paige, R. & Haugen, Ø., 2020, In: Software and Systems Modeling. 19, 4, p. 825-826 2 p.Research output: Journal Article or Conference Article in Journal › Editorial › Research
- Ph.D. thesis › Research
- 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
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
Variability Bugs: Program and Programmer Perspective
Melo, J., 2017, IT-Universitetet i København. 216 p. (ITU-DS; No. 135).Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research
- Book chapter › Research › Peer-reviewed
- Published
Behavior trees in action: A study of robotics applications
Ghzouli, R., Berger, T., Broch Johnsen, E., Dragule, S. & Wasowski, A., 2020, Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020. Association for Computing Machinery, p. 196–209 (Proceedings of ACM SIGPLAN International Conference on Software Language Engineering).Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
- Published
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL
Dimovski, A. & Wasowski, A., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer, p. 249-268 (Lecture Notes in Computer Science, Vol. 10460).Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
- Published
Galois Connections for Recursive Types
Al-Sibahi, A. S., Jensen, T. P., Møgelberg, R. E. & Wasowski, A., 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Springer, p. 105-131 (Lecture Notes in Computer Science, Vol. 12065).Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
- 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