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.
R. M. Hierons and Uraz C. Turkers paper entitled “Incomplete Distinguishing Sequences for Finite State Machines” was accepted by The Computer Journal. 15/06/2015.
27-29/04/2015: Bilyaminu Auwal Romo attended EASE 2015 (19th International Conference on Evaluation and Assessment in Software Engineering) at Nanjing, China and presented a paper entitled: “Towards an Automation of the Traceability of Bugs from Development Logs – A Study based on Open Source Software”.
26/05/2015: Dr Steve Counsell (PI), Professor Rob Hierons and Dr Steve Swift (both CIs) acquired EPSRC-funding for the AQUATIC Project which explores the quality of test code in comparison to production code.
Naiya Pannu’s paper, entitled “The Relationship between Depth of Inheritance and Refactoring: An Empirical Study of Eclipse Releases” has been accepted by the Euromicro SEAA 2015 conference (19/05/2015).