ITU
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

Claus Brabrand (brabrand@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.

View graph of relations

Research outputs (4)

  1. Published

    Variability-Specific Abstraction Refinement for Family-Based Model Checking

    Research output: Research - peer-reviewArticle in proceedings

  2. Published

    Effective Analysis of C Programs by Rewriting Variability

    Research output: Research - peer-reviewJournal article

  3. Published

    Effective Bug Finding in C Programs with Shape and Effect Abstractions

    Research output: Research - peer-reviewArticle in proceedings

View all »