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.

ACM Computing Surveys

Posted By on Jun 24, 2015 in Uncategorized

Brijesh Dongol and John Derricks paper entitled “Verifying linearizability: A comparative survey” was accepted by ACM Computing Surveys.