| Issue Date | Title | Author(s) |
| 2014 | A hybrid motion capture approach for high-speed movement | Spiteri, Kevin (2014) |
| 2014 | Secure installation of un-trusted applications | - |
| 2011 | Integrated traffic management system (ITAMS) | Seychell, Aldrin (2011) |
| 2013 | Facilitating the generation of QuickCheck models for web test automation | Scerri, Mark (2013) |
| 2010 | API terms of agreement enforcement system | Sammut, Shawn (2010) |
| 2010 | Virtual EOC | Scerri, Matthew (2010) |
| 2012 | Monitoring as an instance of behaviour in Erlang | Spiteri, Elise Ann (2012) |
| 2013 | Generating test cases through ModelJUnit for LARVA specifications | Schembri, Renzo (2013) |
| 2012 | A study on the context-specific nature of actionable alert identification | Tanti, Erica (2012) |
| 2010 | Distributed protocols as behaviours in Erlang | Demicoli, Darren (2010) |
| 2011 | Automated model-based testing for Web applications | Vassallo, Michael (2011) |
| 2014 | Using symbolic execution to test monitor specifications | Tanti, Mark (2014) |
| 2012 | Interactive 3D visualisation of software metrics | Spiteri, Mark (2012) |
| 2014 | State-based monitoring using LARVA | Justine, Scicluna (2014) |
| 2014 | Real-time visualisation of heat shimmering and mirage | Demanuele, Arthur (2014) |
| 2010 | Generating explanations for the construction of formal logic proofs | Ellul, Graziella (2010) |
| 2010 | PC 2.0 : Personal Mode | Darmanin, Joseph Paul (2010) |
| 2010 | SemChat : handling semantics in chat conversations | Cortis, Keith (2010) |
| 2013 | An Eclipse plug-in for polyLARVA | Chetcuti, Silvan (2013) |
| 2014 | Investigating search-based testing techniques for test data generation | Felice, Paul (2014) |
Collection's Items (Sorted by Submit Date in Descending order): 21 to 40 of 135
