Organisation: Trustworthy Software (TruX)
-
Core Research Projects
Breaking the Barriers of Android Dynamic Analysis with Static Analysis (UNLOCK)
Learn moreThe UNLOCK project aims to utilise static analysis methods to overcome the limitations of dynamic analysis on the Android platform.
-
Research Projects Pages
Predictive Maintenance for Improved Reliability in the Vaccine Cold Chain (B Medical)
Learn moreA partnership project in collaboration with B Medical Systems to develop data-driven analytics for predictive maintenance in the vaccine cold chain.
-
Core Research Projects
Predictive Maintenance for Improved Reliability in the Vaccine Cold Chain (B Medical)
Learn moreA partnership project in collaboration with B Medical Systems to develop data-driven analytics for predictive maintenance in the vaccine cold chain.
-
Research Projects Pages
Bug Reports-based Test Case Generation (BURGEON)
Learn moreBURGEON automates test case generation from bug reports, improving bug-triggering input discovery and test oracles for better fault localisation and repair.
-
Core Research Projects
Bug Reports-based Test Case Generation (BURGEON)
Learn moreBURGEON automates test case generation from bug reports, improving bug-triggering input discovery and test oracles for better fault localisation and repair.
-
-
-
Research Projects Pages
Natural Program Repair (NATURAL)
Learn moreA method to develop intelligent agents able to understand a natural language description of a problem a user faces with software, and address it.
-
Core Research Projects
Natural Program Repair (NATURAL)
Learn moreA method to develop intelligent agents able to understand a natural language description of a problem a user faces with software, and address it.
-