Organisation: Trustworthy Software (TruX)

  • Research Projects Pages

    Pre and Post Processing for Comprehensive and Practical Android App Static Analysis (REPROCESS)

    The REPROCESS project aims to improve Android app security by enhancing static analysis, reducing both false positives and false negatives.

    Learn more
  • Core Research Projects

    Pre & Post Processing for Comprehensive and Practical Android App Static Analysis (REPROCESS)

    The REPROCESS project aims to improve Android app security by enhancing static analysis, reducing both false positives and false negatives.

    Learn more
  • Research Projects Pages

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

    Program analysis for regulatory compliance assessment of FinTech Software (RegCheck)

    RegCheck ensures GDPR compliance by extracting rules, analysing code, and mapping legal terms to software, developing tools for automated privacy checks.

    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