Software Quality Research (SQUARE)

Publikation

Publikationer pr. år 2017 2017 2018 2019 2020 2021 2022 2023

• 32 Konferencebidrag i proceedings
• 18 Tidsskriftartikel
• 5 Bidrag til bog/antologi
• 3 Ph.d.-afhandling
• 7 Mere
  • 3 Leder
  • 2 Andet bidrag
  • 1 Bog
  • 1 Poster

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2023

  Uniquifying Architecture Visualization through Variable 3D Model Generation

  Hoff, A., Seidl, C. & Lanza, M., jan. 2023, 17th International Working Conference on Variability Modelling of Software-Intensive Systems: VaMoS 2023. Odense, Denmark: Association for Computing Machinery, s. 77 - 81

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Fil

  • Visualization 100%
  • Legacy systems 41%
  • Hooks 40%
  • Geometry 39%
  • Chemical analysis 21%
• 2022

  A Specification Logic for Programs in the Probabilistic Guarded Command Language

  Pardo, R., Broch Johnsen, E., Schaefer, I. & Wasowski, A., okt. 2022, A Specification Logic for Programs in the Probabilistic Guarded Command Language. Springer, Cham, Bind 13572. 19 s. (Proceedings of 19th International Colloquium on Theoretical Aspects of Computing - ICTAC 2022).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Fil

  • Semantics 100%
  • Specifications 94%
  • Specification languages 83%

• Belief-based fault recovery for marine robotics

  Jeremy Paul Coffelt, Mohammadi Kashani, M., Wasowski, A. & Peter Kampmann, 16 aug. 2022, The Eighth Joint Ontology Workshops (JOWO’22), August 15-19, 2022, Jönköping University, Sweden. Bind Vol-3249. 14 s. paper3-RobOntics

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Remotely operated vehicles 100%
  • Robotics 58%
  • Health 56%
  • Cameras 54%
  • Recovery 52%

• Computing Educational Programmes with more Women are more about People & less about Things

  Grabarczyk, P., Freiesleben, A., Bastrup, A. & Brabrand, C., 2022, ITiCSE 2022: Innovation and Technology in Computer Science Education (ITiCSE 2022). Association for Computing Machinery, s. 172-178

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

• 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)).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Students 100%

• Feature-Interaction Sampling for Scenario-Based Testing of Advanced Driver Assistance Systems

  Birkemeyer, L., Pett, T., Vogelsang, A., Seidl, C. & Schaefer, I., 2022, Proceedings of the International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS), 2022. Association for Computing Machinery

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming

  Halvorsen, L., Steffensen, S. L., Rafnsson, W., Kulyk, O. & Pardo, R., 2022, IWSPA '22: Proceedings of the 2022 ACM on International Workshop on Security and Privacy Analytics. Association for Computing Machinery

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Model-Based Testing for System-Level Safety of Autonomous Underwater Robots

  Quijano, S. & Varshosaz, M., 8 jun. 2022, 2022 IEEE Conference on Software Testing, Verification and Validation (ICST). Valencia, Spain: IEEE, s. 486-488 2 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Robots 100%
  • Testing 80%
  • Robotics 39%
  • Planning 32%

• Survey of Established Practices in the Life Cycle of Domain-Specific Languages

  Borum, H. S. & Seidl, C., 2022, MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Life cycle 100%
  • Finance 67%
  • Software quality 66%
  • Telecommunication 55%
  • Robotics 43%

• Towards Trace-Based Synchronization of Variability Annotations in Evolving Model-Driven Product Lines

  Greiner, S., Nieke, M. & Seidl, C., 2022, Proceedings of the International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS), 2022.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Unified Operations for Variability in Space and Time

  Ananieva, S., Greiner, S., Krüger, J., Linsbauer, L., Grüner, S., Kehrer, T., Kühn, T., Seidl, C. & Reussner, R., 2022, Proceedings of the International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS), 2022.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Utilizing Software Architecture Recovery to Explore Large-Scale Software Systems in Virtual Reality

  Hoff, A., Gerling, L. & Seidl, C., okt. 2022, 2022 Working Conference on Software Visualization (VISSOFT). IEEE

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Fil

  • Software architecture 100%
  • Virtual reality 84%
  • Visualization 74%
  • Recovery 65%
  • Semantics 21%
• 2021

  Co-designing DSL quality assurance measures for and with non-programming experts

  Borum, H. S., Seidl, C. & Sestoft, P., 18 okt. 2021, DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling. Association for Computing Machinery, s. 31-40 10 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Fil

  • DSL 100%
  • Quality assurance 78%
  • Spreadsheets 21%
  • Software engineering 14%
  • Concretes 12%

• 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, s. 227-238 11 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Insurance 100%
  • Industry 37%
• 2020

  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, s. 220-229 10 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • software 100%
  • software development 65%
  • sustainability 38%
  • method 11%

• 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, s. 41-56 16 s. (Proceedings of the 19th Workshop on Privacy in the Electronic Society 2020).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • privacy 100%
  • personal data 22%
  • expert 12%
  • Law 10%
• 2019

  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 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Open Sources 100%
  • participation 51%
  • software 47%
  • significant acquisition 26%
  • distribution strategy 24%

• 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

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Error analysis 100%
  • Dynamic analysis 97%
  • Repair 88%

• 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, s. 439--452 14 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Value engineering 100%
  • Semantics 55%
  • Boundary conditions 31%
  • Testing 20%
  • Experiments 14%

• 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

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Redundancy 100%
  • Machine learning 86%

• Intention-based integration of software variants

  Lillack, M., Stanciulescu, S., Hedman, W., Berger, T. & Wasowski, A., 2019, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE, s. 831-842 (Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Merging 100%
  • Cloning 68%
  • Experiments 36%
  • Set theory 32%
  • Costs 19%

• 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), s. 91-92 (Lecture Notes in Informatics).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Glass 100%
  • Experiments 44%
  • Copying 31%
  • Software engineering 20%

• 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, s. 192-209 (Lecture Notes in Computer Science, Bind 11424).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Model checking 100%
  • Explosions 14%
  • Semantics 10%
  • Costs 6%

• Why Does Code Review Work for Open Source Software Communities?

  Alami, A., Cohn, M. & Wasowski, A., 25 maj 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). IEEE

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Open source software 100%
  • Ethical aspects 66%
  • Social aspects 16%
• 2018

  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, Bind 2. (Proceedings of the ACM on Human-Computer Interaction - CSCW).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • anonymity 100%
  • privacy 75%
  • stakeholder 62%
  • decision making 57%
  • responsibility 49%

• 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 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Electric network analysis 100%
  • Information retrieval 95%
  • Industry 43%

• Influencers of Quality Assurance in an Open Source Community

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

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Open Source 100%
  • Quality Assurance 96%
  • Robotics 55%
  • Robot 36%
  • Alignment 27%

• 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, s. 445-455 11 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Glass 100%
  • Experiments 44%
  • Copying 31%
  • Software engineering 20%

• 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, s. 147-160 14 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Pattern matching 100%
  • Semantics 30%
• 2017

  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, s. 34-54 (Lecture Notes in Computer Science, Bind 10145).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Linux 100%
  • Flow graphs 84%
  • Model checking 34%
  • Scanning 24%
  • Data storage equipment 19%

• Variability-Specific Abstraction Refinement for Family-Based Model Checking

  Dimovski, A. & Wasowski, A., 23 mar. 2017, Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017: Fundamental Approaches to Software Engineering, FASE 2017. Huisman, M. & Rubin, J. (red.). Berlin, Heidelberg: Springer, s. 406-423 17 s. (Lecture Notes in Computer Science, Bind 10202).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Model checking 100%
  • Interpolation 16%
  • Costs 7%

• Variability through the Eyes of the Programmer

  Melo, J., Batista Narcizo, F., Hansen, D. W., Brabrand, C. & Wasowski, A., 1 maj 2017, 2017 IEEE/ACM 25th International Conference on Program Comprehension (ICPC). IEEE, s. 34-44 11 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Eye 100%
  • Eye Movements 41%
  • Evaluation Studies 36%