Professor Robert Hierons

Professor of Computing Professor Robert Hierons

Contact

Computer Science
St Johns 101
Brunel University
Uxbridge
UB8 3PH
United Kingdom
Tel: +44 (0)1895 266002
Fax: +44 (0)1895 251686
Email: rob.hierons@brunel.ac.uk
Web: Personal Website
Web: Google Scholar Profile

Research Interests

Model-based testing; distributed and asynchronous testing; search-based software engineering; slicing.

University Research Centre Membership

Publications

Journal Papers

(2014) Segura, S., Parejo, JA., Hierons, RM., Benavides, D. and Ruiz-Cortés, A., Automated Generation of Hard Feature Models using Evolutionary Algorithms, Expert Systems with Applications 41 (8) : 3975- 3992

(2013) Hierons, RM., Implementation relations; software testing; asynchronous communications; first in first out channels, The Computer Journal 56 (11) : 1305- 1319

(2013) Nunez, A., Merayo, MG., Nunez, M. and Hierons, RM., Using genetic algorithms to generate test sequences for complex timed systems, Soft Computing 17 (2) : 301- 315

(2013) Clark, JA., Dan, H. and Hierons, RM., Semantic Mutation Testing, Science of Computer Programming 78 (4) : 345- 363

(2013) AbouTrab, MS., Brockway, M., Counsell, S. and Hierons, RM., Testing Real-time Embedded Systems using Timed Automata Based Approaches, Journal of Systems and Software 85 (5) : 1209- 1223

(2013) Hierons, RM., Verifying and comparing finite state machines for systems that have distributed interfaces, IEEE Transactions on Computers 62 (8) : 1673- 1683

(2013) Androutsopoulos, K., Clark, D., Harman, M., Hierons, RM., Li, Z. and Tratt, L., Amorphous Slicing of Extended Finite State Machines, IEEE Transactions on Software Engineering

(2012) Danicic, S., Hierons, RM. and Laurence, M., Complexity of data dependence problems for program schemas with concurrency, ACM Transactions on Computational Logic 13 (2) : 15 Download publication

(2012) Hierons, RM., Overcoming controllability problems in distributed testing from an input output transition system, Distributed Computing 25 (1) : 63- 81

(2012) Clark, D. and Hierons, RM., Squeeziness: An information theoretic measure for avoiding fault masking, Information Processing Letters 112 (8-9) : 335- 340

(2012) Hierons, RM., Oracles for distributed testing, IEEE Transactions on Software Engineering 38 (3) : 629- 641 Download publication

(2012) Hierons, RM., Overcoming controllability problems in distributed testing from an input output transition system, Distributed Computing 25 (1) : 63- 81 Download publication

(2011) Hierons, RM., Merayo, MG. and Núñez, M., Implementation relations and test generation for systems with distributed interfaces, Distributed Computing Online Paper - Download publication

(2011) Kalaji, AS., Hierons, RM. and Swift, S., An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models, Information and Software Technology 53 1297- 1318 Download publication

(2011) Hierons, RM., Controllable testing from nondeterministic finite state machines with multiple ports, IEEE Transactions on Computers 60 (12) : 1818- 1822 Download publication

(2011) Danicic, S., Hierons, RM. and Laurence, M., On the computational complexity of dynamic slicing problems for program schemas, Mathematical Structures in Computer Science 21 1339- 1362 Download publication

(2011) Danicic, S., Hierons, RM. and Laurence, MR., Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas, Journal of Logic and Algebraic Programming 80 (8) : 481- 496 Download publication

(2011) Mubarak, A., Counsell, S. and Hierons, RM., An evolutionary study of fan-in and fan-out metrics in OSS, International Journal of Information System Modelling and Design 2 (4) : 1- 26

(2011) Segura, S., Hierons, RM., Benavides, D. and Ruiz-Cortes, A., Mutation testing on an object-oriented framework: An experience report, Information and Software Technology 53 (10) : 1124- 1136 Download publication

(2011) Hierons, RM., Merayo, MG. and Nunez, M., Scenarios-based testing of systems with distributed ports, Software: Practice and Experience 41 (10) : 999- 1026 Download publication

(2011) Merayo, G., Núñez, M. and Hierons, RM., Testing timed systems modeled by Stream X-machines, Software and Systems Modeling 10 (2) : 201- 217 Download publication

(2011) Segura, S., Hierons, RM., Benavides, D. and Ruiz-Cortes, A., Automated metamorphic testing on the analyses of feature models, Information and Software Technology 53 (3) : 245- 258 Download publication

(2011) Danicic, S., Hierons, RM. and Laurence, MR., Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas, Journal of Logic and Algebraic Programming 80 (2) : 92- 112 Download publication

(2011) Derderian, K., Hierons, RM., Merayo, MG. and Núñez, M., A case study on the use of genetic algorithms to generate test cases for temporal systems, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6692 LNCS (PART 2) : 396- 403

(2011) Cavalcanti, A., Gaudel, M-C. and Hierons, RM., Conformance relations for distributed testing based on CSP, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7019 LNCS 48- 63

(2011) Khan, IA., Brinkman, W-P. and Hierons, RM., Do moods affect programmers' debug performance?, Cognition, Technology and Work 13 (4) : 245- 258

(2011) Molinero, C., Núñez, M. and Hierons, RM., Experimental comparison of different techniques to generate adaptive sequences, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6692 LNCS (PART 2) : 404- 411

(2011) Clark, JA., Dan, H. and Hierons, RM., Semantic mutation testing, Science of Computer Programming In Press, Corrected Proof -- - Download publication

(2010) Khan, IA., Brinkman, W-P. and Hierons, RM., Do moods affect programmers' debug performance?, Cognition, Technology and Work 1- 14

(2010) Counsell, S., Hierons, RM., Hamza, H., Black, S. and Durrand, M., Exploring the eradication of code smells: An empirical and theoretical perspective, Advances in Software Engineering 2010 820103- Download publication

(2010) Hierons, RM. and Ural, H., Generating a checking sequence with a minimum number of reset transitions, Automated Software Engineering 17 (3) : 217- 250 Download publication

(2010) Hierons, RM., Reaching and distinguishing states of distributed systems, SIAM Journal of Computing 39 (8) : 3480- 3500 Download publication

(2010) Hierons, RM., Checking experiments for stream X-machines, Theoretical Computer Science 411 (37) : 3372- 3385 Download publication

(2010) Barraclough, RW., Binkley, D., Danicic, S., Harman, M., Hierons, RM., Kiss, A., Laurence, M. and Ouarbya, L., A trajectory-based strict semantics for program slicing, Theoretical Computer Science 411 (11-13) : 1372- 1386 Download publication

(2010) Derderian, K., Hierons, RM., Harman, M. and Guo, Q., Estimating the feasibility of transition paths in extended finite state machines, Automated Software Engineering 17 (1) : 33- 56 Download publication

(2010) Parkinson, ST., Hierons, RM., Lycett, M. and Norman, M., Practitioner-based measurement: a collaborative software measurement approach, Communications of the ACM 53 (3) : 142- 147 Download publication

(2010) Hierons, RM., Canonical finite state machines for distributed systems, Theoretical Computer Science 411 (2) : 566- 580 Download publication

(2009) Hierons, RM., Verdict functions in testing with a fault domain or test hypotheses, ACM Transactions on Software Engineering and Methodology 18 (4) : 14 Download publication

(2009) Hierons, RM. and Ural, H., Correction to "Reduced length checking sequences" (vol 51, pg 1111, 2002), IEEE Transactions on Computers 58 (2) : 287- 287

(2009) Hierons, RM. and Ural, H., Erratum: Reduced length checking sequences (IEEE Transactions on Computers (2002) 51:9 (1111-1117)), IEEE Transactions on Computers 58 (2) : 287- 287

(2009) Hierons, RM. and Merayo, MG., Mutation testing from probabilistic and stochastic finite state machines, Journal of Systems and Software 82 (11) : 1804- 1818 Download publication

(2009) Hierons, RM. and Ural, H., Overcoming controllability problems with fewest channels between testers, Computer Networks 53 (5) : 680- 690 Download publication

(2009) Hierons, RM., Merayo, MG. and Núñez, M., Testing from a stochastic timed system with a fault model, Journal of Logic and Algebraic Programming 78 (2) : 98- 115 Download publication

(2009) Hierons, RM., Bogdanov, K., Bowen, JP., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Lüttgen, G., AJH, S., Vilkomir, S., Woodward, MR. and Zedan, H., Using formal specifications to support testing, ACM Computing Surveys 41 (2) : 9 Download publication

(2009) Hierons, RM., Using status messages in the distributed test architecture, Information and Software Technology 51 (7) : 1123- 1130 Download publication

(2009) Hierons, RM., Bogdanov, K., Bowen, JP., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luttgen, G., Simons, AJH., Vilkomir, S., Woodward, MR. and Zedan, H., Using formal specifications to support testing, ACM Computing Surveys 41 (2) : 9

(2008) Hierons, RM. and Ipate, F., Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine, Formal Aspects of Computing 20 (6) : 597- 617 Download publication

(2008) Hierons, RM. and Ural, H., Checking sequences for distributed test architectures, Distributed Computing 21 (3) : 223- 238 Download publication

(2008) Robinson-Mallett, C., Hierons, RM., Poore, J. and Liggesmeyer, P., Software integration testing based on communication coverage criteria and partial model generation, Software Quality Journal 16 (2) : 185- 211 Download publication

(2008) Harman, M., Hu, L., Baresel, A., Binkley, D., Hierons, R., Korel, B., McMinn, P. and Roper, M., Testability transformation - Program transformation to improve testability, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4949 LNCS 320- 344

(2008) Chen, J., Hierons, RM. and Ural, H., Testing in the distributed test architecture, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4949 LNCS 157- 183

(2008) Hierons, RM. and Ural, H., The effect of the distributed test architecture on the power of testing, Computer Journal 51 (4) : 497- 510 Download publication

(2007) Guo, Q., Hierons, RM., Harman, M. and Derderian, K., Heuristics for fault diagnosing when testing from finite state machines, Software Testing, Verification and Reliability 17 (1) : 41- 57 Download publication

(2007) Danicic, S., Harman, M., Hierons, RM., Howroyd, J. and Laurence, MR., Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time, Theoretical Computer Science 373 1- 18 Download publication

(2007) Hierons, RM. and Ural, H., Reducing the cost of applying adaptive test cases, Computer Networks 51 (1) : 224- 238 Download publication

(2007) Li, Z., Harman, M. and Hierons, RM., Search algorithms for regression test case prioritization, IEEE Transactions on Software Engineering 33 (4) : 225- 237 Download publication

(2006) Hierons, RM., Applying adaptive test cases to nondeterministic implementations, Information Processing Letters 98 56- 60 Download publication

(2006) Derderian, K., Hierons, RM., Harman, M. and Guo, Q., Automated unique input output sequence generation for conformance testing, The Computer Journal 49 (3) : 331- 344

(2006) Derderian, K., Hierons, RM., Harman, M. and Guo, Q., Automated unique input output sequence generation for conformance testing of FSMs, The Computer Journal 49 (3) : 331- 344 Download publication

(2006) Hierons, RM., Avoiding coincidental correctness in boundary value analysis, ACM Transactions on Software Engineering and Methodology 15 (3) : 227- 241 Download publication

(2006) McMinn, P. and Hierons, RM., Editorial: Addressing industrial challenges - UKTest 2005 and beyond, Software Testing, Verification and Reliability 16 (3) : 131- 132

(2006) Derrick, J., Harman, M. and Hierons, RM., Guest editorial, Formal Aspects of Computing 18 (1) : 1- 2

(2006) Guo, Q., Hierons, RM., Harman, M. and Derderian, K., Improved test quality using robust unique input/output circuit sequences (UIOCs), Information and Software Technology 48 (8) : 696- 707 Download publication

(2006) Hierons, RM. and Ural, H., Optimizing the length of checking sequences, IEEE Transactions on Computers 55 (5) : 618- 629 Download publication

(2006) Chen, J., Hierons, RM. and Ural, H., Overcoming observability problems in distriubuted test architectures, Information Processing Letters 98 177- 182 Download publication

(2006) Hierons, RM., Separating sequence overlap for automated test sequence generation, Automated Software Engineering 13 (2) : 283- 301 Download publication

(2005) Danicic, S., Fox, C., Harman, M., Hierons, R., Howroyd, J. and Laurence, MR., Static program slicing algorithms are minimal for free liberal program schemas, Computer Journal 48 (6) : 737- 748 Download publication

(2005) Hierons, RM., Harman, M. and Fox, CJ., Branch-coverage testability transformation for unstructured programs, Computer Journal 48 (4) : 421- 436

(2005) Hierons, RM., Harman, M. and Fox, CJ., Branch-coverage testability transformation for unstructured programs, The Computer Journal 48 (4) : 421- 436

(2005) Guo, Q., Hierons, RM., Harman, M. and Derderian, K., Constructing multiple unique input/output sequences using metaheuristic optimisation techniques, IEE Proceedings - Software 152 (3) : 127- 140 Download publication

(2005) Danicic, S., Daoudi, M., Fox, C., Harman, M., Hierons, RM., Howroyd, J., Ourabya, L. and Ward, M., ConSUS: a light-weight program conditioner, Journal of Systems and Software 77 (3) : 241- 262 Download publication

(2005) Danicic, S., Fox, CJ., Harman, M., Hierons, RM., Howroyd, J. and Laurence, MR., Static program slicing algoritms are minimal for free liberal program schemas, The Computer Journal 48 (6) : 737- 748 Download publication

(2005) Gold, NE., Harman, M., Binkley, D. and Hierons, RM., Unifying program slicing and concept assignment for higher-level executable source code extraction, Software - Practice and Experience 35 (10) : 997- 1006

(2005) Hierons, RM., Validating our findings, Software Testing, Verification and Reliability 15 (4) : 209- 210

(2004) Hierons, RM., Testing from a nondeterministic finite state machine using adaptive state counting, IEEE Transactions on Computers 53 (10) : 1330- 1342 Download publication

(2004) Fox, C., Danicic, S., Harman, M. and Hierons, RM., CONSIT: a fully automated conditioned program slicer, Software: Practice and Experience 34 (1) : 15- 46

(2004) Hierons, RM., Kim, TH. and Ural, H., On the Testability of SDL Specifications, Computer Networks 44 (5) : 681- 700 Download publication

(2004) Harman, M., Hu, L., Hierons, RM., Wegener, J., Sthamer, H., Baresel, A. and Roper, M., Testability transformation, IEEE Transactions on Software Engineering 30 (1) : 3- 16 Download publication

(2004) Hierons, RM. and Harman, M., Testing conformance of a deterministic implementation against a non-deterministic stream x-machine, Theoretical Computer Science 323 (1-3) : 191- 233 Download publication

(2004) Hierons, RM., Using a minimal number of resets when testing from a finite state machine, Information Processing Letters 90 (6) : 287- 292 Download publication

(2004) Hierons, RM. and Harman, M., Testing conformance of a deterministic implementation to a non-deterministic stream x-machine, Theoretical Computer Science 323 191- 233

(2003) Hierons, RM., Editorial: Testing in the large through the small?, Software Testing, Verification and Reliability 13 (3) : 139- 140

(2003) Mahdavi, K., Harman, M. and Hierons, R., Finding building blocks for software clustering, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2724 2513- 2514

(2003) Hierons, RM., Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine, The Computer Journal 46 (3) : 307- 318 Download publication

(2003) Clarke, J., Dolado, JJ., Harman, M., Hierons, RM., Jones, B., Lumkin, M., Mitchell, B., Mancoridis, S., Rees, K., Roper, M. and Shepperd, M., Reformulating software engineering as a search problem, IEE Proceedings - Software 150 (3) : 161- 175 Download publication

(2003) Fatiregun, D., Harman, M. and Hierons, R., Search based transformations, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2724 2511- 2512

(2003) Hierons, RM. and Ural, H., UIO sequence based checking sequences for distributed test architectures, Information and Software Technology 45 (12 SPEC.) : 793- 803 Download publication

(2002) Hierons, R., Harman, M., Fox, C., Ouarbya, L. and Daoudi, M., Conditioned slicing supports partition testing, SOFTWARE TESTING VERIFICATION & RELIABILITY 12 (1) : 23- 28

(2002) Hierons, RM., Comparing test sets and criteria in the presence of test hypotheses and fault domains, ACM Transactions on Software Engineering and Methodology 11 (4) : 427- 448 Download publication

(2002) Hierons, RM., Harman, M., Fox, C., Ouarbya, L. and Daoudi, M., Conditioned slicing supports partition testing, The Journal of Software Testing, Verification and Reliability 12 (1) : 23- 28

(2002) Laurence, MR., Danicic, S., Harman, M., Hierons, RM. and Howroyd, J., Equivalence of conservative, free, linear program schemas is decidable, Theoretical Computer Science 290 (1) : 831- 862 Download publication

(2002) Hierons, RM. and Ural, H., Reduced length checking sequences, IEEE Transactions on Computers 51 (9) : 1111- 1117 Download publication

(2001) Harman, M. and Hierons, RM., An overview of program slicing, Software Focus 2 (3) : 85- 92

(2001) Hierons, RM., Checking states and transitions of a set of communicating finite state machines, Microprocessors and Microsystems 24 (9) : 443- 452 Download publication

(2001) Harman, M., Hierons, R., Fox, C., Danicic, S. and Howroyd, J., Pre/post conditioned slicing, IEEE International Conference on Software Maintenance, ICSM 138- 147

(2001) Hierons, RM., Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults, Information and Software Technology 43 (9) : 551- 560 Download publication

(2001) Hierons, RM., Sadeghipour, S. and Singh, H., Testing a system specified using statecharts and Z, Information and Software Technology 43 (2) : 137- 149 Download publication

(2000) Hierons, RM. and Harman, M., Testing conformance to a quasi-nondeterministic stream X-machine, Formal Aspects of Computing 12 423- 442 Download publication

(1999) Hierons, RM., Minimizing the cost of fault location when testing from a finite state machine, Computer Communications 22 (2) : 120- 127 Download publication

(1999) Hierons, R., Harman, M. and Danicic, S., Using program slicing to assist in the detection of equivalent mutants, Software Testing Verification and Reliability 9 (4) : 233- 262

(1998) Hierons, RM., Adaptive testing of a deterministic implementation against a nondeterministic finite state machine, The Computer Journal 41 (5) : 349- 355

(1998) Edwards, H., Hierons, R. and Jackson, B., The Zero-Free Intervals for Characteristic Polynomials of Matroids, Combinatorics Probability and Computing 7 (2) : 153- 165

(1997) Hierons, RM. and Wiper, MP., Estimation of failure rate using random and partition testing, Software Testing Verification and Reliability 7 (3) : 153- 164

(1997) Hierons, RM., Testing from a finite-state machine: extending invertibility to sequences, The Computer Journal 40 (4) : 220- 230 Download publication

(1997) Hierons, RM., Testing from a finite-state machine: Extending invertibility to sequences, Computer Journal 40 (4)

(1997) Hierons, RM., Testing from a Z specification, Software Testing Verification and Reliability 7 (1) : 19- 33

(1997) Hierons, RM., Testing from semi-independent communicating finite state machines with a slow environment, IEE Proceedings: Software 144 (5-6) : 291- 295

(1996) Hierons, RM., Extending test sequence overlap by invertibility, The Computer Journal 39 (4) : 325- 330

(1996) Hierons, RM., Extending test sequence overlap by invertibility, Computer Journal 39 (4)

Conference Papers

(2014) Androutsopoulos, K., Clark, D., Dan, H., Hierons, RM. and Harman, M., An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing, 36th International Conference on Software Engineering

(2011) AbouTrab, MS., Counsell, S. and Hierons, RM., GeTex: A tool for testing real-time embedded systems using can applications, 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS), Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) 61- 70

(2011) Dan, H. and Hierons, RM., Conformance testing from message sequence charts, , Proceedings of the 4th International Conference on Software Testing, Verification and Validation 279- 288

(2010) Dan, H., Hierons, RM. and Counsell, S., Non-local choice and implied scenarios, 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010), Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods 2010 53- 62

(2010) AbouTrab, M., Alrouh, B., Counsell, S., Hierons, RM. and Ghinea, G., A multi-criteria decision making framework for real time model-based testing, Testing: Academic & Industrial Conference Practice and Research Techniques, 2010 (TAIC PART 2010), Proceedings of Testing: Academic & Industrial Conference Practice and Research Techniques, 2010 (TAIC PART 2010)

(2010) Counsell, S., Hamza, H. and Hierons, RM., The ‘deception’ of code smells: An empirical investigation, 32nd International Conference on Information Technology Interfaces (ITI 2010), Proceedings of the 32nd International Conference on Information Technology Interfaces (ITI 2010) 683- 688

(2010) Mubarak, A., Counsell, S. and Hierons, RM., An evolutionary study of fan-in and fan-out metrics in OSS, Fourth International Conference on Research Challenges in Information Science (RCIS 2010)

(2010) Kalaji, AS., Hierons, RM. and Swift, S., Generating feasible transition paths for testing from an extended finite state machine (EFSM) with the counter problem, Third IEEE International Conference on Software Testing, Verification, and Validation Download publication

(2010) Clark, JA., Dan, H. and Hierons, RM., Semantic mutation testing, , Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on 100- 109

(2010) Segura, S., Benavides, D., Ruiz-Cortés, A. and Hierons, RM., Automated test data generation on the analyses of feature models: A metamorphic testing approach, , ICST 2010 - 3rd International Conference on Software Testing, Verification and Validation 35- 44 Download publication

(2010) Hierons, RM. and Nunez, M., Testing probabilistic distributed systems, 12th Joint International Conference on Formal Methods for Open Object-Based Distributed Systems/30th International Conference on Formal Techniques for Distributed Systems, FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS (6117) : 63- 77

(2010) Dan, H., Hierons, RM. and Counsell, S., Non-local choices and implied scenarios, , Proceedings of the 8th International Conference on Software Engineering and Formal Methods 53- 62

(2009) Hierons, RM., Jourdan, GV., Ural, H. and Yenigun, H., Checking sequence construction using adaptive and preset distinguishing sequences, 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) Download publication

(2009) Hierons, RM. and Nunez, M., Simulation relations for systems with distributed interfaces, 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) Download publication

(2009) Almohammad, A., Ghinea, G. and Hierons, RM., JPEG steganography: a performance evaluation of quantization tables, 23rd International Conference on Advanced Information Networking and Applications Workshops Download publication

(2009) Kalaji, AS., Hierons, RM. and Swift, S., A search-based approach for automatic test generation from extended finite state machine (EFSM), Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART '09) Download publication

(2009) Kalaji, AS., Hierons, AS. and Swift, S., A testability transformation approach for state-based programs, 1st International Symposium on Search Based Software Engineering Download publication

(2008) Merayo, MG., Hierons, RM. and Nunez, M., Extending stream X-Machines to specify and test systems with timeouts, 6th IEEE International Conference on Software Engnineering and Formal Methods Download publication

(2008) Hierons, RM., Testing in the distributed test architecture: an extended abstract, 8th International Conference on Quality Software (QSIC'08) Download publication

(2008) Parkinson, ST., Counsell, S., Norman, M., Hierons, RM. and Lycett, M., The precursor to an industrial software metrics program, 30th International Conference on Information Technology Interfaces, Proceedings of the ITI, 2008 221- 226 Download publication

(2008) Robinson-Mallett, C., Hierons, RM., Poore, J. and Liggesmeyer, P., Using communication coverage criteria and partial model generation to assist software integration testing, 2nd Workshop on Advances in Model-based Software Testing, Software Quality Journal (16) : 185- 211

(2008) Almohammad, A., Hierons, RM. and Ghinea, G., High capacity steganographic method based upon JPEG, 3rd International Conference on Availability, Reliability and Security Download publication

(2008) Hierons, RM., Merayo, MG. and Nunez, M., Implementation relations for the distributed test architecture, International Conference on Testing of Software and Communicating Systems, Lecture Notes on Computer Science (5047) : 200- 215

(2008) Hierons, RM., Jourdan, GV., Ural, H. and Yenigun, H., Using adaptive distinguishing sequences in checking sequence constructions, 23rd Annual ACM Symposium on Applied Computing

(2007) Counsell, S., Hierons, RM. and Loizou, G., A meta-analysis approach to refactoring and XP, 5th IEEE/ACS International Conference on Computer Systems and Applications Download publication

(2007) Dan, H., Hierons, RM. and Counsell, S., A thread-tag based semantics for sequence diagrams, 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Download publication

(2007) Dan, H., Hierons, RM. and Counsell, S., A thread-tag based semantics for sequence diagrams, Fifth IEEE International Conference on Software Engineering and Formal Methods(SEFM 2007)

(2007) Khan, I., Hierons, RM. and Brinkman, W., Mood independent programming, 14th European Conference on Cognitive Ergonomics: invent! explore! (ECCE 2007)

(2007) Hierons, RM. and Merayo, MG., Mutation testing from probabilistic finite state machines, Mutation 2007 Conference Download publication

(2007) Dan, H., Hierons, RM. and Counsell, S., Thread-based analysis of sequence diagrams, 27th International Conference on Formal Techniques for Networked and Distributed Systems, Lecture Notes on Computer Science (4574) : 19- 34

(2006) Counsell, S., Hierons, RM., Najjar, R., Loizou, G. and Hassoun, Y., The effectiveness of refactoring, based on a compatibility testing taxonomy and a dependency graph, 1st Testing - Academic and Industrial Conference Download publication

(2005) Chen, J., Hierons, RM., Ural, H. and Yenigun, H., Eliminating redundant tests in a checking sequence, 17th International Conference on Testing of Communicating Systems

(2005) Derderian, K., Harman, M., Hierons, RM. and Guo, G., Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms, Genetic and Evolutionary Computation Conference

(2005) Chen, J., Hierons, RM. and Ural, H., Resolving observability problems in distributed test architectures, 25th International Conference on Formal Techniques for Networked and Distributed Systems

(2005) Fatiregun, D., Harman, M. and Hierons, RM., Search-based amorphous slicing, 12th Working Conference on Reverse Engineering (WCRE) Download publication

(2005) Gold, NE., Harman, M., Binkley, D. and Hierons, RM., Unifying program slicing and concept assignment for higher-level executable source code extraction, 9th Working Conference on Reverse Engineering, Software: Practice and Experience (35) : 977- 1006

(2004) Harman, M., Binkley, D., Singh, R. and Hierons, RM., Amorphous procedure extraction, 4th IEEE International Workshop on Source Code Analysis and Manipulation Download publication

(2004) Guo, Q., Hierons, RM., Harman, M. and Derderian, K., Computing unique input/output sequences using genetic algorithms, 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), Lecture Notes on Computer Science (2931) : 164- 177

(2004) Chen, J., Hierons, RM. and Ural, H., Conditions for resolving observability problems in distributed testing, 24th International Conference on Formal Techniques for Networked and Distributed Systems

(2004) Fatiregun, D., Harman, M. and Hierons, RM., Evolving transformation sequences using genetic algorithms, 4th IEEE International Workshop on Source Code Analysis and Manipulation Download publication

(2004) Adamopoulos, K., Harman, M. and Hierons, RM., How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution, 6th Annual Genetic and Evolutionary Computation Conference (GECCO 2004), Lecture Notes on Computer Science (3103) : 1338- 1349

(2004) Derderian, K., Hierons, RM., Harman, M. and Guo, Q., Input sequence generation for testing of Communicating Finite State Machines (CFSMs), 6th Annual Genetic and Evolutionary Computation Conference (GECCO 2004), Lecture Notes on Computer Science (3103) : 1429- 1430

(2004) Hu, L., Harman, M., Hierons, RM. and Binkley, D., Loop squashing transformations for amorphous slicing, 11th Working Conference on Reverse Engineering Download publication

(2003) De Lucia, A., Harman, M., Hierons, RM. and Krinke, J., Unions of slices are not slices, IEEE Conference on Software Maintenance and Reengineering (CSMR 2003) Download publication

(2003) Mahdavi, K., Harman, M. and Hierons, RM., A multiple hill climbing approach to software module clustering, IEEE International Conference on Software Maintenance Download publication

(2003) Hierons, RM., Harman, M. and Singh, H., Automatically generating information from a Z specification to support the classification tree method, 3rd International Conference on B and Z Users, Lecture Notes on Computer Science (2651) : 388- 407

(2003) Hierons, RM. and Ural, H., Concerning the ordering of adaptive test sequences, 23rd International Conference on Formal Techniques for Networked and Distributed Systems, Lecture Notes on Computer Science (2767) : 289- 302

(2003) Hierons, RM. and Ural, H., UIO sequence based checking sequences for distributed test architectures, Concordia Prestigious Workshop on Communications Software Engineering

(2002) Harman, M., Gold, N., Hierons, R. and Binkley, D., Code extraction algorithms which unify slicing and concept assignment, 9th Working Conference on Reverse Engineering (WCRE 2002), WCRE '02 Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02) 11- 21 Download publication

(2002) Harman, M., Hu, L., Hierons, R., Munro, M., Zhang, X., Dolado, JJ., Otero, MC. and Wegener, J., A post-placement side-effect removal algorithm, IEEE International Conference on Software Maintenance (ICSM 2002), ICSM '02 Proceedings of the International Conference on Software Maintenance 2- 11 Download publication

(2002) Harman, M., Hu, L., Hierons, R., Fox, C., Danicic, S., Wegener, J., Sthamer, H. and Baresel, A., Evolutionary testing supported by slicing and transformation, IEEE International Conference on Software Maintenance (ICSM 2002) Download publication

(2002) Harman, M., Fox, C., Hierons, R., Hu, L., Danicic, S. and Wegener, J., VADA: A transformation-based system for variable dependence analysis, 2nd IEEE International Workshop on Source Code Analysis and Manipulation Download publication

(2002) Hierons, RM., Kim, TH. and Ural, H., Expanding an extended finite state machine to aid testability, 26th Annual International Computer Software and Applications Conference Download publication

(2002) Bowen, JP., Bogdanov, K., Clark, JA., Harman, M., Hierons, RM. and Krause, P., FORTEST: formal methods and testing, 26th Annual International Computer Software and Applications Conference Download publication

(2001) Harman, M., Hierons, R., Fox, C., Danicic, S. and Howroyd, J., Pre/post conditioned slicing, IEEE International Conference on Software Maintenance (ICSM'2001), ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance 138- 147 Download publication

(2001) Harman, M., Hierons, R., Fox, C., Danicic, S., Howroyd, J. and Laurence, M., Node coarsening calculi for program slicing, IEEE Working Conference on Reverse Engineering (WCRE'2001), WCRE '01 Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01) 25- 34 Download publication

(2001) Fox, C., Harman, M., Hierons, R. and Danicic, S., Backward conditioning: A new program specialisation technique and its application to program comprehension, IEEE International Workshop on Program Comprehension (IWPC 2001), IWPC '01 Proceedings of the 9th International Workshop on Program Comprehension 89- 97 Download publication

(1999) Harman, M., Fox, C., Hierons, R., Binkley, D. and Danicic, S., Program simplification as a means of approximating undecidable propositions, 7th IEEE International Workshop on Program Comprehension (IWPC'99), IWPC '99 Proceedings of the 7th International Workshop on Program Comprehension 208- 217 Download publication

(2011) Molinero, C., Núñez, M. and Hierons, RM., Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM, , IEEE SSCI 2011 - Symposium Series on Computational Intelligence - IEEE ALIFE 2011: 2011 IEEE Symposium on Artificial Life 22- 29

(2010) Hierons, RM., Merayo, MG. and Núñez, M., Scenarios-based testing of systems with distributed ports, , Proceedings - International Conference on Quality Software 52- 61

(2008) Khan, IA., Fine, N., Hierons, RM. and Brinkman, W-P., Measuring personality from keyboard and mouse use, , ACM International Conference Proceeding Series (369)

(2007) Counsell, S. and Hierons, RM., Refactoring test suites versus test behaviour: A TTCN-3 perspective, , SOQUA'07: Fourth International Workshop on Software Quality Assurance - In conjunction with the 6th ESEC/FSE Joint Meeting 31- 38

(2006) Khan, IA., Hierons, RM. and Brinkman, W-P., Programmer's mood and their performance, , ACM International Conference Proceeding Series (250) : 123- 124

(2002) Harman, M., Hu, L., Hierons, R., Fox, C., Danicic, S., Wegener, J., Sthamer, H. and Baresel, A., Evolutionary testing supported by slicing and transformation, 18th International Conference on Software Maintenance, INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS 285- 285

(2001) Harman, M., Hierons, R., Danicic, S., Howroyd, J., Laurence, M. and Fox, C., Node coarsening calculi for program slicing, 8th Working Conference on Reverse Engineering (WCRE), EIGHTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS 25- 34

Book Chapters

(2009) Derderian, K., Meravo, MG., Hierons, RM. and Núñez, M., Aiding test case generation in temporally constrained state based systems using genetic algorithms. In: Cabestany, J., Prieto, A., Sandoval, F. and Corchado, JM. eds. Bio-Inspired Systems: Computational and Ambient Intelligence. (5517/2009) : 327- 334

(2008) Counsell, S., Swift, S. and Hierons, RA., A test taxonomy applied to the mechanics of java refactorings. In: Sobh, T. ed. Advances in Computer and Information Sciences and Engineering. 497- 502

(2008) Hierons, RM., Merayol, MG. and Nunez, M., Controllable test cases for the distributed test architecture. In: Automated Technology for Verification and Analysis. Berlin/Heidelberg : Springer-Verlag (5311/2008) : 201- 215

(2007) Dan, H., Hierons, RM. and Counsell, S., Thread-based analysis of sequence diagrams. In: Formal Techniques for Networked and Distributed Systems (FORTE 2007). (4574/2007) : 19- 34

(2001) Harman, M., Hierons, RM. and Danicic, S., The relationship between program dependence and mutation testing. In: Mutation Testing for the New Century. Norwell, MA, USA : Kluwer Academic Publishers 5- 13

Books

(2008) Hierons, RM., Bowen, JP. and Harman, M., Formal methods and testing: an outcome of the FORTEST network. Revised selected papers. Lecture Notes in Computer Science

(2006) Muccini, H. and Hierons, RM., Proceedings of the workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2006). Published in the ACM Digital Library

(2004) Groz, R. and Hierons, RM., Proceedings of the 16th IFIP international conference on Testing of Communicating systems (TestCom 2004).

Page last updated: Friday 24 January 2014