Organisation: Trustworthy Software (TruX)

  • Core Research Projects

    Breaking the Barriers of Android Dynamic Analysis with Static Analysis (UNLOCK)

    The UNLOCK project aims to utilise static analysis methods to overcome the limitations of dynamic analysis on the Android platform.

    Learn more
  • Research Projects Pages

    Predictive Maintenance for Improved Reliability in the Vaccine Cold Chain (B Medical)

    A partnership project in collaboration with B Medical Systems to develop data-driven analytics for predictive maintenance in the vaccine cold chain.

    Learn more
  • Core Research Projects

    Predictive Maintenance for Improved Reliability in the Vaccine Cold Chain (B Medical)

    A partnership project in collaboration with B Medical Systems to develop data-driven analytics for predictive maintenance in the vaccine cold chain.

    Learn more
  • Research Projects Pages

    Bug Reports-based Test Case Generation (BURGEON)

    BURGEON automates test case generation from bug reports, improving bug-triggering input discovery and test oracles for better fault localisation and repair.

    Learn more
  • Core Research Projects

    Bug Reports-based Test Case Generation (BURGEON)

    BURGEON automates test case generation from bug reports, improving bug-triggering input discovery and test oracles for better fault localisation and repair.

    Learn more
  • News

    LuxWays’ first PhD on his way to West Africa

    Learn more
  • News

    SnT trains ICT professors for West Africa

    Learn more
  • Research Projects Pages

    Natural Program Repair (NATURAL)

    A method to develop intelligent agents able to understand a natural language description of a problem a user faces with software, and address it.

    Learn more
  • Core Research Projects

    Natural Program Repair (NATURAL)

    A method to develop intelligent agents able to understand a natural language description of a problem a user faces with software, and address it.

    Learn more
  • News

    [Series: SnT Young Researchers] Cedric Lothritz on a Luxembourgish Language Model

    Learn more