��«Ӱҵ

Books

• (2021) . Springer International Publishing.
• Hierons RM & Mosbah M (2019) Preface.
• Hierons RM, Merayo MG & Bravetti M (2013) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface.
• Groz R & Hierons RM (2004) Preface.

Journal articles

• Baxter J, Cavalcanti A, Gazda M & Hierons RM (2023) Testing using CSP Models: Time, Inputs, and Outputs.. ACM Trans. Comput. Log., 24, 17:1-17:1.
• Elgendy IT, Hierons RM & McMinn P (2023) A Survey of the Metrics, Uses, and Subjects of Diversity-Based Techniques in Software Testing.. CoRR, abs/2311.09714.
• Somers RJ, Douthwaite JA, Wagg DJ, Walkinshaw N & Hierons RM (2022) . Information and Software Technology, 107145-107145.
• Hierons RM (2022) . Software Testing, Verification and Reliability, 32(4).
• Hierons RM & Xie T (2022) . Software Testing, Verification and Reliability, 32(3).
• Hierons RM & Xie T (2022) . Software Testing, Verification and Reliability, 32(2).
• Hierons RM & Xie T (2022) . Software Testing, Verification and Reliability, 32(1).
• Patel K, Hierons R & Clark D (2022) . Information and Software Technology, 143.
• Hierons RM & Xie T (2021) . Software Testing, Verification and Reliability, 31(8).
• Hierons RM & Xie T (2021) . Software Testing, Verification and Reliability, 31(7).
• Hierons RM & Xie T (2021) . Software Testing, Verification and Reliability, 31(6).
• Hierons RM & Mosbah M (2021) . Theoretical Computer Science, 880, 138-138.
• Turker UC, Hierons R & Jourdan G-V (2021) . Science of Computer Programming, 208.
• Clark A, Walkinshaw N & Hierons R (2021) . Information and Software Technology, 135.
• Nunez A, Canizares P, Nunez M & Hierons R (2021) . IEEE Transactions on Reliability, 70(1), 261-284.
• Hierons RM & Xie T (2021) . Software Testing Verification and Reliability.
• Ibias A, Núñez M & Hierons RM (2021) . Information and Software Technology, 132, 106498-106498.
• Lefticaru R, Hierons R & Nunez M (2020) . Journal of Systems and Software, 170.
• Hierons RM & Xie T (2020) . ACM SIGSOFT Software Engineering Notes, 45(4), 18-18.
• Hierons RM & Xie T (2020) . Software Testing, Verification and Reliability, 30(6).
• Hierons RM & Xie T (2020) . Software Testing, Verification and Reliability, 30(4-5).
• Cavalcanti A, Hierons R & Nogueira S (2020) . ACM Transactions on Computational Logic, 21(3).
• Hierons RM & Xie T (2020) . Software Testing, Verification and Reliability, 30(3).
• Medina-Bulo I, Merayo MG & Hierons RM (2020) . Information and Software Technology, 118, 106222-106222.
• Hierons R, Li M, Liu X, Parejo JA, Segura S & Yao X (2020) . ACM Transactions on Software Engineering and Methodology, 29(1).
• Lima B, Faria JP & Hierons R (2020) . IEEE Access, 1-1.
• Hierons RM (2019) . Software Testing, Verification and Reliability, 29(6-7).
• Clark D, Hierons R & Patel K (2019) . Information Processing Letters, 149, 6-9.
• Patel K & Hierons RM (2019) . Software Quality Journal.
• Alberto I, Hierons R & Manuel N (2019) . Information and Software Technology, 112, 132-147.
• El-Fakih K, Hierons R & Turker UC (2019) Κ-branching UIO sequences for partially specified observable non-deterministic FSMs. IEEE Transactions on Software Engineering.
• Hierons R (2019) . Science of Computer Programming.
• Patel K & Hierons RM (2018) . Software Quality Journal, 26(4), 1373-1413.
• Merayo MG, Hierons RM & Núñez M (2018) . Information and Software Technology, 104, 162-178.
• Merayo MG, Hierons RM & Núñez M (2018) . Distributed Computing, 31(5), 327-342.
• Hierons RM, Merayo MG & Nunez M (2018) . IEEE Transactions on Reliability, 67(2), 522-537.
• Aichernig BK, Furia CA, Gaudel M-C & Hierons RM (2018) Special section of Tests and Proofs 2016.. Formal Asp. Comput., 30, 627-628.
• Hierons RM (2017) . IEEE Transactions on Software Engineering, 43(11), 1033-1043.
• Danicic S, Hierons RM & Laurence MR (2017) Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas.. CoRR, abs/1705.09615.
• Danicic S, Hierons RM & Laurence MR (2017) On the computational complexity of dynamic slicing problems for program schemas.. CoRR, abs/1705.07686.
• Bravetti M, Hierons RM & Merayo MG (2017) . Software & Systems Modeling, 16(1), 5-6.
• Hierons RM & Núñez M (2017) . Journal of Systems and Software, 132, 319-335.
• Hierons RM, Merayo MG & Núñez M (2017) . Journal of Logical and Algebraic Methods in Programming, 86(1), 408-424.
• Hierons RM & Türker UC (2017) . The Computer Journal, 60(1), 110-125.
• Hierons RM & Türker UC (2017) . ACM Transactions on Software Engineering and Methodology, 26(1), 1-34.
• Hierons RM (2017) . Software Testing, Verification and Reliability, 27(3), e1633-e1633.
• Dongol B & Hierons RM (2017) . Information and Computation, 257, 1-21.
• Hierons RM & Turker UC (2016) . IEEE Transactions on Software Engineering, 42(11), 1077-1091.
• Hierons RM & Turker UC (2016) . IEEE Transactions on Computers, 65(11), 3370-3383.
• Hierons RM, Li M, Liu X, Segura S & Zheng W (2016) . ACM Transactions on Software Engineering and Methodology, 25(2).
• Zheng W, Hierons RM, Li M, Liu X & Vinciotti V (2016) . Information Sciences, 334-335, 1-16.
• Hierons RM & Türker UC (2016) . The Computer Journal, 59(8), 1186-1206.
• Hierons RM (2016) . Software Testing, Verification and Reliability, 26(1), 3-3.
• Hierons RM (2015) . IEEE Transactions on Software Engineering, 41(3), 279-293.
• Farchi E, Hierons RM & Lourenço J (2015) . Software Testing, Verification and Reliability, 25(3), 165-166.
• Nabulsi MA & Hierons RM (2015) . IEEE Software, 32(3), 86-93.
• Hierons RM & Cengiz Türker U (2015) . The Computer Journal, 58(11), 3089-3113.
• Núñez A & Hierons RM (2015) . annals of telecommunications - annales des télécommunications, 70(3-4), 127-135.
• Hierons RM (2014) . ACM Transactions on Software Engineering and Methodology, 24(1), 1-29.
• Segura S, Parejo JA, Hierons RM, Benavides D & Ruiz-Cortés A (2014) . Expert Systems with Applications, 41(8), 3975-3992.
• Hierons RM, Merayo MG & Núñez M (2014) . Distributed Computing, 27(3), 181-201.
• Dan H & Hierons RM (2014) . The Computer Journal, 57(7), 987-1001.
• Androutsopoulos K, Clark D, Harman M, Hierons RM, Li Z & Tratt L (2013) . IEEE Transactions on Software Engineering, 39(7), 892-909.
• Núñez A, Merayo MG, Hierons RM & Núñez M (2013) . Soft Computing, 17(2), 301-315.
• AbouTrab MS, Brockway M, Counsell S & Hierons RM (2013) . Journal of Systems and Software, 86(5), 1209-1223.
• Khan IA, Brinkman W-P & Hierons RM (2013) Towards estimating computer users' mood from interaction behaviour with keyboard and mouse.. Frontiers Comput. Sci., 7, 943-954.
• Hierons RM & Merayo MG (2013) . Information and Software Technology, 55(5), 865-865.
• Hierons RM (2013) . The Computer Journal, 56(11), 1305-1319.
• Hierons RM (2013) . IEEE Transactions on Computers, 62(8), 1673-1683.
• Dan H, Hierons RM & Counsell S (2012) . Information and Software Technology, 54(11), 1283-1295.
• Hierons RM, Merayo MG & Núñez M (2012) . Distributed Computing, 25(1), 35-62.
• Clark D & Hierons RM (2012) . Information Processing Letters, 112(8-9), 335-340.
• Hierons RM & Núñez M (2012) . Formal Aspects of Computing, 24(4-6), 679-699.
• Dan H & Hierons RM (2012) . The Computer Journal, 55(11), 1270-1287.
• Hierons RM (2012) . Distributed Computing, 25(1), 63-81.
• Hierons RM (2012) . IEEE Transactions on Software Engineering, 38(3), 629-641.
• Hierons RM (2012) . Theoretical Computer Science, 451, 70-82.
• Danicic S, Hierons RM & Laurence MR (2012) . ACM Transactions on Computational Logic, 13(2), 1-18.
• DANICIC S, HIERONS RM & LAURENCE MR (2011) . Mathematical Structures in Computer Science, 21(6), 1339-1362.
• Segura S, Hierons RM, Benavides D & Ruiz-Cortés A (2011) . Information and Software Technology, 53(10), 1124-1136.
• Kalaji AS, Hierons RM & Swift S (2011) . Information and Software Technology, 53(12), 1297-1318.
• Segura S, Hierons RM, Benavides D & Ruiz-Cortés A (2011) . Information and Software Technology, 53(3), 245-258.
• Khan IA, Brinkman W-P & Hierons RM (2011) . Cognition, Technology & Work, 13(4), 245-258.
• Merayo MG, Núñez M & Hierons RM (2011) . Software & Systems Modeling, 10(2), 201-217.
• Mubarak A, Counsell S & Hierons RM (2011) . International Journal of Information System Modeling and Design, 2(4), 1-26.
• Hierons RM, Merayo MG & Núñez M (2011) . Software: Practice and Experience, n/a-n/a.
• Hierons RM & Mathur A (2011) . Software Testing, Verification and Reliability, 21(1), 1-1.
• Hierons RM (2011) Checking Finite State Machine Conformance when there are Distributed Observations. CoRR, abs/1108.5295.
• Hierons R (2011) . IEEE Transactions on Computers, 60(12), 1818-1822.
• Danicic S, Hierons RM & Laurence MR (2011) . The Journal of Logic and Algebraic Programming, 80(8), 481-496.
• Danicic S, Hierons RM & Laurence MR (2011) . The Journal of Logic and Algebraic Programming, 80(2), 92-112.
• Barraclough RW, Binkley D, Danicic S, Harman M, Hierons RM, Kiss Á, Laurence M & Ouarbya L (2010) . Theoretical Computer Science, 411(11-13), 1372-1386.
• Laurence MR, Barraclough RW, Binkley D, Danicic S, Harman M, Hierons RM, Kiss A & Ouarbya L (2010) A trajectory-based strict semantics for program slicing. Theoretical Computer Science, 411(1-13), 1372-1386.
• Counsell S, Hierons RM, Hamza H, Black S & Durrand M (2010) Exploring the Eradication of Code Smells: An Empirical and Theoretical Perspective.. Adv. Softw. Eng., 2010, 820103:1-820103:1.
• Derderian K, Hierons RM, Harman M & Guo Q (2010) . Automated Software Engineering, 17(1), 33-56.
• Parkinson ST, Hierons RM, Lycett M & Norman M (2010) . Communications of the ACM, 53(3), 142-147.
• Counsell S, Hamza H & Hierons RM (2010) . Journal of Computing and Information Technology, 18(4), 333-333.
• Hierons RM (2010) . SIAM Journal on Computing, 39(8), 3480-3500.
• Hierons RM & Ural H (2010) . Automated Software Engineering, 17(3), 217-250.
• Hierons RM (2010) . Theoretical Computer Science, 411(2), 566-580.
• Hierons RM (2010) . Theoretical Computer Science, 411(37), 3372-3385.
• Danicic S, Hierons RM & Laurence MR (2010) Complexity of Data Dependence problems for Program Schemas with Concurrency. CoRR, abs/1007.3878.
• Hierons RM & Ural H (2009) . IEEE Transactions on Computers, 58(2), 287-287.
• Hierons RM, Merayo MG & Núñez M (2009) . The Journal of Logic and Algebraic Programming, 78(2), 98-115.
• Hierons RM & Merayo MG (2009) . Journal of Systems and Software, 82(11), 1804-1818.
• Hierons RM & Ural H (2009) . Computer Networks, 53(5), 680-690.
• Hierons RM (2009) . Information and Software Technology, 51(7), 1123-1130.
• Hierons RM (2009) . ACM Transactions on Software Engineering and Methodology, 18(4), 1-19.
• Hierons RM, Bogdanov K, Bowen JP, Cleaveland R, Derrick J, Dick J, Gheorghe M, Harman M, Kapoor K, Krause P , Lüttgen G et al (2009) . ACM Computing Surveys, 41(2), 1-76.
• Mubarak A, Counsell S, Hierons RM & Hassoun Y (2008) . Electronic Communications of the EASST, 8.
• Hierons RM & Ipate F (2008) . Formal Aspects of Computing, 20(6), 597-617.
• Hierons RM & Ural H (2008) . Distributed Computing, 21(3), 223-238.
• Guo Q, Hierons RM, Harman M & Derderian K (2007) . Software Testing, Verification and Reliability, 17(1), 41-57.
• Li Z, Harman M & Hierons RM (2007) . IEEE Transactions on Software Engineering, 33(4), 225-237.
• Hierons RM & Ural H (2007) . Computer Networks, 51(1), 224-238.
• Danicic S, Harman M, Hierons R, Howroyd J & Laurence MR (2007) . Theoretical Computer Science, 373(1-2), 1-18.
• McMinn P & Hierons RM (2006) . Software Testing, Verification and Reliability, 16(3), 131-132.
• Guo Q, Hierons RM, Harman M & Derderian K (2006) . Information and Software Technology, 48(8), 696-707.
• Robinson-Mallett C, Hierons RM & Liggesmeyer P (2006) . ACM SIGSOFT Software Engineering Notes, 31(6), 1-1.
• Chen J, Hierons RM & Ural H (2006) . Information Processing Letters, 98(5), 177-182.
• Hierons RM (2006) . Automated Software Engineering, 13(2), 283-301.
• Hierons RM & Ural H (2006) . IEEE Transactions on Computers, 55(5), 618-629.
• Hierons RM (2006) . Software Testing, Verification and Reliability, 16(4), 289-290.
• Hierons RM (2006) . ACM Transactions on Software Engineering and Methodology (TOSEM), 15(3), 227-241.
• Hierons RM (2006) . Information Processing Letters, 98(2), 56-60.
• Derrick J, Harman M & Hierons RM (2006) . Formal Aspects of Computing, 18(1), 1-2.
• White L, Offutt J, Yates D, Hierons R, Hennell M & Mitchell P (2006) . Software Testing, Verification and Reliability, 16(4), 209-211.
• Guo Q, Hierons R, Harman M & Derderian K (2005) . IEE Proceedings Software, 152(3), 127-140.
• Gold NE, Harman M, Binkley D & Hierons RM (2005) . Software: Practice and Experience, 35(10), 977-1006.
• Hierons RM (2005) . Software Testing, Verification and Reliability, 15(2), 135-136.
• Hierons RM (2005) . Software Testing, Verification and Reliability, 15(4), 209-210.
• Danicic S, Fox C, Harman M, Hierons R, Howroyd J & Laurence MR (2005) . The Computer Journal, 48(6), 737-748.
• Clark J, Harman M & Hierons R (2004) . Software Testing, Verification and Reliability, 14(3), 165-166.
• Hierons RM (2004) . Software Testing, Verification and Reliability, 14(1), 72-73.
• Harman M, Lin Hu , Hierons R, Wegener J, Sthamer H, Baresel A & Roper M (2004) . IEEE Transactions on Software Engineering, 30(1), 3-16.
• Fox C, Danicic S, Harman M & Hierons RM (2004) . Software: Practice and Experience, 34(1), 15-46.
• Hierons RM (2004) . ACM SIGSOFT Software Engineering Notes, 29(5), 1-3.
• Hierons RM, Kim T-H & Ural H (2004) . Computer Networks, 44(5), 681-700.
• Hierons RM & Harman M (2004) . Theoretical Computer Science, 323(1-3), 191-233.
• Hierons RM (2004) . IEEE Transactions on Computers, 53(10), 1330-1342.
• Hierons RM (2004) . Information Processing Letters, 90(6), 287-292.
• Hierons RM (2003) . Software Testing, Verification and Reliability, 13(3), 197-198.
• Hierons RM & Ural H (2003) . Information and Software Technology, 45(12), 793-803.
• Hierons RM (2003) . The Computer Journal, 46(3), 307-318.
• Hierons RM (2003) . Software Testing, Verification and Reliability, 13(3), 139-140.
• Clark JA, Dolado JJ, Harman M, Hierons RM, Jones BF, Lumkin M, Mitchell BS, Mancoridis S, Rees K, Roper M & Shepperd MJ (2003) Formulating software engineering as a search problem. IEE Proceedings - Software, 150, 161-175.
• Laurence MR, Danicic S, Harman M, Hierons R & Howroyd J (2003) . Theoretical Computer Science, 290(1), 831-862.
• Clarke J, Dolado JJ, Harman M, Hierons R, Jones B, Lumkin M, Mitchell B, Mancoridis S, Rees K, Roper M & Shepperd M (2003) . IEE Proceedings - Software, 150(3), 161-161.
• Hierons RM, Harman M, Fox C, Ouarbya L & Daoudi M (2002) Conditioned slicing supports partition testing.. Softw. Test. Verification Reliab., 12, 23-28.
• Hierons RM & Ural H (2002) . IEEE Transactions on Computers, 37(9), 1111-1117.
• Hierons RM (2002) Editorial: Formal methods and testing.. Softw. Test. Verification Reliab., 12, 69-70.
• Hierons RM (2002) . ACM Transactions on Software Engineering and Methodology (TOSEM), 11(4), 427-448.
• Hierons RM, Sadeghipour S & Singh H (2001) . Information and Software Technology, 43(2), 137-149.
• Hierons RM (2001) . Information and Software Technology, 43(9), 551-560.
• Hierons RM (2001) . Microprocessors and Microsystems, 24(9), 443-452.
• Harman M & Hierons RM (2001) An overview of program slicing.. Software Focus, 2, 85-92.
• Hierons RM (2001) Book Review: Spin Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop, Stanford, CA, USA, By Klaus Havelund, John Penix and Willem Visser (eds.). LNCS 1885.. Softw. Test. Verification Reliab., 11, 197-198.
• Hierons R & Derrick J (2000) Editorial: special issue on specification-based testing. Software Testing, Verification and Reliability, 10(4), 201-202.
• Hierons RM & Harman M (2000) . Formal Aspects of Computing, 12(6), 423-442.
• Hierons RM (2000) Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir and Amrit L. Goel, Springer-Verlag, 2000 (Book Review).. Softw. Test. Verification Reliab., 10, 196-196.
• Hierons RM, Harman M & Danicic S (1999) Using Program Slicing to Assist in the Detection of Equivalent Mutants.. Softw. Test. Verification Reliab., 9, 233-262.
• Hierons RM (1999) . Computer Communications, 22(2), 120-127.
• Hierons RM (1999) Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review).. Softw. Test. Verification Reliab., 9, 191-193.
• Hierons RM (1999) Editorial: What does testing tell us?. Softw. Test. Verification Reliab., 9, 143-144.
• Hierons RM (1999) Correct Systems: Building a Business Process Solution, by Mike Holcombe and Florentin Ipate, Springer-Verlag, 1998 (Book Review).. Softw. Test. Verification Reliab., 9, 76-77.
• Hierons RM (1999) Testing of Communicating Systems, Vol. 10 by Myungchul Kim, Sugwon Kang, Keesoo Hong (Eds.).. Comput. Commun., 22, 1619-1620.
• Edwards H, Hierons RM & Jackson B (1998) The Zero-Free Intervals for Characteristic Polynomials of Matroids.. Comb. Probab. Comput., 7, 153-165.
• Hierons RM (1998) . The Computer Journal, 41(5), 349-355.
• Hierons RM & Wiper MP (1997) . Software Testing, Verification and Reliability, 7(3), 153-164.
• Hierons RM (1997) . The Computer Journal, 40(4), 220-230.
• Hierons RM (1997) . IEE Proceedings - Software Engineering, 144(5-6), 291-291.
• HIERONS RM (1997) . Software Testing, Verification and Reliability, 7(1), 19-33.
• Hierons RM (1996) . The Computer Journal, 39(4), 325-330.
• Gazda M & Hierons R () Model Independent Refusal Trace Testing. Science of Computer Programming.
• Turker U, Hierons R, El-Fakih K, Mousavi MR & Tyukin IY () Accelerating Finite State Machine-Based Testing using Reinforcement Learning. IEEE Transactions on Software Engineering.
• Clark AG, Foster M, Prifling B, Walkinshaw N, Hierons RM, Schmidt V & Turner RD () . ACM Transactions on Software Engineering and Methodology.
• Turker UC, Hierons R, Barlas G & El-Fakih K () Incomplete adaptive distinguishing sequences for non-deterministic FSMs. IEEE Transactions on Software Engineering.
• Manuel N, Hierons R & Lefticaru R () Implementation relations and testing for cyclic systems: adding probabilities. Robotics and Autonomous Systems.
• Walkinshaw N & Hierons R () Modelling Second-Order Uncertainty in State-Based Systems. IEEE Transactions on Software Engineering.
• Gazda M & Hierons R () Removing Redundant Refusals: Minimal Complete Test Suites for Failure. Information and Computation.
• Baxter J, Cavalcanti A, Gazda M & Hierons R () Testing using CSP models: time, inputs, and outputs. ACM Transactions on Computational Logic.
• Mousavi MR, Cavalcanti A, Fisher M, Dennis L, Hierons R, Kaddouh B, Law E, Richardson R, Ringert JO & Tyukin I () Trustworthy Autonomous Systems through Verifiability. IEEE Computer.
• Hierons RM () . The Computer Journal, bxv057-bxv057.
• Hierons RM & Ural H () . The Computer Journal, 51(4), 497-510.
• Derderian K () . The Computer Journal, 49(3), 331-344.
• Hierons RM () . The Computer Journal, 48(4), 421-436.
• Mirza HS () . London Review of Education.

Chapters

• Hierons RM, Merayo MG & Núñez M (2023) , Lecture Notes in Computer Science (pp. 34-48). Springer Nature Switzerland
• Hierons RM, Gazda M, Gómez-Abajo P, Lefticaru R & Merayo MG (2021) , Software Engineering for Robotics (pp. 345-375). Springer International Publishing
• Mubarak A, Counsell S & Hierons RM (2013) , Frameworks for Developing Efficient Information Systems (pp. 199-224). IGI Global
• Hierons RM, Merayo MG & Núñez M (2010) Mutation Testing. In Laplante PA (Ed.), Encyclopedia of Software Engineering (pp. 594-602). Taylor & Francis
• Harman M, Baresel A, Binkley D, Hierons R, Hu L, Korel B, McMinn P & Roper M () , Formal Methods and Testing (pp. 320-344). Springer Berlin Heidelberg

Book reviews

• Hierons RM (2006) . Software Testing, Verification and Reliability, 16(1), 61-61.
• Hierons RM (2001) . Software Focus, 2(2), 81-81.

Conference proceedings papers

• Walkinshaw N, Foster M, Rojas JM & Hierons R (2024) . Proceedings of the ACM on Software Engineering (PACMSE), Vol. 1(FSE) (pp 2538-2560). Porto de Galinhas, Brazil, 17 July 2024 - 17 July 2024.
• Elgendy I, Hierons R & Mcminn P (2024) . Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024)
• Cavalcanti A & Hierons RM (2023) . 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), 14 June 2023 - 16 June 2023.
• Clark AG, Foster M, Walkinshaw N & Hierons RM (2023) . 2023 IEEE Conference on Software Testing, Verification and Validation (ICST). Dublin, Ireland, 16 April 2023 - 16 April 2023.
• Somers RJ, Clark AG, Walkinshaw N & Hierons RM (2022) . Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
• Counsell S, Hierons RM & Patel K (2021) . 2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 1 September 2021 - 3 September 2021.
• Gazda M & Hierons RM (2021) . 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June 2021 - 2 July 2021.
• Chen Z, Chen Y, Hierons RM & Wu Y (2020) . Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Proceedings (pp 198-214). Singapore, 1 March 2021 - 3 March 2021.
• Sachtleben R, Hierons R, Huang W-L & Peleska J (2019) . ICTSS 2019 : Testing Software and Systems (pp 176-193). Paris, France, 15 October 2019 - 17 October 2019.
• Cavalcanti A, Baxter J, Hierons RM & Lefticaru R (2019) . Tests and Proofs (pp 21-38). Porto, Portugal, 9 October 2019 - 11 October 2019.
• Lefticaru R, Hierons R & Nunez M (2019) . Software Engineering and Formal Methods 17th International Conference Proceedings (pp 393-409). Oslo, Norway, 18 September 2019 - 20 September 2019.
• (2019) . 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 22 April 2019 - 23 April 2019.
• Lima B, Faria JP & Hierons R (2019) (pp 327-338)
• (2018) Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings. ICTSS, Vol. 11146
• Destefanis G, Marchesi M, Ortu M, Tonelli R, Bracciali A & Hierons R (2018) . 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE), 20 March 2018 - 20 March 2018.
• Hierons RM, Mousavi MR, Thomsen MK & Türker UC (2017) (pp 147-160)
• Benharrat N, Gaston C, Hierons RM, Lapitre A & Le Gall P (2017) (pp 276-292)
• Robinson-Mallett CL & Hierons RM (2017) . 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), 4 September 2017 - 8 September 2017.
• Cavalcanti A, Hierons RM, Nogueira S & Sampaio A (2016) . 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), 17 July 2016 - 19 July 2016.
• Dongol B & Hierons RM (2016) . Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 5 July 2016 - 8 July 2016.
• Hierons RM, Merayo MG & Núñez M (2016) (pp 89-105)
• Patel K & Hierons RM (2016) (pp 123-138)
• Hierons RM & Türker UC (2016) (pp 171-179)
• Gatrell M, Counsell S, Swift S, Hierons RM & Liu X (2015) . 2015 41st Euromicro Conference on Software Engineering and Advanced Applications, 26 August 2015 - 28 August 2015.
• Androutsopoulos K, Clark D, Dan H, Hierons RM & Harman M (2014) . Proceedings of the 36th International Conference on Software Engineering - ICSE 2014, 31 May 2014 - 7 June 2014.
• Hierons RM & Türker UC (2014) (pp 62-76)
• Gaston C, Hierons RM & Le Gall P (2013) (pp 82-97)
• Clark JA, Dan H & Hierons RM (2013) . Science of Computer Programming, Vol. 78(4) (pp 345-363)
• Lin L, Poore JH, Eschbach R, Hierons RM & Robinson-Mallett C (2013) (pp 179-193)
• Counsell S, Gatrell M, Hierons R, Murgia A, Tonelli R, Marchesi M & Concas G (2013) . 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, 18 March 2013 - 22 March 2013.
• (2013) Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. SEFM, Vol. 8137
• Cavalcanti A & Hierons RM (2013) (pp 359-374)
• Hierons RM, Merayo MG & Núñez M (2013) (pp 99-113)
• AbouTrab MS, Counsell S & Hierons RM (2012) . 2012 IEEE 36th Annual Computer Software and Applications Conference, 16 July 2012 - 20 July 2012.
• Hierons RM (2012) . 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops, 16 July 2012 - 20 July 2012.
• Hierons RM, Merayo MG & Núñez M (2012) (pp 232-246)
• Dan H & Hierons RM (2012) . 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, 17 April 2012 - 21 April 2012.
• Dan H & Hierons RM (2012) . 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, 17 April 2012 - 21 April 2012.
• (2011) . 2011 11th International Conference on Quality Software, 13 July 2011 - 14 July 2011.
• Derderian K, Merayo MG, Hierons RM & Núñez M (2011) (pp 396-403)
• Molinero C, Núñez M & Hierons RM (2011) (pp 404-411)
• Cavalcanti A, Gaudel M-C & Hierons RM (2011) (pp 48-63)
• Molinero C, Nunez M & Hierons RM (2011) . 2011 IEEE Symposium on Artificial Life (ALIFE), 11 April 2011 - 15 April 2011.
• (2011) Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011.. QSIC
• AbouTrab MS, Counsell S & Hierons RM (2011) . 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 27 April 2011 - 29 April 2011.
• Dan H & Hierons RM (2011) . 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, 21 March 2011 - 25 March 2011.
• Grieskamp W, Hierons RM & Pretschner A (2011) Dagstuhl Seminar 10421 Model-Based Testing in Practice October 18-22, 2010. Dagstuhl Seminar Proceedings, Vol. 10421
• Counsell S, Hamza H & Hierons RM (2010) The 'deception' of code smells: An empirical investigation. Proceedings of the International Conference on Information Technology Interfaces, ITI (pp 683-688)
• Bertolino A, Grieskamp W, Hierons RM, Traon YL, Legeard B, Muccini H, Paradkar AM, Rosenblum DS & Tretmans J (2010) Model-Based Testing for the Cloud.. Practical Software Testing: Tool Automation and Human Factors, Vol. 10111
• Counsell S, Hierons RM, Hamza H, Black S & Durrand M (2010) . Proceedings of the 2010 ICSE Workshop on Emerging Trends in Software Metrics - WETSoM '10, 4 May 2010 - 4 May 2010.
• Trab MSA, Alrouh B, Counsell S, Hierons RM & Ghinea G (2010) (pp 194-197)
• Dan H, Hierons RM & Counsell S (2010) . 2010 8th IEEE International Conference on Software Engineering and Formal Methods, 13 September 2010 - 18 September 2010.
• Hierons RM, Merayo MG & Nunez M (2010) . 2010 10th International Conference on Quality Software, 14 July 2010 - 15 July 2010.
• Kalaji AS, Hierons R & Swift S (2010) . 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 6 April 2010 - 10 April 2010.
• Mubarak A, Counsell S & Hierons RM (2010) . 2010 Fourth International Conference on Research Challenges in Information Science (RCIS), 19 May 2010 - 21 May 2010.
• Segura S, Hierons RM, Benavides D & Ruiz-Cortés A (2010) . 2010 Third International Conference on Software Testing, Verification and Validation, 6 April 2010 - 10 April 2010.
• Hierons RM & Núñez M (2010) (pp 63-77)
• (2010) Model-Based Testing in Practice, 17.10. - 22.10.2010. Model-Based Testing in Practice, Vol. 10421
• Grieskamp W, Hierons RM & Pretschner A (2010) 10421 Summary - Model-Based Testing in Practice.. Model-Based Testing in Practice, Vol. 10421
• Grieskamp W, Hierons RM & Pretschner A (2010) 10421 Abstracts Collection - Model-Based Testing in Practice.. Model-Based Testing in Practice, Vol. 10421
• Clark JA, Dan H & Hierons RM (2010) . 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 6 April 2010 - 10 April 2010.
• Mubarak A, Counsell S & Hierons RM (2010) . Advanced Techniques in Computing Sciences and Software Engineering (pp 99-104)
• Kalaji A, Hierons RM & Swift S (2009) . 2009 1st International Symposium on Search Based Software Engineering, 13 May 2009 - 15 May 2009.
• Kalaji A, Hierons RM & Swift S (2009) . 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques, 4 September 2009 - 6 September 2009.
• Derderian K, Merayo MG, Hierons RM & Núñez M (2009) (pp 327-334)
• Almohammad A, Ghinea G & Hierons RM (2009) . 2009 International Conference on Advanced Information Networking and Applications, 26 May 2009 - 29 May 2009.
• Hierons RM, Jourdan G-V, Ural H & Yenigun H (2009) . 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 23 November 2009 - 27 November 2009.
• Kalaji AS, Hierons RM & Swift S (2009) . 2009 International Conference on Software Testing Verification and Validation, 1 April 2009 - 4 April 2009.
• Hierons RM & Núñez M (2009) . 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 23 November 2009 - 27 November 2009.
• Robinson-Mallett C, Hierons RM, Poore J & Liggesmeyer P (2008) . Software Quality Journal, Vol. 16(2) (pp 185-211)
• Hierons RM, Merayo MG & Núñez M (2008) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5311 LNCS (pp 201-215)
• Khan IA, Brinkman W-P, Fine N & Hierons RM (2008) . Proceedings of the 15th European conference on Cognitive ergonomics the ergonomics of cool interaction - ECCE '08, 16 September 2008 - 19 September 2008.
• Hierons RM, Jourdan G-V, Ural H & Yenigun H (2008) . Proceedings of the 2008 ACM symposium on Applied computing - SAC '08, 16 March 2008 - 20 March 2008.
• Khan IA, Brinkman W-P & Hierons RM (2008) Towards a Computer Interaction-Based Mood Measure Instrument.. PPIG (pp 17-17)
• Merayo MG, Hierons RM & Núñez M (2008) . 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, 10 November 2008 - 14 November 2008.
• Almohammad A, Hierons RM & Ghinea G (2008) . 2008 Third International Conference on Availability, Reliability and Security, 4 March 2008 - 7 March 2008.
• Hierons RM, Merayo MG & Núñez M (2008) (pp 200-215)
• (2008) Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers. Formal Methods and Testing, Vol. 4949
• Parkinson ST, Counsell S, Norman M, Hierons RM & Lycett M (2008) . ITI 2008 - 30th International Conference on Information Technology Interfaces, 23 June 2008 - 26 June 2008.
• Hierons RM (2008) . 2008 The Eighth International Conference on Quality Software, 12 August 2008 - 13 August 2008.
• Counsell S, Swift S & Hierons RM (2008) (pp 497-502)
• Hierons RM & Merayo MG (2007) . Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007), 10 September 2007 - 14 September 2007.
• Khan IA, Hierons RM & Brinkman WP (2007) . Proceedings of the 14th European conference on Cognitive ergonomics invent! explore! - ECCE '07, 28 August 2007 - 31 August 2007.
• Khan IA, Hierons RM & Brinkman W-P (2007) Moods and Programmers' Performance.. PPIG (pp 2-2)
• Counsell S, Hierons RM & Loizou G (2007) . 2007 IEEE/ACS International Conference on Computer Systems and Applications, 13 May 2007 - 16 May 2007.
• Dan H, Hierons RM & Counsell S (2007) . Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10 September 2007 - 14 September 2007.
• Hameurlain N (2007) . Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10 September 2007 - 14 September 2007.
• Hierons RM & Merayo MG (2007) . Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007), 10 September 2007 - 14 September 2007.
• Counsell S & Hierons RM (2007) . Fourth international workshop on Software quality assurance in conjunction with the 6th ESEC/FSE joint meeting - SOQUA '07, 3 September 2007 - 4 September 2007.
• Robinson-Mallett C, Hierons RM, Poore J & Bauer T (2007) Using partial models to support the testing of distributed systems. Proceedings of the 11th IASTED International Conference on Software Engineering and Applications, SEA 2007 (pp 48-56)
• Dan H, Hierons RM & Counsell S (2007) (pp 19-34)
• Khan IA, Hierons RM & Brinkman W-P (2006) . Proceedings of the 13th Eurpoean conference on Cognitive ergonomics trust and control in complex socio-technical systems - ECCE '06, 20 September 2006 - 22 September 2006.
• (2006) Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 2006. ROSATEA
• Counsell S, Hierons RM, Najjar R, Loizou G & Hassoun Y (2006) . Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06), 29 August 2006 - 31 August 2006.
• Danicic S, Daoudi M, Fox C, Harman M, Hierons RM, Howroyd JR, Ourabya L & Ward M (2005) . Journal of Systems and Software, Vol. 77(3) (pp 241-262)
• Chen J, Hierons RM, Ural H & Yenigun H (2005) (pp 146-158)
• Derderian K, Hierons RM, Harman M & Guo Q (2005) . Proceedings of the 2005 conference on Genetic and evolutionary computation - GECCO '05, 25 June 2005 - 29 June 2005.
• Chen J, Hierons RM & Ural H (2005) (pp 219-232)
• Guo Q, Hierons RM, Harman M & Derderian K (2004) (pp 164-177)
• Fatiregun D, Harman M, Hierons RM & society IC (2004) Evolving transformation sequences using genetic algorithms. FOURTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS (pp 65-74)
• Derderian K, Hierons RM, Harman M & Guo Q (2004) (pp 1429-1430)
• Adamopoulos K, Harman M & Hierons RM (2004) (pp 1338-1349)
• Chen J, Hierons RM & Ural H (2004) (pp 229-242)
• (2004) Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings. TestCom, Vol. 2978
• Mahdavi K, Harman M & Hierons R (2003) Finding building blocks for software clustering. GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT II, PROCEEDINGS, Vol. 2724 (pp 2513-2514)
• Fatiregun D, Harman M & Hierons R (2003) Search based transformations. GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT II, PROCEEDINGS, Vol. 2724 (pp 2511-2512)
• Hierons RM, Harman M & Singh H (2003) (pp 388-407)
• Hierons RM & Ural H (2003) (pp 289-302)
• Harman M, Hierons RM & Proctor M (2002) A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization.. GECCO (pp 1351-1358)
• Harman M, Hu L, Hierons RM, Baresel A & Sthamer H (2002) Improving Evolutionary Testing By Flag Removal.. GECCO (pp 1359-1366)
• Danicic , Fox , Harman & Hierons (2000) . Proceedings International Conference on Software Maintenance ICSM-94, 14 October 2000 - 14 October 2000.
• Foster M, Wild C, Hierons R & Walkinshaw N () Causal test adequacy. 2024 IEEE Conference on Software Testing, Verification and Validation (ICST). Toronto, Canada, 27 May 2024 - 27 May 2024.
• Mubarak A, Counsell S & Hierons RM () . 13th International Conference on Evaluation and Assessment in Software Engineering (EASE)
• Chen J, Hierons RM & Ural H () (pp 157-183)
• Fatiregun D, Harman M & Hierons RM () . 12th Working Conference on Reverse Engineering (WCRE'05)
• Harman M, Binkley D, Singh R & Hierons RM () . Source Code Analysis and Manipulation, Fourth IEEE International Workshop on
• Fatiregun D, Harman M & Hierons RM () . Source Code Analysis and Manipulation, Fourth IEEE International Workshop on
• Lin Hu , Harman M, Hierons RM & Binkley D () . 11th Working Conference on Reverse Engineering
• Mahdavi K, Harman M & Hierons RM () . International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings.
• De Lucia A, Harman M, Hierons R & Krinke J () . Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings.
• Harman M, Lin Hu , Hierons R, Fox C, Danicic S, Wegener J, Sthamer H & Baresel A () . International Conference on Software Maintenance, 2002. Proceedings.
• Harman M, Fox C, Hierons R, Lin Hu , Danicic S & Wegener J () . Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation
• Harman M, Lin Hu , Hierons R, Munro M, Xingyuan Zhang , Dolado JJ, Otero MC & Wegener J () . International Conference on Software Maintenance, 2002. Proceedings.
• Harman M, Gold N, Hierons R & Binkley D () . Ninth Working Conference on Reverse Engineering, 2002. Proceedings.
• Hierons RM, Kim T-H & Ural H () . Proceedings 26th Annual International Computer Software and Applications
• Bowen JP, Bogdanov K, Clark JA, Harman M, Hierons RM & Krause P () . Proceedings 26th Annual International Computer Software and Applications
• Harman M, Hierons R, Fox C, Danicic S & Howroyd J () . Proceedings IEEE International Conference on Software Maintenance. ICSM 2001
• Fox C, Harman M, Hierons R & Danicic S () . Proceedings 9th International Workshop on Program Comprehension. IWPC 2001
• Harman M, Hierons R, Danicic S, Howroyd J, Laurence M & Fox C () . Proceedings Eighth Working Conference on Reverse Engineering
• Harman M, Fox C, Hierons R, Binkley D & Danicic S () . Proceedings Seventh International Workshop on Program Comprehension
• Turker U, Hierons R, Mousavi M & Tyukin I () Efficient state synchronisation in model-based testing through reinforcement learning. 36th IEEE/ACM Automated Software Engineering (ASE), 15 November 2021 - 19 November 2021.

Datasets

• Hierons R, Ibias A & Nunez M .
• Patel K, Hierons R & Clark D .

Preprints

• Elgendy IT, Hierons RM & McMinn P (2023) , arXiv.
• Clark AG, Walkinshaw N & Hierons RM (2021) Test case generation for agent-based models: A systematic literature review, arXiv.
• Chen Z, Chen Y, Hierons RM & Wu Y (2020) Four-valued monitorability of $omega$-regular languages, arXiv.
• Danicic S, Hierons RM & Laurence MR (2017) Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas, arXiv.
• Danicic S, Hierons RM & Laurence MR (2017) On the computational complexity of dynamic slicing problems for program schemas, arXiv.
• Dongol B & Hierons RM (2015) Decidability and Complexity for Quiescent Consistency and its Variations, arXiv.
• Hierons RM (2011) Checking Finite State Machine Conformance when there are Distributed Observations, arXiv.
• Danicic S, Hierons RM & Laurence MR (2010) Complexity of Data Dependence problems for Program Schemas with Concurrency, arXiv.