海量图书期刊资源,随时随地畅享阅读乐趣
Checking sequences for distributed test architecturesR. M. Hierons; H. Ural · 2008
Extending Test Sequence Overlap by InvertibilityHierons, R. M. · The Computer Journal · 1996
Practitioner-based measurementParkinson, S. T.; Hierons, R. M.; Lycett, M.; Norman, M. · Communications of the ACM · 2010
Implementation Relations for Testing Through Asynchronous ChannelsHierons, R. M. · The Computer Journal · 2013
Controllability Problems in MSC-Based TestingDan, H.; Hierons, R. M. · The Computer Journal · 2012
The Oracle Problem When Testing from MSCsDan, H.; Hierons, R. M. · The Computer Journal · 2014
Separating sequence overlap for automated test sequence generationR. M. Hierons · 2006
Avoiding coincidental correctness in boundary value analysisHierons, R. M. · ACM Transactions on Software Engineering and Methodology · 2006
Graph theory and algorithmsFigueiredo, Celina M. H.; Szwarcfiter, Jayme L. · Journal of the Brazilian Computer Society · 2012
EditorialOliveira, Maria Cristina Ferreira · Journal of the Brazilian Computer Society · 2012
Classification of Text DocumentsLi, Y. H. · The Computer Journal · 1998
The calculation of Lame polynomialsWilkinson, J. H. · The Computer Journal · 1965
ALAM--Atlas Lisp Algebraic Manipulatord'Inverno, R. A. · The Computer Journal · 1969
The Mechanical Evaluation of ExpressionsLandin, P. J. · The Computer Journal · 1964
Two Dimensional Interpolation from Random DataMcLain, D. H. · The Computer Journal · 1976
Parameterized Complexity and Approximation AlgorithmsMarx, D. · The Computer Journal · 2007