ITU

Software Quality

Organisational unit: Research Group

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Contact information

Research Group Coordinator

Andrzej Wasowski (wasowski@itu.dk)

Organisation profile

The SQUARE group does research on theorymethodsand 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.
  1. 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 JournalJournal articleResearchpeer-review

  2. 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 chapterArticle in proceedingsResearchpeer-review

  3. Published

    Assessing Privacy Risks Using Probabilistic Programming

    Jimenez, R. P., Rafnsson, W., Probst, C. W. & Wasowski, A., 2021.

    Research output: Contribution to conference - NOT published in proceeding or journalPosterResearchpeer-review

  4. 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 chapterBook chapterResearchpeer-review

  5. 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 JournalJournal articleResearchpeer-review

  6. 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-441

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  7. 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 JournalJournal articleResearchpeer-review

  8. Published

    Dependency bugs: the dark side of variability, reuse and modularity

    Wasowski, A., 2020, 2 p. Association for Computing Machinery.

    Research output: Other contributionResearch

  9. 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, 60

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  10. 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 JournalEditorial

  11. 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 JournalJournal articleResearchpeer-review

  12. 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 chapterArticle in proceedingsResearchpeer-review

  13. 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 chapterArticle in proceedingsResearchpeer-review

  14. Published

    Finding suitable variability abstractions for lifted analysis

    Dimovski, A., Brabrand, C. & Wasowski, A., 2019, In: Formal Aspects of Computing. 31, 2, p. 231-259

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  15. 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. thesisPh.D. thesis

  16. 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 chapterBook chapterResearchpeer-review

  17. 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 chapterBook chapterResearchpeer-review

  18. 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 JournalJournal articleResearchpeer-review

  19. 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 chapterArticle in proceedingsResearchpeer-review

  20. 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-960

    Research output: Journal Article or Conference Article in JournalEditorial

  21. 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 JournalEditorial

  22. 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 chapterArticle in proceedingsResearchpeer-review

  23. 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 chapterArticle in proceedingsResearchpeer-review

  24. Published

    Identifying Redundancies in Fork-based Development

    Ren, L., Zhou, S., Kästner, C. & Wasowski, A., 2019, The 26th IEEE International Conference on Software Analysis Evolution and Reengineering, Hangzhou, China, Februrary 24-27, 2019. IEEE Press

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  25. Published

    Influencers of Quality Assurance in an Open Source Community

    Alami, A., Dittrich, Y. & Wasowski, A., 27 May 2018, Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE '18). Association for Computing Machinery, p. 61-68 8 p. ICSE-WS-CHASE-22

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Previous 1 2 Next