Atef Shalan and Mohammad Zulkernine, Runtime Prediction of Failure Modes from System Error Logs.
Xiaofeng Wu, J W Sanders and Huibiao Zhu, Formal Modelling and Analysis of MANETs.
Zhucheng Shao and Jing Liu, Spatio-Temporal Properties Analysis for Cyber-Physical Systems.
M Shaban Jokhio, Gillian Dobbie, Jing Sun and Tianming Hu, Web Services Testing via Goal and Mutation.
Hajime Nakajima, Takeshi Masuda and Ikuya Takahashi, GUI Ferret: GUI Test Tool to Analyze Complex Behavior of Multi-Window Applications.
Pengcheng Zhang, Jun Yu and Wenrui Li, Game-based Monitors for Scenario-based specifications.
Katrina Falkner, Vanea Chiprianov, Nickolas Falkner, Claudia Szabo, James Hill, Gavin Puddy, Daniel Fraser, Adrian Johnston, Marianne Rieckmann and Andrew Wallis, Model-driven performance prediction of distributed real-time embedded defence systems.
Xiaolei Li, Guangdong Bai, Zhenkai Liang and Heng Yin, A Software Environment for Confining Malicious Android Applications via Resource Virtualization.