21/01/2016: Dr Steve Counsell has become the new head of BSEL.
18/01/2016: Professor Robert Hierons paper entitled: “R. M. Hierons and Uraz C. Turker: Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences, The Computer Journal” was published in The Computer Journal and another paper entitled: “W. Zheng, R. M. Hierons, M. Li, X. Liu, and V. Vinciotti: Multi-Objective Optimisation for Regression Testing, Information Sciences” in Information Sciences.
03/12/2015: Safa El-Jamal joined BSEL and is working on the ISS-EWATUS EU project.
27/10/2015: Dr Steve Counsell (PI) and Professor Tracy Hall (CI) have been awarded a three year EPSRC Network Grant (2016-2019).
27/10/2015: Dr Steve Counsell (PI) and Professor Tracy Hall (CI) have been awarded a three year EPSRC funded Network Grant (2016-2019) called Fault Analyses in Industry and Academic Research Network (FIAR-NET).
Tracy Hall’s paper entitled “Different Classifiers Find Different Defects Although With Different Level of Consistency”, was awarded the best paper award at PROMISE 2015.
Dr Giuseppe Destefanis joined the BSEL Research Group.
Brijesh Dongol and John Derricks paper entitled “Verifying linearizability: A comparative survey” was accepted by ACM Computing Surveys.
J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim. Verifying opacity of a transactional mutex lock. In FM, LNCS. Springer, 2015.
B. Dongol, V. B. F. Gomes, and G. Struth. A program construction and verification tool for separation logic. In MPC, LNCS. Springer, 2015.
B. Dongol, J. Derrick, G. Smith, and L. Groves. Defining correctness conditions for concurrent objects in multicore architectures. In ECOOP, 2015.
B. Dongol and J. Derrick. Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems. Sci. Comput. Program., 2015.