BibTeX records: Robert M. Hierons

download as .bib file

@article{DBLP:journals/infsof/IbiasHN19,
  author    = {Alfredo Ibias and
               Robert M. Hierons and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Using Squeeziness to test component-based systems defined as Finite
               State Machines},
  journal   = {Information {\&} Software Technology},
  volume    = {112},
  pages     = {132--147},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.infsof.2019.04.012},
  doi       = {10.1016/j.infsof.2019.04.012},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/IbiasHN19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ClarkHP19,
  author    = {David Clark and
               Robert M. Hierons and
               Krishna Patel},
  title     = {Normalised Squeeziness and Failed Error Propagation},
  journal   = {Inf. Process. Lett.},
  volume    = {149},
  pages     = {6--9},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.ipl.2019.04.001},
  doi       = {10.1016/j.ipl.2019.04.001},
  timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/ClarkHP19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Hierons19,
  author    = {Robert M. Hierons},
  title     = {{FSM} quasi-equivalence testing via reduction and observing absences},
  journal   = {Sci. Comput. Program.},
  volume    = {177},
  pages     = {1--18},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.scico.2019.03.004},
  doi       = {10.1016/j.scico.2019.03.004},
  timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/Hierons19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SachtlebenHH019,
  author    = {Robert Sachtleben and
               Robert M. Hierons and
               Wen{-}ling Huang and
               Jan Peleska},
  title     = {A Mechanised Proof of an Adaptive State Counting Algorithm},
  booktitle = {Testing Software and Systems - 31st {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2019, Paris, France, October 15-17, 2019, Proceedings},
  pages     = {176--193},
  year      = {2019},
  crossref  = {DBLP:conf/pts/2019},
  url       = {https://doi.org/10.1007/978-3-030-31280-0\_11},
  doi       = {10.1007/978-3-030-31280-0\_11},
  timestamp = {Tue, 08 Oct 2019 14:08:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/SachtlebenHH019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/LimaFH19,
  author    = {Bruno Lima and
               Jo{\~{a}}o Pascoal Faria and
               Robert M. Hierons},
  title     = {Local Observability and Controllability Enforcement in Distributed
               Testing},
  booktitle = {Quality of Information and Communications Technology - 12th International
               Conference, {QUATIC} 2019, Ciudad Real, Spain, September 11-13, 2019,
               Proceedings},
  pages     = {327--338},
  year      = {2019},
  crossref  = {DBLP:conf/quatic/2019},
  url       = {https://doi.org/10.1007/978-3-030-29238-6\_24},
  doi       = {10.1007/978-3-030-29238-6\_24},
  timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/quatic/LimaFH19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LefticaruHN19,
  author    = {Raluca Lefticaru and
               Robert M. Hierons and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {An Implementation Relation for Cyclic Systems with Refusals and Discrete
               Time},
  booktitle = {Software Engineering and Formal Methods - 17th International Conference,
               {SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
  pages     = {393--409},
  year      = {2019},
  crossref  = {DBLP:conf/sefm/2019},
  url       = {https://doi.org/10.1007/978-3-030-30446-1\_21},
  doi       = {10.1007/978-3-030-30446-1\_21},
  timestamp = {Mon, 09 Sep 2019 15:50:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/LefticaruHN19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CavalcantiBHL19,
  author    = {Ana Cavalcanti and
               James Baxter and
               Robert M. Hierons and
               Raluca Lefticaru},
  title     = {Testing Robots Using {CSP}},
  booktitle = {Tests and Proofs - 13th International Conference, {TAP} 2019, Held
               as Part of the Third World Congress on Formal Methods 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  pages     = {21--38},
  year      = {2019},
  crossref  = {DBLP:conf/tap/2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_2},
  doi       = {10.1007/978-3-030-31157-5\_2},
  timestamp = {Mon, 23 Sep 2019 14:04:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/CavalcantiBHL19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2019,
  editor    = {Robert M. Hierons and
               Mohamed Mosbah},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
               Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11884},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-32505-3},
  doi       = {10.1007/978-3-030-32505-3},
  isbn      = {978-3-030-32504-6},
  timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/MerayoHN18,
  author    = {Mercedes G. Merayo and
               Robert M. Hierons and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Passive testing with asynchronous communications and timestamps},
  journal   = {Distributed Computing},
  volume    = {31},
  number    = {5},
  pages     = {327--342},
  year      = {2018},
  url       = {https://doi.org/10.1007/s00446-017-0308-0},
  doi       = {10.1007/s00446-017-0308-0},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/dc/MerayoHN18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AichernigFGH18,
  author    = {Bernhard K. Aichernig and
               Carlo A. Furia and
               Marie{-}Claude Gaudel and
               Robert M. Hierons},
  title     = {Special section of Tests and Proofs 2016},
  journal   = {Formal Asp. Comput.},
  volume    = {30},
  number    = {6},
  pages     = {627--628},
  year      = {2018},
  url       = {https://doi.org/10.1007/s00165-018-0474-2},
  doi       = {10.1007/s00165-018-0474-2},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/AichernigFGH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/MerayoHN18,
  author    = {Mercedes G. Merayo and
               Robert M. Hierons and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {A tool supported methodology to passively test asynchronous systems
               with multiple users},
  journal   = {Information {\&} Software Technology},
  volume    = {104},
  pages     = {162--178},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.infsof.2018.07.013},
  doi       = {10.1016/j.infsof.2018.07.013},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/MerayoHN18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/PatelH18,
  author    = {Krishna Patel and
               Robert M. Hierons},
  title     = {A mapping study on testing non-testable systems},
  journal   = {Software Quality Journal},
  volume    = {26},
  number    = {4},
  pages     = {1373--1413},
  year      = {2018},
  url       = {https://doi.org/10.1007/s11219-017-9392-4},
  doi       = {10.1007/s11219-017-9392-4},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sqj/PatelH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/HieronsMN18,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Bounded Reordering in the Distributed Test Architecture},
  journal   = {{IEEE} Trans. Reliability},
  volume    = {67},
  number    = {2},
  pages     = {522--537},
  year      = {2018},
  url       = {https://doi.org/10.1109/TR.2018.2800093},
  doi       = {10.1109/TR.2018.2800093},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tr/HieronsMN18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/DestefanisMOTBH18,
  author    = {Giuseppe Destefanis and
               Michele Marchesi and
               Marco Ortu and
               Roberto Tonelli and
               Andrea Bracciali and
               Robert M. Hierons},
  title     = {Smart contracts vulnerabilities: a call for blockchain software engineering?},
  booktitle = {2018 International Workshop on Blockchain Oriented Software Engineering,
               IWBOSE@SANER 2018, Campobasso, Italy, March 20, 2018},
  pages     = {19--25},
  year      = {2018},
  crossref  = {DBLP:conf/wcre/2018iwbose},
  url       = {https://doi.org/10.1109/IWBOSE.2018.8327567},
  doi       = {10.1109/IWBOSE.2018.8327567},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/DestefanisMOTBH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2018,
  editor    = {Inmaculada Medina{-}Bulo and
               Mercedes G. Merayo and
               Robert M. Hierons},
  title     = {Testing Software and Systems - 30th {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2018, C{\'{a}}diz, Spain, October 1-3, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11146},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99927-2},
  doi       = {10.1007/978-3-319-99927-2},
  isbn      = {978-3-319-99926-5},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HieronsT17,
  author    = {Robert M. Hierons and
               Uraz Cengiz T{\"{u}}rker},
  title     = {Distinguishing Sequences for Distributed Testing: Preset Distinguishing
               Sequences},
  journal   = {Comput. J.},
  volume    = {60},
  number    = {1},
  pages     = {110--125},
  year      = {2017},
  url       = {https://doi.org/10.1093/comjnl/bxw069},
  doi       = {10.1093/comjnl/bxw069},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/HieronsT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DongolH17,
  author    = {Brijesh Dongol and
               Robert M. Hierons},
  title     = {Decidability and complexity for quiescent consistency and its variations},
  journal   = {Inf. Comput.},
  volume    = {257},
  pages     = {1--21},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.ic.2017.09.012},
  doi       = {10.1016/j.ic.2017.09.012},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/DongolH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HieronsMN17,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {An extended framework for passive asynchronous testing},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {86},
  number    = {1},
  pages     = {408--424},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jlamp.2016.02.004},
  doi       = {10.1016/j.jlamp.2016.02.004},
  timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/HieronsMN17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/HieronsN17,
  author    = {Robert M. Hierons and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Implementation relations and probabilistic schedulers in the distributed
               test architecture},
  journal   = {Journal of Systems and Software},
  volume    = {132},
  pages     = {319--335},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jss.2017.03.011},
  doi       = {10.1016/j.jss.2017.03.011},
  timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jss/HieronsN17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BravettiHM17,
  author    = {Mario Bravetti and
               Robert M. Hierons and
               Mercedes G. Merayo},
  title     = {Introduction to the Software Engineering and Formal Methods 2013 special
               issue},
  journal   = {Software and Systems Modeling},
  volume    = {16},
  number    = {1},
  pages     = {5--6},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10270-015-0467-z},
  doi       = {10.1007/s10270-015-0467-z},
  timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sosym/BravettiHM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons17,
  author    = {Robert M. Hierons},
  title     = {How to manage a conference special issue},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {27},
  number    = {3},
  year      = {2017},
  url       = {https://doi.org/10.1002/stvr.1633},
  doi       = {10.1002/stvr.1633},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/HieronsT17,
  author    = {Robert M. Hierons and
               Uraz Cengiz T{\"{u}}rker},
  title     = {Parallel Algorithms for Generating Distinguishing Sequences for Observable
               Non-deterministic FSMs},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {26},
  number    = {1},
  pages     = {5:1--5:34},
  year      = {2017},
  url       = {https://doi.org/10.1145/3051121},
  doi       = {10.1145/3051121},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tosem/HieronsT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Hierons17,
  author    = {Robert M. Hierons},
  title     = {Testing from Partial Finite State Machines without Harmonised Traces},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {43},
  number    = {11},
  pages     = {1033--1043},
  year      = {2017},
  url       = {https://doi.org/10.1109/TSE.2017.2652457},
  doi       = {10.1109/TSE.2017.2652457},
  timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tse/Hierons17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BenharratGHLG17,
  author    = {Nassim Benharrat and
               Christophe Gaston and
               Robert M. Hierons and
               Arnault Lapitre and
               Pascale Le Gall},
  title     = {Constraint-Based Oracles for Timed Distributed Systems},
  booktitle = {Testing Software and Systems - 29th {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2017, St. Petersburg, Russia, October 9-11, 2017,
               Proceedings},
  pages     = {276--292},
  year      = {2017},
  crossref  = {DBLP:conf/pts/2017},
  url       = {https://doi.org/10.1007/978-3-319-67549-7\_17},
  doi       = {10.1007/978-3-319-67549-7\_17},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/BenharratGHLG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Robinson-Mallett17,
  author    = {Christopher L. Robinson{-}Mallett and
               Robert M. Hierons},
  title     = {Integrating Graphical and Natural Language Specifications to Support
               Analysis and Testing},
  booktitle = {{IEEE} 25th International Requirements Engineering Conference Workshops,
               {RE} 2017 Workshops, Lisbon, Portugal, September 4-8, 2017},
  pages     = {331--338},
  year      = {2017},
  crossref  = {DBLP:conf/re/2017w},
  url       = {https://doi.org/10.1109/REW.2017.50},
  doi       = {10.1109/REW.2017.50},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/re/Robinson-Mallett17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/HieronsMTT17,
  author    = {Robert M. Hierons and
               Mohammad Reza Mousavi and
               Michael Kirkedal Thomsen and
               Uraz Cengiz T{\"{u}}rker},
  title     = {Hardness of Deriving Invertible Sequences from Finite State Machines},
  booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
               Conference on Current Trends in Theory and Practice of Computer Science,
               Limerick, Ireland, January 16-20, 2017, Proceedings},
  pages     = {147--160},
  year      = {2017},
  crossref  = {DBLP:conf/sofsem/2017},
  url       = {https://doi.org/10.1007/978-3-319-51963-0\_12},
  doi       = {10.1007/978-3-319-51963-0\_12},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/HieronsMTT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DanicicHL17,
  author    = {Sebastian Danicic and
               Robert M. Hierons and
               Michael R. Laurence},
  title     = {On the computational complexity of dynamic slicing problems for program
               schemas},
  journal   = {CoRR},
  volume    = {abs/1705.07686},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.07686},
  archivePrefix = {arXiv},
  eprint    = {1705.07686},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DanicicHL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DanicicHL17a,
  author    = {Sebastian Danicic and
               Robert M. Hierons and
               Michael R. Laurence},
  title     = {Characterizing Minimal Semantics-preserving Slices of predicate-linear,
               Free, Liberal Program Schemas},
  journal   = {CoRR},
  volume    = {abs/1705.09615},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.09615},
  archivePrefix = {arXiv},
  eprint    = {1705.09615},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DanicicHL17a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Hierons16,
  author    = {Robert M. Hierons},
  title     = {A More Precise Implementation Relation for Distributed Testing},
  journal   = {Comput. J.},
  volume    = {59},
  number    = {1},
  pages     = {33--46},
  year      = {2016},
  url       = {https://doi.org/10.1093/comjnl/bxv057},
  doi       = {10.1093/comjnl/bxv057},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/Hierons16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HieronsT16,
  author    = {Robert M. Hierons and
               Uraz Cengiz T{\"{u}}rker},
  title     = {Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing
               Sequences},
  journal   = {Comput. J.},
  volume    = {59},
  number    = {8},
  pages     = {1186--1206},
  year      = {2016},
  url       = {https://doi.org/10.1093/comjnl/bxw004},
  doi       = {10.1093/comjnl/bxw004},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/HieronsT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ZhengHLLV16,
  author    = {Wei Zheng and
               Robert M. Hierons and
               Miqing Li and
               Xiaohui Liu and
               Veronica Vinciotti},
  title     = {Multi-objective optimisation for regression testing},
  journal   = {Inf. Sci.},
  volume    = {334-335},
  pages     = {1--16},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.ins.2015.11.027},
  doi       = {10.1016/j.ins.2015.11.027},
  timestamp = {Thu, 01 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/isci/ZhengHLLV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons16,
  author    = {Robert M. Hierons},
  title     = {The dreaded desk reject},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {26},
  number    = {1},
  pages     = {3},
  year      = {2016},
  url       = {https://doi.org/10.1002/stvr.1597},
  doi       = {10.1002/stvr.1597},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons16a,
  author    = {Robert M. Hierons},
  title     = {Editorial},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {26},
  number    = {6},
  pages     = {430},
  year      = {2016},
  url       = {https://doi.org/10.1002/stvr.1612},
  doi       = {10.1002/stvr.1612},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons16a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/HieronsT16,
  author    = {Robert M. Hierons and
               Uraz Cengiz T{\"{u}}rker},
  title     = {Parallel Algorithms for Generating Harmonised State Identifiers and
               Characterising Sets},
  journal   = {{IEEE} Trans. Computers},
  volume    = {65},
  number    = {11},
  pages     = {3370--3383},
  year      = {2016},
  url       = {https://doi.org/10.1109/TC.2016.2532869},
  doi       = {10.1109/TC.2016.2532869},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/HieronsT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/HieronsLLSZ16,
  author    = {Robert M. Hierons and
               Miqing Li and
               Xiaohui Liu and
               Sergio Segura and
               Wei Zheng},
  title     = {{SIP:} Optimal Product Selection from Feature Models Using Many-Objective
               Evolutionary Optimization},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {25},
  number    = {2},
  pages     = {17:1--17:39},
  year      = {2016},
  url       = {https://doi.org/10.1145/2897760},
  doi       = {10.1145/2897760},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tosem/HieronsLLSZ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HieronsT16,
  author    = {Robert M. Hierons and
               Uraz Cengiz T{\"{u}}rker},
  title     = {Parallel Algorithms for Testing Finite State Machines: Generating
               {UIO} Sequences},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {42},
  number    = {11},
  pages     = {1077--1091},
  year      = {2016},
  url       = {https://doi.org/10.1109/TSE.2016.2539964},
  doi       = {10.1109/TSE.2016.2539964},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/HieronsT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DongolH16,
  author    = {Brijesh Dongol and
               Robert M. Hierons},
  title     = {Decidability and Complexity for Quiescent Consistency},
  booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  pages     = {116--125},
  year      = {2016},
  crossref  = {DBLP:conf/lics/2016},
  url       = {https://doi.org/10.1145/2933575.2933576},
  doi       = {10.1145/2933575.2933576},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/DongolH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HieronsMN16,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Controllability Through Nondeterminism in Distributed Testing},
  booktitle = {Testing Software and Systems - 28th {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2016, Graz, Austria, October 17-19, 2016, Proceedings},
  pages     = {89--105},
  year      = {2016},
  crossref  = {DBLP:conf/pts/2016},
  url       = {https://doi.org/10.1007/978-3-319-47443-4\_6},
  doi       = {10.1007/978-3-319-47443-4\_6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/HieronsMN16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/PatelH16,
  author    = {Krishna Patel and
               Robert M. Hierons},
  title     = {Resolving the Equivalent Mutant Problem in the Presence of Non-determinism
               and Coincidental Correctness},
  booktitle = {Testing Software and Systems - 28th {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2016, Graz, Austria, October 17-19, 2016, Proceedings},
  pages     = {123--138},
  year      = {2016},
  crossref  = {DBLP:conf/pts/2016},
  url       = {https://doi.org/10.1007/978-3-319-47443-4\_8},
  doi       = {10.1007/978-3-319-47443-4\_8},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/PatelH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/CavalcantiHNS16,
  author    = {Ana Cavalcanti and
               Robert M. Hierons and
               Sidney Nogueira and
               Augusto Sampaio},
  title     = {A Suspension-Trace Semantics for {CSP}},
  booktitle = {10th International Symposium on Theoretical Aspects of Software Engineering,
               {TASE} 2016, Shanghai, China, July 17-19, 2016},
  pages     = {3--13},
  year      = {2016},
  crossref  = {DBLP:conf/tase/2016},
  url       = {https://doi.org/10.1109/TASE.2016.9},
  doi       = {10.1109/TASE.2016.9},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tase/CavalcantiHNS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adt/NunezH15,
  author    = {Alberto Nu{\~{n}}ez and
               Robert M. Hierons},
  title     = {A methodology for validating cloud models using metamorphic testing},
  journal   = {Annales des T{\'{e}}l{\'{e}}communications},
  volume    = {70},
  number    = {3-4},
  pages     = {127--135},
  year      = {2015},
  url       = {https://doi.org/10.1007/s12243-014-0442-7},
  doi       = {10.1007/s12243-014-0442-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/adt/NunezH15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HieronsT15,
  author    = {Robert M. Hierons and
               Uraz Cengiz T{\"{u}}rker},
  title     = {Incomplete Distinguishing Sequences for Finite State Machines},
  journal   = {Comput. J.},
  volume    = {58},
  number    = {11},
  pages     = {3089--3113},
  year      = {2015},
  url       = {https://doi.org/10.1093/comjnl/bxv041},
  doi       = {10.1093/comjnl/bxv041},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/HieronsT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/NabulsiH15,
  author    = {Mohammad A. Nabulsi and
               Robert M. Hierons},
  title     = {A Test Framework for Communications-Critical Large-Scale Systems},
  journal   = {{IEEE} Software},
  volume    = {32},
  number    = {3},
  pages     = {86--93},
  year      = {2015},
  url       = {https://doi.org/10.1109/MS.2014.53},
  doi       = {10.1109/MS.2014.53},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/software/NabulsiH15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/FarchiHL15,
  author    = {Eitan Farchi and
               Robert M. Hierons and
               Jo{\~{a}}o Louren{\c{c}}o},
  title     = {Special issue on testing, analysis and debugging of concurrent programs},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {25},
  number    = {3},
  pages     = {165--166},
  year      = {2015},
  url       = {https://doi.org/10.1002/stvr.1577},
  doi       = {10.1002/stvr.1577},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/FarchiHL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Hierons15,
  author    = {Robert M. Hierons},
  title     = {Generating Complete Controllable Test Suites for Distributed Testing},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {41},
  number    = {3},
  pages     = {279--293},
  year      = {2015},
  url       = {https://doi.org/10.1109/TSE.2014.2364035},
  doi       = {10.1109/TSE.2014.2364035},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/Hierons15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/GatrellCSHL15,
  author    = {Matt Gatrell and
               Steve Counsell and
               Steve Swift and
               Robert M. Hierons and
               Xiaohui Liu},
  title     = {Test and Production Classes of an Industrial C{\#} System: {A} Refactoring
               and Fault Perspective},
  booktitle = {41st Euromicro Conference on Software Engineering and Advanced Applications,
               {EUROMICRO-SEAA} 2015, Madeira, Portugal, August 26-28, 2015},
  pages     = {35--38},
  year      = {2015},
  crossref  = {DBLP:conf/euromicro/2015},
  url       = {https://doi.org/10.1109/SEAA.2015.40},
  doi       = {10.1109/SEAA.2015.40},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/euromicro/GatrellCSHL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/HieronsT15,
  author    = {Robert M. Hierons and
               Uraz Cengiz T{\"{u}}rker},
  title     = {Generating Minimum Height ADSs for Partially Specified Finite State
               Machines},
  booktitle = {Information Sciences and Systems 2015 - 30th International Symposium
               on Computer and Information Sciences, {ISCIS} 2015, London, UK, 21-24
               September 2015},
  pages     = {171--179},
  year      = {2015},
  crossref  = {DBLP:conf/iscis/2015},
  url       = {https://doi.org/10.1007/978-3-319-22635-4\_15},
  doi       = {10.1007/978-3-319-22635-4\_15},
  timestamp = {Sat, 16 Sep 2017 12:11:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscis/HieronsT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DongolH15,
  author    = {Brijesh Dongol and
               Robert M. Hierons},
  title     = {Decidability and Complexity for Quiescent Consistency and its Variations},
  journal   = {CoRR},
  volume    = {abs/1511.08447},
  year      = {2015},
  url       = {http://arxiv.org/abs/1511.08447},
  archivePrefix = {arXiv},
  eprint    = {1511.08447},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DongolH15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/DanH14,
  author    = {Haitao Dan and
               Robert M. Hierons},
  title     = {The Oracle Problem When Testing from MSCs},
  journal   = {Comput. J.},
  volume    = {57},
  number    = {7},
  pages     = {987--1001},
  year      = {2014},
  url       = {https://doi.org/10.1093/comjnl/bxt055},
  doi       = {10.1093/comjnl/bxt055},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/DanH14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/HieronsMN14,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Timed implementation relations for the distributed test architecture},
  journal   = {Distributed Computing},
  volume    = {27},
  number    = {3},
  pages     = {181--201},
  year      = {2014},
  url       = {https://doi.org/10.1007/s00446-014-0208-5},
  doi       = {10.1007/s00446-014-0208-5},
  timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dc/HieronsMN14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/SeguraPHBC14,
  author    = {Sergio Segura and
               Jos{\'{e}} Antonio Parejo and
               Robert M. Hierons and
               David Benavides and
               Antonio Ruiz Cort{\'{e}}s},
  title     = {Automated generation of computationally hard feature models using
               evolutionary algorithms},
  journal   = {Expert Syst. Appl.},
  volume    = {41},
  number    = {8},
  pages     = {3975--3992},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.eswa.2013.12.028},
  doi       = {10.1016/j.eswa.2013.12.028},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eswa/SeguraPHBC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/Hierons14,
  author    = {Robert M. Hierons},
  title     = {Combining Centralised and Distributed Testing},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {24},
  number    = {1},
  pages     = {5:1--5:29},
  year      = {2014},
  url       = {https://doi.org/10.1145/2661296},
  doi       = {10.1145/2661296},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tosem/Hierons14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AndroutsopoulosCDHH14,
  author    = {Kelly Androutsopoulos and
               David Clark and
               Haitao Dan and
               Robert M. Hierons and
               Mark Harman},
  title     = {An analysis of the relationship between conditional entropy and failed
               error propagation in software testing},
  booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
               Hyderabad, India - May 31 - June 07, 2014},
  pages     = {573--583},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014},
  url       = {https://doi.org/10.1145/2568225.2568314},
  doi       = {10.1145/2568225.2568314},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/AndroutsopoulosCDHH14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/HieronsT14,
  author    = {Robert M. Hierons and
               Uraz Cengiz T{\"{u}}rker},
  title     = {Distinguishing Sequences for Partially Specified FSMs},
  booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
               TX, USA, April 29 - May 1, 2014. Proceedings},
  pages     = {62--76},
  year      = {2014},
  crossref  = {DBLP:conf/nfm/2014},
  url       = {https://doi.org/10.1007/978-3-319-06200-6\_5},
  doi       = {10.1007/978-3-319-06200-6\_5},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/HieronsT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Hierons13,
  author    = {Robert M. Hierons},
  title     = {Implementation Relations for Testing Through Asynchronous Channels},
  journal   = {Comput. J.},
  volume    = {56},
  number    = {11},
  pages     = {1305--1319},
  year      = {2013},
  url       = {https://doi.org/10.1093/comjnl/bxs107},
  doi       = {10.1093/comjnl/bxs107},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/Hierons13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/KhanBH13,
  author    = {Iftikhar Ahmed Khan and
               Willem{-}Paul Brinkman and
               Robert M. Hierons},
  title     = {Towards estimating computer users' mood from interaction behaviour
               with keyboard and mouse},
  journal   = {Frontiers Comput. Sci.},
  volume    = {7},
  number    = {6},
  pages     = {943--954},
  year      = {2013},
  url       = {https://doi.org/10.1007/s11704-013-2331-z},
  doi       = {10.1007/s11704-013-2331-z},
  timestamp = {Mon, 19 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fcsc/KhanBH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/HieronsM13,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo},
  title     = {Guest Editorial: Special Section from the 11th International Conference
               on Quality Software {(QSIC} 2011)},
  journal   = {Information {\&} Software Technology},
  volume    = {55},
  number    = {5},
  pages     = {865},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.infsof.2012.09.009},
  doi       = {10.1016/j.infsof.2012.09.009},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/HieronsM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AbouTrabBCH13,
  author    = {Mohammad Saeed Abou Trab and
               Michael J. Brockway and
               Steve Counsell and
               Robert M. Hierons},
  title     = {Testing Real-Time Embedded Systems using Timed Automata based approaches},
  journal   = {Journal of Systems and Software},
  volume    = {86},
  number    = {5},
  pages     = {1209--1223},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.jss.2012.12.030},
  doi       = {10.1016/j.jss.2012.12.030},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jss/AbouTrabBCH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClarkDH13,
  author    = {John A. Clark and
               Haitao Dan and
               Robert M. Hierons},
  title     = {Semantic mutation testing},
  journal   = {Sci. Comput. Program.},
  volume    = {78},
  number    = {4},
  pages     = {345--363},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.scico.2011.03.011},
  doi       = {10.1016/j.scico.2011.03.011},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/ClarkDH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/NunezMHN13,
  author    = {Alberto Nu{\~{n}}ez and
               Mercedes G. Merayo and
               Robert M. Hierons and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Using genetic algorithms to generate test sequences for complex timed
               systems},
  journal   = {Soft Comput.},
  volume    = {17},
  number    = {2},
  pages     = {301--315},
  year      = {2013},
  url       = {https://doi.org/10.1007/s00500-012-0894-5},
  doi       = {10.1007/s00500-012-0894-5},
  timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/soco/NunezMHN13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Hierons13,
  author    = {Robert M. Hierons},
  title     = {Verifying and Comparing Finite State Machines for Systems that Have
               Distributed Interfaces},
  journal   = {{IEEE} Trans. Computers},
  volume    = {62},
  number    = {8},
  pages     = {1673--1683},
  year      = {2013},
  url       = {https://doi.org/10.1109/TC.2012.252},
  doi       = {10.1109/TC.2012.252},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/Hierons13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AndroutsopoulosCHHLT13,
  author    = {Kelly Androutsopoulos and
               David Clark and
               Mark Harman and
               Robert M. Hierons and
               Zheng Li and
               Laurence Tratt},
  title     = {Amorphous Slicing of Extended Finite State Machines},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {39},
  number    = {7},
  pages     = {892--909},
  year      = {2013},
  url       = {https://doi.org/10.1109/TSE.2012.72},
  doi       = {10.1109/TSE.2012.72},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/AndroutsopoulosCHHLT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LinPEHR13,
  author    = {Lan Lin and
               Jesse H. Poore and
               Robert Eschbach and
               Robert M. Hierons and
               Christopher Robinson{-}Mallett},
  title     = {Augmenting Sequence Enumeration with String-Rewriting for Requirements
               Analysis and Behavioral Specification},
  booktitle = {Fundamental Approaches to Software Engineering - 16th International
               Conference, {FASE} 2013, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
               16-24, 2013. Proceedings},
  pages     = {179--193},
  year      = {2013},
  crossref  = {DBLP:conf/fase/2013},
  url       = {https://doi.org/10.1007/978-3-642-37057-1\_13},
  doi       = {10.1007/978-3-642-37057-1\_13},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/LinPEHR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/CavalcantiH13,
  author    = {Ana Cavalcanti and
               Robert M. Hierons},
  title     = {Testing with Inputs and Outputs in {CSP}},
  booktitle = {Fundamental Approaches to Software Engineering - 16th International
               Conference, {FASE} 2013, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
               16-24, 2013. Proceedings},
  pages     = {359--374},
  year      = {2013},
  crossref  = {DBLP:conf/fase/2013},
  url       = {https://doi.org/10.1007/978-3-642-37057-1\_26},
  doi       = {10.1007/978-3-642-37057-1\_26},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/CavalcantiH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HieronsMN13,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Passive Testing with Asynchronous Communications},
  booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
               International Conference, {FMOODS/FORTE} 2013, Held as Part of the
               8th International Federated Conference on Distributed Computing Techniques,
               DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
  pages     = {99--113},
  year      = {2013},
  crossref  = {DBLP:conf/forte/2013},
  url       = {https://doi.org/10.1007/978-3-642-38592-6\_8},
  doi       = {10.1007/978-3-642-38592-6\_8},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/HieronsMN13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CounsellGHMTMC13,
  author    = {Steve Counsell and
               Matt Gatrell and
               Robert M. Hierons and
               Alessandro Murgia and
               Roberto Tonelli and
               Michele Marchesi and
               Giulio Concas},
  title     = {Conditional-Based Refactorings and Fault-Proneness: An Empirical Study},
  booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
               March 18-22, 2013},
  pages     = {80--85},
  year      = {2013},
  crossref  = {DBLP:conf/icst/2013w},
  url       = {https://doi.org/10.1109/ICSTW.2013.81},
  doi       = {10.1109/ICSTW.2013.81},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/CounsellGHMTMC13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GastonHG13,
  author    = {Christophe Gaston and
               Robert M. Hierons and
               Pascale Le Gall},
  title     = {An Implementation Relation and Test Framework for Timed Distributed
               Systems},
  booktitle = {Testing Software and Systems - 25th {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2013, Istanbul, Turkey, November 13-15, 2013,
               Proceedings},
  pages     = {82--97},
  year      = {2013},
  crossref  = {DBLP:conf/pts/2013},
  url       = {https://doi.org/10.1007/978-3-642-41707-8\_6},
  doi       = {10.1007/978-3-642-41707-8\_6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/GastonHG13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2013,
  editor    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Mario Bravetti},
  title     = {Software Engineering and Formal Methods - 11th International Conference,
               {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8137},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40561-7},
  doi       = {10.1007/978-3-642-40561-7},
  isbn      = {978-3-642-40560-0},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/DanH12,
  author    = {Haitao Dan and
               Robert M. Hierons},
  title     = {Controllability Problems in MSC-Based Testing},
  journal   = {Comput. J.},
  volume    = {55},
  number    = {11},
  pages     = {1270--1287},
  year      = {2012},
  url       = {https://doi.org/10.1093/comjnl/bxr125},
  doi       = {10.1093/comjnl/bxr125},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/DanH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/HieronsMN12,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Implementation relations and test generation for systems with distributed
               interfaces},
  journal   = {Distributed Computing},
  volume    = {25},
  number    = {1},
  pages     = {35--62},
  year      = {2012},
  url       = {https://doi.org/10.1007/s00446-011-0149-1},
  doi       = {10.1007/s00446-011-0149-1},
  timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dc/HieronsMN12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Hierons12,
  author    = {Robert M. Hierons},
  title     = {Overcoming controllability problems in distributed testing from an
               input output transition system},
  journal   = {Distributed Computing},
  volume    = {25},
  number    = {1},
  pages     = {63--81},
  year      = {2012},
  url       = {https://doi.org/10.1007/s00446-011-0153-5},
  doi       = {10.1007/s00446-011-0153-5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dc/Hierons12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HieronsN12,
  author    = {Robert M. Hierons and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Using schedulers to test probabilistic distributed systems},
  journal   = {Formal Asp. Comput.},
  volume    = {24},
  number    = {4-6},
  pages     = {679--699},
  year      = {2012},
  url       = {https://doi.org/10.1007/s00165-012-0244-5},
  doi       = {10.1007/s00165-012-0244-5},
  timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/HieronsN12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/DanHC12,
  author    = {Haitao Dan and
               Robert M. Hierons and
               Steve Counsell},
  title     = {A framework for pathologies of message sequence charts},
  journal   = {Information {\&} Software Technology},
  volume    = {54},
  number    = {11},
  pages     = {1283--1295},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.infsof.2012.06.010},
  doi       = {10.1016/j.infsof.2012.06.010},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/DanHC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ClarkH12,
  author    = {David Clark and
               Robert M. Hierons},
  title     = {Squeeziness: An information theoretic measure for avoiding fault masking},
  journal   = {Inf. Process. Lett.},
  volume    = {112},
  number    = {8-9},
  pages     = {335--340},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ipl.2012.01.004},
  doi       = {10.1016/j.ipl.2012.01.004},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/ClarkH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hierons12,
  author    = {Robert M. Hierons},
  title     = {The complexity of asynchronous model based testing},
  journal   = {Theor. Comput. Sci.},
  volume    = {451},
  pages     = {70--82},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.tcs.2012.05.038},
  doi       = {10.1016/j.tcs.2012.05.038},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Hierons12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DanicicHL12,
  author    = {Sebastian Danicic and
               Robert M. Hierons and
               Michael R. Laurence},
  title     = {Complexity of Data Dependence Problems for Program Schemas with Concurrency},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {13},
  number    = {2},
  pages     = {15:1--15:18},
  year      = {2012},
  url       = {https://doi.org/10.1145/2159531.2159537},
  doi       = {10.1145/2159531.2159537},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/DanicicHL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Hierons12,
  author    = {Robert M. Hierons},
  title     = {Oracles for Distributed Testing},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {38},
  number    = {3},
  pages     = {629--641},
  year      = {2012},
  url       = {https://doi.org/10.1109/TSE.2011.45},
  doi       = {10.1109/TSE.2011.45},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/Hierons12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Hierons12,
  author    = {Robert M. Hierons},
  title     = {Model Based Test Automation through Asynchronous Channels},
  booktitle = {36th Annual {IEEE} Computer Software and Applications Conference Workshops,
               {COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
  pages     = {439},
  year      = {2012},
  crossref  = {DBLP:conf/compsac/2012w},
  url       = {https://doi.org/10.1109/COMPSACW.2012.83},
  doi       = {10.1109/COMPSACW.2012.83},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/Hierons12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TrabCH12,
  author    = {Mohammad Saeed Abou Trab and
               Steve Counsell and
               Robert M. Hierons},
  title     = {Specification Mutation Analysis for Validating Timed Testing Approaches
               Based on Timed Automata},
  booktitle = {36th Annual {IEEE} Computer Software and Applications Conference,
               {COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
  pages     = {660--669},
  year      = {2012},
  crossref  = {DBLP:conf/compsac/2012},
  url       = {https://doi.org/10.1109/COMPSAC.2012.93},
  doi       = {10.1109/COMPSAC.2012.93},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/TrabCH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HieronsMN12,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Using Time to Add Order to Distributed Testing},
  booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
               August 27-31, 2012. Proceedings},
  pages     = {232--246},
  year      = {2012},
  crossref  = {DBLP:conf/fm/2012},
  url       = {https://doi.org/10.1007/978-3-642-32759-9\_20},
  doi       = {10.1007/978-3-642-32759-9\_20},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/HieronsMN12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DanH12,
  author    = {Haitao Dan and
               Robert M. Hierons},
  title     = {Semantic Mutation Analysis of Floating-Point Comparison},
  booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
  pages     = {290--299},
  year      = {2012},
  crossref  = {DBLP:conf/icst/2012},
  url       = {https://doi.org/10.1109/ICST.2012.109},
  doi       = {10.1109/ICST.2012.109},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/DanH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DanH12a,
  author    = {Haitao Dan and
               Robert M. Hierons},
  title     = {{SMT-C:} {A} Semantic Mutation Testing Tools for {C}},
  booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
  pages     = {654--663},
  year      = {2012},
  crossref  = {DBLP:conf/icst/2012},
  url       = {https://doi.org/10.1109/ICST.2012.155},
  doi       = {10.1109/ICST.2012.155},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/DanH12a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ctw/KhanBH11,
  author    = {Iftikhar Ahmed Khan and
               Willem{-}Paul Brinkman and
               Robert M. Hierons},
  title     = {Do moods affect programmers' debug performance?},
  journal   = {Cognition, Technology {\&} Work},
  volume    = {13},
  number    = {4},
  pages     = {245--258},
  year      = {2011},
  url       = {https://doi.org/10.1007/s10111-010-0164-1},
  doi       = {10.1007/s10111-010-0164-1},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ctw/KhanBH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijismd/MubarakCH11,
  author    = {Asma Mubarak and
               Steve Counsell and
               Robert M. Hierons},
  title     = {A Longitudinal Study of Fan-In and Fan-Out Coupling in Open-Source
               Systems},
  journal   = {{IJISMD}},
  volume    = {2},
  number    = {4},
  pages     = {1--26},
  year      = {2011},
  url       = {https://doi.org/10.4018/jismd.2011100101},
  doi       = {10.4018/jismd.2011100101},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijismd/MubarakCH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/SeguraHBC11,
  author    = {Sergio Segura and
               Robert M. Hierons and
               David Benavides and
               Antonio Ruiz Cort{\'{e}}s},
  title     = {Automated metamorphic testing on the analyses of feature models},
  journal   = {Information {\&} Software Technology},
  volume    = {53},
  number    = {3},
  pages     = {245--258},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.infsof.2010.11.002},
  doi       = {10.1016/j.infsof.2010.11.002},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/SeguraHBC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/SeguraHBC11a,
  author    = {Sergio Segura and
               Robert M. Hierons and
               David Benavides and
               Antonio Ruiz Cort{\'{e}}s},
  title     = {Mutation testing on an object-oriented framework: An experience report},
  journal   = {Information {\&} Software Technology},
  volume    = {53},
  number    = {10},
  pages     = {1124--1136},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.infsof.2011.03.006},
  doi       = {10.1016/j.infsof.2011.03.006},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/SeguraHBC11a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KalajiHS11,
  author    = {Abdul Salam Kalaji and
               Robert M. Hierons and
               Stephen Swift},
  title     = {An integrated search-based approach for automatic testing from extended
               finite state machine {(EFSM)} models},
  journal   = {Information {\&} Software Technology},
  volume    = {53},
  number    = {12},
  pages     = {1297--1318},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.infsof.2011.06.004},
  doi       = {10.1016/j.infsof.2011.06.004},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/KalajiHS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DanicicHL11,
  author    = {Sebastian Danicic and
               Robert M. Hierons and
               Michael R. Laurence},
  title     = {Decidability of strong equivalence for subschemas of a class of linear,
               free, near-liberal program schemas},
  journal   = {J. Log. Algebr. Program.},
  volume    = {80},
  number    = {2},
  pages     = {92--112},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.jlap.2010.08.001},
  doi       = {10.1016/j.jlap.2010.08.001},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/DanicicHL11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DanicicHL11a,
  author    = {Sebastian Danicic and
               Robert M. Hierons and
               Michael R. Laurence},
  title     = {Characterizing minimal semantics-preserving slices of predicate-linear,
               free, liberal program schemas},
  journal   = {J. Log. Algebr. Program.},
  volume    = {80},
  number    = {8},
  pages     = {481--496},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.jlap.2011.04.009},
  doi       = {10.1016/j.jlap.2011.04.009},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/DanicicHL11a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DanicicHL11,
  author    = {Sebastian Danicic and
               Robert M. Hierons and
               Michael R. Laurence},
  title     = {On the computational complexity of dynamic slicing problems for program
               schemas},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {21},
  number    = {6},
  pages     = {1339--1362},
  year      = {2011},
  url       = {https://doi.org/10.1017/S0960129511000223},
  doi       = {10.1017/S0960129511000223},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/DanicicHL11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MerayoNH11,
  author    = {Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez and
               Robert M. Hierons},
  title     = {Testing timed systems modeled by Stream X-machines},
  journal   = {Software and Systems Modeling},
  volume    = {10},
  number    = {2},
  pages     = {201--217},
  year      = {2011},
  url       = {https://doi.org/10.1007/s10270-009-0126-3},
  doi       = {10.1007/s10270-009-0126-3},
  timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sosym/MerayoNH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/HieronsMN11,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Scenarios-based testing of systems with distributed ports},
  journal   = {Softw., Pract. Exper.},
  volume    = {41},
  number    = {10},
  pages     = {999--1026},
  year      = {2011},
  url       = {https://doi.org/10.1002/spe.1062},
  doi       = {10.1002/spe.1062},
  timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/HieronsMN11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HieronsM11,
  author    = {Robert M. Hierons and
               Aditya Mathur},
  title     = {{ICST} 2008 Special Issue},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {21},
  number    = {1},
  pages     = {1},
  year      = {2011},
  url       = {https://doi.org/10.1002/stvr.447},
  doi       = {10.1002/stvr.447},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/HieronsM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Hierons11,
  author    = {Robert M. Hierons},
  title     = {Controllable Testing from Nondeterministic Finite State Machines with
               Multiple Ports},
  journal   = {{IEEE} Trans. Computers},
  volume    = {60},
  number    = {12},
  pages     = {1818--1822},
  year      = {2011},
  url       = {https://doi.org/10.1109/TC.2010.238},
  doi       = {10.1109/TC.2010.238},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/Hierons11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/TrabCH11,
  author    = {Mohammad Saeed Abou Trab and
               Steve Counsell and
               Robert M. Hierons},
  title     = {GeTeX: {A} Tool for Testing Real-Time Embedded Systems Using {CAN}
               Applications},
  booktitle = {18th {IEEE} International Conference and Workshops on the Engineering
               of Computer-Based Systems, {ECBS} 2011, Las Vegas, NV, USA, 27-29
               April, 2011},
  pages     = {61--70},
  year      = {2011},
  crossref  = {DBLP:conf/ecbs/2011},
  url       = {https://doi.org/10.1109/ECBS.2011.25},
  doi       = {10.1109/ECBS.2011.25},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecbs/TrabCH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DanH11,
  author    = {Haitao Dan and
               Robert M. Hierons},
  title     = {Conformance Testing from Message Sequence Charts},
  booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
  pages     = {279--288},
  year      = {2011},
  crossref  = {DBLP:conf/icst/2011},
  url       = {https://doi.org/10.1109/ICST.2011.29},
  doi       = {10.1109/ICST.2011.29},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/DanH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeealife/MolineroNH11,
  author    = {Carlos Molinero and
               Manuel N{\'{u}}{\~{n}}ez and
               Robert M. Hierons},
  title     = {Creating adaptive sequences with genetic algorithms to reach a certain
               state in a non-deterministic {FSM}},
  booktitle = {2011 {IEEE} Symposium on Artificial Life, {ALIFE} 2011, Paris, France,
               April 13-15, 2011},
  pages     = {22--29},
  year      = {2011},
  crossref  = {DBLP:conf/ieeealife/2011},
  url       = {https://doi.org/10.1109/ALIFE.2011.5954657},
  doi       = {10.1109/ALIFE.2011.5954657},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ieeealife/MolineroNH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/DerderianMHN11,
  author    = {Karnig Derderian and
               Mercedes G. Merayo and
               Robert M. Hierons and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {A Case Study on the Use of Genetic Algorithms to Generate Test Cases
               for Temporal Systems},
  booktitle = {Advances in Computational Intelligence - 11th International Work-Conference
               on Artificial Neural Networks, {IWANN} 2011, Torremolinos-M{\'{a}}laga,
               Spain, June 8-10, 2011, Proceedings, Part {II}},
  pages     = {396--403},
  year      = {2011},
  crossref  = {DBLP:conf/iwann/2011-2},
  url       = {https://doi.org/10.1007/978-3-642-21498-1\_50},
  doi       = {10.1007/978-3-642-21498-1\_50},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwann/DerderianMHN11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/MolineroNH11,
  author    = {Carlos Molinero and
               Manuel N{\'{u}}{\~{n}}ez and
               Robert M. Hierons},
  title     = {Experimental Comparison of Different Techniques to Generate Adaptive
               Sequences},
  booktitle = {Advances in Computational Intelligence - 11th International Work-Conference
               on Artificial Neural Networks, {IWANN} 2011, Torremolinos-M{\'{a}}laga,
               Spain, June 8-10, 2011, Proceedings, Part {II}},
  pages     = {404--411},
  year      = {2011},
  crossref  = {DBLP:conf/iwann/2011-2},
  url       = {https://doi.org/10.1007/978-3-642-21498-1\_51},
  doi       = {10.1007/978-3-642-21498-1\_51},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwann/MolineroNH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CavalcantiGH11,
  author    = {Ana Cavalcanti and
               Marie{-}Claude Gaudel and
               Robert M. Hierons},
  title     = {Conformance Relations for Distributed Testing Based on {CSP}},
  booktitle = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  pages     = {48--63},
  year      = {2011},
  crossref  = {DBLP:conf/pts/2011},
  url       = {https://doi.org/10.1007/978-3-642-24580-0\_5},
  doi       = {10.1007/978-3-642-24580-0\_5},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/CavalcantiGH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qsic/2011,
  editor    = {Manuel N{\'{u}}{\~{n}}ez and
               Robert M. Hierons and
               Mercedes G. Merayo},
  title     = {Proceedings of the 11th International Conference on Quality Software,
               {QSIC} 2011, Madrid, Spain, July 13-14, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6003376/proceeding},
  timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qsic/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-5295,
  author    = {Robert M. Hierons},
  title     = {Checking Finite State Machine Conformance when there are Distributed
               Observations},
  journal   = {CoRR},
  volume    = {abs/1108.5295},
  year      = {2011},
  url       = {http://arxiv.org/abs/1108.5295},
  archivePrefix = {arXiv},
  eprint    = {1108.5295},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-5295},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/advse/CounsellHHBD10,
  author    = {Steve Counsell and
               Robert M. Hierons and
               Hamza Hamza and
               Sue Black and
               M. Durrand},
  title     = {Exploring the Eradication of Code Smells: An Empirical and Theoretical
               Perspective},
  journal   = {Adv. Software Engineering},
  volume    = {2010},
  pages     = {820103:1--820103:12},
  year      = {2010},
  url       = {https://doi.org/10.1155/2010/820103},
  doi       = {10.1155/2010/820103},
  timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/advse/CounsellHHBD10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/DerderianHHG10,
  author    = {Karnig Derderian and
               Robert M. Hierons and
               Mark Harman and
               Qiang Guo},
  title     = {Estimating the feasibility of transition paths in extended finite
               state machines},
  journal   = {Autom. Softw. Eng.},
  volume    = {17},
  number    = {1},
  pages     = {33--56},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10515-009-0057-9},
  doi       = {10.1007/s10515-009-0057-9},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ase/DerderianHHG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/HieronsU10,
  author    = {Robert M. Hierons and
               Hasan Ural},
  title     = {Generating a checking sequence with a minimum number of reset transitions},
  journal   = {Autom. Softw. Eng.},
  volume    = {17},
  number    = {3},
  pages     = {217--250},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10515-009-0061-0},
  doi       = {10.1007/s10515-009-0061-0},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ase/HieronsU10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ParkinsonHLN10,
  author    = {S. T. Parkinson and
               Robert M. Hierons and
               Mark Lycett and
               M. Norman},
  title     = {Practitioner-based measurement: a collaborative approach},
  journal   = {Commun. {ACM}},
  volume    = {53},
  number    = {3},
  pages     = {142--147},
  year      = {2010},
  url       = {https://doi.org/10.1145/1666420.1666456},
  doi       = {10.1145/1666420.1666456},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/ParkinsonHLN10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cit/CounsellHH10,
  author    = {Steve Counsell and
               Hamza Hamza and
               Robert M. Hierons},
  title     = {An Empirical Investigation of Code Smell 'Deception' and Research
               Contextualisation through Paul's Criteria},
  journal   = {{CIT}},
  volume    = {18},
  number    = {4},
  year      = {2010},
  url       = {http://cit.srce.hr/index.php/CIT/article/view/1919},
  timestamp = {Mon, 18 Apr 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cit/CounsellHH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Hierons10,
  author    = {Robert M. Hierons},
  title     = {Reaching and Distinguishing States of Distributed Systems},
  journal   = {{SIAM} J. Comput.},
  volume    = {39},
  number    = {8},
  pages     = {3480--3500},
  year      = {2010},
  url       = {https://doi.org/10.1137/090771296},
  doi       = {10.1137/090771296},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/siamcomp/Hierons10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hierons10,
  author    = {Robert M. Hierons},
  title     = {Canonical finite state machines for distributed systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {411},
  number    = {2},
  pages     = {566--580},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.tcs.2009.09.039},
  doi       = {10.1016/j.tcs.2009.09.039},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Hierons10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarracloughBDHHKLO10,
  author    = {Richard W. Barraclough and
               David W. Binkley and
               Sebastian Danicic and
               Mark Harman and
               Robert M. Hierons and
               {\'{A}}kos Kiss and
               Mike Laurence and
               Lahcen Ouarbya},
  title     = {A trajectory-based strict semantics for program slicing},
  journal   = {Theor. Comput. Sci.},
  volume    = {411},
  number    = {11-13},
  pages     = {1372--1386},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.tcs.2009.10.025},
  doi       = {10.1016/j.tcs.2009.10.025},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/BarracloughBDHHKLO10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hierons10a,
  author    = {Robert M. Hierons},
  title     = {Checking experiments for stream X-machines},
  journal   = {Theor. Comput. Sci.},
  volume    = {411},
  number    = {37},
  pages     = {3372--3385},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.tcs.2010.05.014},
  doi       = {10.1016/j.tcs.2010.05.014},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Hierons10a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HieronsN10,
  author    = {Robert M. Hierons and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Testing Probabilistic Distributed Systems},
  booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
               International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
               June 7-9, 2010. Proceedings},
  pages     = {63--77},
  year      = {2010},
  crossref  = {DBLP:conf/forte/2010},
  url       = {https://doi.org/10.1007/978-3-642-13464-7\_6},
  doi       = {10.1007/978-3-642-13464-7\_6},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/HieronsN10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CounsellHHBD10,
  author    = {Steve Counsell and
               Robert M. Hierons and
               Hamza Hamza and
               Sue Black and
               M. Durrand},
  title     = {Is a strategy for code smell assessment long overdue?},
  booktitle = {Proceedings of the 2010 {ICSE} Workshop on Emerging Trends in Software
               Metrics, WETSoM 2010, Cape Town, South Africa, May 4, 2010},
  pages     = {32--38},
  year      = {2010},
  crossref  = {DBLP:conf/icse/2010wetsom},
  url       = {https://doi.org/10.1145/1809223.1809228},
  doi       = {10.1145/1809223.1809228},
  timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/CounsellHHBD10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SeguraHBR10,
  author    = {Sergio Segura and
               Robert M. Hierons and
               David Benavides and
               Antonio Ruiz Cort{\'{e}}s},
  title     = {Automated Test Data Generation on the Analyses of Feature Models:
               {A} Metamorphic Testing Approach},
  booktitle = {Third International Conference on Software Testing, Verification and
               Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
  pages     = {35--44},
  year      = {2010},
  crossref  = {DBLP:conf/icst/2010},
  url       = {https://doi.org/10.1109/ICST.2010.20},
  doi       = {10.1109/ICST.2010.20},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/SeguraHBR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ClarkDH10,
  author    = {John A. Clark and
               Haitao Dan and
               Robert M. Hierons},
  title     = {Semantic Mutation Testing},
  booktitle = {Third International Conference on Software Testing, Verification and
               Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
               Proceedings},
  pages     = {100--109},
  year      = {2010},
  crossref  = {DBLP:conf/icst/2010w},
  url       = {https://doi.org/10.1109/ICSTW.2010.8},
  doi       = {10.1109/ICSTW.2010.8},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/ClarkDH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KalajiHS10,
  author    = {Abdul Salam Kalaji and
               Robert M. Hierons and
               Stephen Swift},
  title     = {Generating Feasible Transition Paths for Testing from an Extended
               Finite State Machine {(EFSM)} with the Counter Problem},
  booktitle = {Third International Conference on Software Testing, Verification and
               Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
               Proceedings},
  pages     = {232--235},
  year      = {2010},
  crossref  = {DBLP:conf/icst/2010w},
  url       = {https://doi.org/10.1109/ICSTW.2010.25},
  doi       = {10.1109/ICSTW.2010.25},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/KalajiHS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/HieronsMN10,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Scenarios-Based Testing of Systems with Distributed Ports},
  booktitle = {Proceedings of the 10th International Conference on Quality Software,
               {QSIC} 2010, Zhangjiajie, China, 14-15 July 2010},
  pages     = {52--61},
  year      = {2010},
  crossref  = {DBLP:conf/qsic/2010},
  url       = {https://doi.org/10.1109/QSIC.2010.43},
  doi       = {10.1109/QSIC.2010.43},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qsic/HieronsMN10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/MubarakCH10,
  author    = {Asma Mubarak and
               Steve Counsell and
               Robert M. Hierons},
  title     = {An Evolutionary Study of Fan-in and Fan-out Metrics in {OSS}},
  booktitle = {Proceedings of the Fourth {IEEE} International Conference on Research
               Challenges in Information Science, {RCIS} 2010, Nice, France, May
               19-21, 2010},
  pages     = {473--482},
  year      = {2010},
  crossref  = {DBLP:conf/rcis/2010},
  url       = {https://doi.org/10.1109/RCIS.2010.5507408},
  doi       = {10.1109/RCIS.2010.5507408},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rcis/MubarakCH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DanHC10,
  author    = {Haitao Dan and
               Robert M. Hierons and
               Steve Counsell},
  title     = {Non-local Choice and Implied Scenarios},
  booktitle = {8th {IEEE} International Conference on Software Engineering and Formal
               Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages     = {53--62},
  year      = {2010},
  crossref  = {DBLP:conf/sefm/2010},
  url       = {https://doi.org/10.1109/SEFM.2010.14},
  doi       = {10.1109/SEFM.2010.14},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/DanHC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/TrabACHG10,
  author    = {Mohammad Saeed Abou Trab and
               Bachar Alrouh and
               Steve Counsell and
               Robert M. Hierons and
               George Ghinea},
  title     = {A Multi-criteria Decision Making Framework for Real Time Model-Based
               Testing},
  booktitle = {Testing - Practice and Research Techniques, 5th International Academic
               and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
               3-5, 2010. Proceedings},
  pages     = {194--197},
  year      = {2010},
  crossref  = {DBLP:conf/taicpart/2010},
  url       = {https://doi.org/10.1007/978-3-642-15585-7\_20},
  doi       = {10.1007/978-3-642-15585-7\_20},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/taicpart/TrabACHG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10421,
  editor    = {Wolfgang Grieskamp and
               Robert M. Hierons and
               Alexander Pretschner},
  title     = {Model-Based Testing in Practice, 17.10. - 22.10.2010},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {10421},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/portals/10421/},
  timestamp = {Thu, 09 Apr 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2010P10421},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/se/HieronsMN10,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Mutation Testing},
  booktitle = {Encyclopedia of Software Engineering},
  pages     = {594--602},
  year      = {2010},
  crossref  = {DBLP:reference/se/2010},
  url       = {http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120044190},
  timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/se/HieronsMN10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BertolinoGHTLMP10,
  author    = {Antonia Bertolino and
               Wolfgang Grieskamp and
               Robert M. Hierons and
               Yves Le Traon and
               Bruno Legeard and
               Henry Muccini and
               Amit M. Paradkar and
               David S. Rosenblum and
               Jan Tretmans},
  title     = {Model-Based Testing for the Cloud},
  booktitle = {Practical Software Testing: Tool Automation and Human Factors, 14.03.
               - 19.03.2010},
  year      = {2010},
  crossref  = {DBLP:conf/dagstuhl/2010P10111},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2010/2625/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/BertolinoGHTLMP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GrieskampHP10,
  author    = {Wolfgang Grieskamp and
               Robert M. Hierons and
               Alexander Pretschner},
  title     = {10421 Abstracts Collection - Model-Based Testing in Practice},
  booktitle = {Model-Based Testing in Practice, 17.10. - 22.10.2010},
  year      = {2010},
  crossref  = {DBLP:conf/dagstuhl/2010P10421},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2011/2924/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/GrieskampHP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GrieskampHP10a,
  author    = {Wolfgang Grieskamp and
               Robert M. Hierons and
               Alexander Pretschner},
  title     = {10421 Summary - Model-Based Testing in Practice},
  booktitle = {Model-Based Testing in Practice, 17.10. - 22.10.2010},
  year      = {2010},
  crossref  = {DBLP:conf/dagstuhl/2010P10421},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2011/2925/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/GrieskampHP10a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-3878,
  author    = {Sebastian Danicic and
               Robert M. Hierons and
               Michael R. Laurence},
  title     = {Complexity of Data Dependence problems for Program Schemas with Concurrency},
  journal   = {CoRR},
  volume    = {abs/1007.3878},
  year      = {2010},
  url       = {http://arxiv.org/abs/1007.3878},
  archivePrefix = {arXiv},
  eprint    = {1007.3878},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1007-3878},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/HieronsU09,
  author    = {Robert M. Hierons and
               Hasan Ural},
  title     = {Overcoming controllability problems with fewest channels between testers},
  journal   = {Computer Networks},
  volume    = {53},
  number    = {5},
  pages     = {680--690},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.comnet.2008.11.003},
  doi       = {10.1016/j.comnet.2008.11.003},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cn/HieronsU09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HieronsBBCDDGHKKLSVWZ09,
  author    = {Robert M. Hierons and
               Kirill Bogdanov and
               Jonathan P. Bowen and
               Rance Cleaveland and
               John Derrick and
               Jeremy Dick and
               Marian Gheorghe and
               Mark Harman and
               Kalpesh Kapoor and
               Paul J. Krause and
               Gerald L{\"{u}}ttgen and
               Anthony J. H. Simons and
               Sergiy A. Vilkomir and
               Martin R. Woodward and
               Hussein Zedan},
  title     = {Using formal specifications to support testing},
  journal   = {{ACM} Comput. Surv.},
  volume    = {41},
  number    = {2},
  pages     = {9:1--9:76},
  year      = {2009},
  url       = {https://doi.org/10.1145/1459352.1459354},
  doi       = {10.1145/1459352.1459354},
  timestamp = {Thu, 18 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/csur/HieronsBBCDDGHKKLSVWZ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Hierons09,
  author    = {Robert M. Hierons},
  title     = {Using status messages in the distributed test architecture},
  journal   = {Information {\&} Software Technology},
  volume    = {51},
  number    = {7},
  pages     = {1123--1130},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.infsof.2008.11.002},
  doi       = {10.1016/j.infsof.2008.11.002},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/Hierons09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HieronsMN09,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Testing from a stochastic timed system with a fault model},
  journal   = {J. Log. Algebr. Program.},
  volume    = {78},
  number    = {2},
  pages     = {98--115},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jlap.2008.06.001},
  doi       = {10.1016/j.jlap.2008.06.001},
  timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/HieronsMN09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/HieronsM09,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo},
  title     = {Mutation testing from probabilistic and stochastic finite state machines},
  journal   = {Journal of Systems and Software},
  volume    = {82},
  number    = {11},
  pages     = {1804--1818},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jss.2009.06.030},
  doi       = {10.1016/j.jss.2009.06.030},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jss/HieronsM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/Hierons09,
  author    = {Robert M. Hierons},
  title     = {Verdict functions in testing with a fault domain or test hypotheses},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {18},
  number    = {4},
  pages     = {14:1--14:19},
  year      = {2009},
  url       = {https://doi.org/10.1145/1538942.1538944},
  doi       = {10.1145/1538942.1538944},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tosem/Hierons09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/AlmohammadGH09,
  author    = {Adel Almohammad and
               Gheorghita Ghinea and
               Robert M. Hierons},
  title     = {{JPEG} Steganography: {A} Performance Evaluation of Quantization Tables},
  booktitle = {The {IEEE} 23rd International Conference on Advanced Information Networking
               and Applications, {AINA} 2009, Bradford, United Kingdom, May 26-29,
               2009},
  pages     = {471--478},
  year      = {2009},
  crossref  = {DBLP:conf/aina/2009},
  url       = {https://doi.org/10.1109/AINA.2009.67},
  doi       = {10.1109/AINA.2009.67},
  timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/AlmohammadGH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ease/MubarakCH09,
  author    = {Asma Mubarak and
               Steve Counsell and
               Robert M. Hierons},
  title     = {Does an 80: 20 rule apply to Java coupling?},
  booktitle = {13th International Conference on Evaluation and Assessment in Software
               Engineering, {EASE} 2009, Durham University, UK, 20-21 April 2009},
  year      = {2009},
  crossref  = {DBLP:conf/ease/2009},
  url       = {http://ewic.bcs.org/content/ConWebDoc/25024},
  timestamp = {Tue, 23 Jun 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ease/MubarakCH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KalajiHS09,
  author    = {Abdul Salam Kalaji and
               Robert M. Hierons and
               Stephen Swift},
  title     = {Generating Feasible Transition Paths for Testing from an Extended
               Finite State Machine {(EFSM)}},
  booktitle = {Second International Conference on Software Testing Verification and
               Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
  pages     = {230--239},
  year      = {2009},
  crossref  = {DBLP:conf/icst/2009},
  url       = {https://doi.org/10.1109/ICST.2009.29},
  doi       = {10.1109/ICST.2009.29},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/KalajiHS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/DerderianMHN09,
  author    = {Karnig Derderian and
               Mercedes G. Merayo and
               Robert M. Hierons and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Aiding Test Case Generation in Temporally Constrained State Based
               Systems Using Genetic Algorithms},
  booktitle = {Bio-Inspired Systems: Computational and Ambient Intelligence, 10th
               International Work-Conference on Artificial Neural Networks, {IWANN}
               2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part {I}},
  pages     = {327--334},
  year      = {2009},
  crossref  = {DBLP:conf/iwann/2009-1},
  url       = {https://doi.org/10.1007/978-3-642-02478-8\_41},
  doi       = {10.1007/978-3-642-02478-8\_41},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwann/DerderianMHN09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HieronsN09,
  author    = {Robert M. Hierons and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Simulation Relations for Systems with Distributed Interfaces},
  booktitle = {Seventh {IEEE} International Conference on Software Engineering and
               Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
  pages     = {41--50},
  year      = {2009},
  crossref  = {DBLP:conf/sefm/2009},
  url       = {https://doi.org/10.1109/SEFM.2009.22},
  doi       = {10.1109/SEFM.2009.22},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/HieronsN09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HieronsJUY09,
  author    = {Robert M. Hierons and
               Guy{-}Vincent Jourdan and
               Hasan Ural and
               H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
  title     = {Checking Sequence Construction Using Adaptive and Preset Distinguishing
               Sequences},
  booktitle = {Seventh {IEEE} International Conference on Software Engineering and
               Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
  pages     = {157--166},
  year      = {2009},
  crossref  = {DBLP:conf/sefm/2009},
  url       = {https://doi.org/10.1109/SEFM.2009.12},
  doi       = {10.1109/SEFM.2009.12},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/HieronsJUY09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HieronsU08,
  author    = {Robert M. Hierons and
               Hasan Ural},
  title     = {The Effect of the Distributed Test Architecture on the Power of Testing},
  journal   = {Comput. J.},
  volume    = {51},
  number    = {4},
  pages     = {497--510},
  year      = {2008},
  url       = {https://doi.org/10.1093/comjnl/bxm096},
  doi       = {10.1093/comjnl/bxm096},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/HieronsU08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/HieronsU08,
  author    = {Robert M. Hierons and
               Hasan Ural},
  title     = {Checking sequences for distributed test architectures},
  journal   = {Distributed Computing},
  volume    = {21},
  number    = {3},
  pages     = {223--238},
  year      = {2008},
  url       = {https://doi.org/10.1007/s00446-008-0062-4},
  doi       = {10.1007/s00446-008-0062-4},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dc/HieronsU08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HieronsI08,
  author    = {Robert M. Hierons and
               Florentin Ipate},
  title     = {Testing a deterministic implementation against a non-controllable
               non-deterministic stream X-machine},
  journal   = {Formal Asp. Comput.},
  volume    = {20},
  number    = {6},
  pages     = {597--617},
  year      = {2008},
  url       = {https://doi.org/10.1007/s00165-008-0087-2},
  doi       = {10.1007/s00165-008-0087-2},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/HieronsI08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/Robinson-MallettHPL08,
  author    = {Christopher Robinson{-}Mallett and
               Robert M. Hierons and
               Jesse H. Poore and
               Peter Liggesmeyer},
  title     = {Using communication coverage criteria and partial model generation
               to assist software integration testing},
  journal   = {Software Quality Journal},
  volume    = {16},
  number    = {2},
  pages     = {185--211},
  year      = {2008},
  url       = {https://doi.org/10.1007/s11219-007-9036-1},
  doi       = {10.1007/s11219-007-9036-1},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sqj/Robinson-MallettHPL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/AlmohammadHG08,
  author    = {Adel Almohammad and
               Robert M. Hierons and
               Gheorghita Ghinea},
  title     = {High Capacity Steganographic Method Based Upon {JPEG}},
  booktitle = {Proceedings of the The Third International Conference on Availability,
               Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical
               University of Catalonia, Barcelona , Spain},
  pages     = {544--549},
  year      = {2008},
  crossref  = {DBLP:conf/IEEEares/2008},
  url       = {https://doi.org/10.1109/ARES.2008.72},
  doi       = {10.1109/ARES.2008.72},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEares/AlmohammadHG08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HieronsMN08,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Controllable Test Cases for the Distributed Test Architecture},
  booktitle = {Automated Technology for Verification and Analysis, 6th International
               Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
  pages     = {201--215},
  year      = {2008},
  crossref  = {DBLP:conf/atva/2008},
  url       = {https://doi.org/10.1007/978-3-540-88387-6\_16},
  doi       = {10.1007/978-3-540-88387-6\_16},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/HieronsMN08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisse/MubarakCH08,
  author    = {Asma Mubarak and
               Steve Counsell and
               Robert M. Hierons},
  title     = {An Empirical Study of "Removed" Classes in Java Open-Source
               Systems},
  booktitle = {Advanced Techniques in Computing Sciences and Software Engineering,
               Volume {II} of the proceedings of the 2008 International Conference
               on Systems, Computing Sciences and Software Engineering (SCSS), part
               of the International Joint Conferences on Computer, Information, and
               Systems Sciences, and Engineering, {CISSE} 2008, Bridgeport, Connecticut,
               {USA}},
  pages     = {99--104},
  year      = {2008},
  crossref  = {DBLP:conf/cisse/2008scss2},
  url       = {https://doi.org/10.1007/978-90-481-3660-5\_17},
  doi       = {10.1007/978-90-481-3660-5\_17},
  timestamp = {Fri, 19 May 2017 01:25:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cisse/MubarakCH08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecce/KhanBFH08,
  author    = {Iftikhar Ahmed Khan and
               Willem{-}Paul Brinkman and
               Nick Fine and
               Robert M. Hierons},
  title     = {Measuring personality from keyboard and mouse use},
  booktitle = {{ECCE} 2008 - The Ergonomics of Cool Interaction, European Conference
               on Cognitive Ergonomics 2008, Funchal, Madeira, Portugal, September
               16-19, 2008},
  pages     = {38},
  year      = {2008},
  crossref  = {DBLP:conf/ecce/2008},
  url       = {https://doi.org/10.1145/1473018.1473066},
  doi       = {10.1145/1473018.1473066},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecce/KhanBFH08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fortest/ChenHU08,
  author    = {Jessica Chen and
               Robert M. Hierons and
               Hasan Ural},
  title     = {Testing in the Distributed Test Architecture},
  booktitle = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
               Selected Papers},
  pages     = {157--183},
  year      = {2008},
  crossref  = {DBLP:conf/fortest/2008},
  url       = {https://doi.org/10.1007/978-3-540-78917-8\_5},
  doi       = {10.1007/978-3-540-78917-8\_5},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fortest/ChenHU08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fortest/HarmanBBHHKMR08,
  author    = {Mark Harman and
               Andr{\'{e}} Baresel and
               David W. Binkley and
               Robert M. Hierons and
               Lin Hu and
               Bogdan Korel and
               Phil McMinn and
               Marc Roper},
  title     = {Testability Transformation - Program Transformation to Improve Testability},
  booktitle = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
               Selected Papers},
  pages     = {320--344},
  year      = {2008},
  crossref  = {DBLP:conf/fortest/2008},
  url       = {https://doi.org/10.1007/978-3-540-78917-8\_11},
  doi       = {10.1007/978-3-540-78917-8\_11},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fortest/HarmanBBHHKMR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iti/ParkinsonCNHL08,
  author    = {S. T. Parkinson and
               Steve Counsell and
               M. Norman and
               Robert M. Hierons and
               Mark Lycett},
  title     = {The precursor to an industrial software metrics program},
  booktitle = {Proceedings of the {ITI} 2008 30th International Conference on Information
               Technology Interfaces, Dubrovnik, Croatia, June 23-26, 2008},
  pages     = {221--226},
  year      = {2008},
  crossref  = {DBLP:conf/iti/2008},
  url       = {https://doi.org/10.1109/ITI.2008.4588411},
  doi       = {10.1109/ITI.2008.4588411},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iti/ParkinsonCNHL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppig/KhanBH08,
  author    = {Iftikhar Ahmed Khan and
               Willem{-}Paul Brinkman and
               Robert M. Hierons},
  title     = {Towards a Computer Interaction-Based Mood Measure Instrument},
  booktitle = {Proceedings of the 20th Annual Workshop of the Psychology of Programming
               Interest Group, {PPIG} 2008, Lancaster, UK, September 10-12, 2008},
  pages     = {17},
  year      = {2008},
  crossref  = {DBLP:conf/ppig/2008},
  url       = {http://ppig.org/library/paper/towards-computer-interaction-based-mood-measure-instrument},
  timestamp = {Sat, 09 Jun 2018 01:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppig/KhanBH08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HieronsMN08,
  author    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Implementation Relations for the Distributed Test Architecture},
  booktitle = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
               6.1 International Conference, TestCom 2008, 8th International Workshop,
               {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  pages     = {200--215},
  year      = {2008},
  crossref  = {DBLP:conf/pts/2008},
  url       = {https://doi.org/10.1007/978-3-540-68524-1\_15},
  doi       = {10.1007/978-3-540-68524-1\_15},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/HieronsMN08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/Hierons08,
  author    = {Robert M. Hierons},
  title     = {Testing in the Distributed Test Architecture: An Extended Abstract},
  booktitle = {Proceedings of the Eighth International Conference on Quality Software,
               {QSIC} 2008, 12-13 August 2008, Oxford, {UK}},
  pages     = {11--14},
  year      = {2008},
  crossref  = {DBLP:conf/qsic/2008},
  url       = {https://doi.org/10.1109/QSIC.2008.11},
  doi       = {10.1109/QSIC.2008.11},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qsic/Hierons08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HieronsJUY08,
  author    = {Robert M. Hierons and
               Guy{-}Vincent Jourdan and
               Hasan Ural and
               H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
  title     = {Using adaptive distinguishing sequences in checking sequence constructions},
  booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
               Fortaleza, Ceara, Brazil, March 16-20, 2008},
  pages     = {682--687},
  year      = {2008},
  crossref  = {DBLP:conf/sac/2008},
  url       = {https://doi.org/10.1145/1363686.1363850},
  doi       = {10.1145/1363686.1363850},
  timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/HieronsJUY08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MerayoHN08,
  author    = {Mercedes G. Merayo and
               Robert M. Hierons and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Extending Stream X-Machines to Specify and Test Systems with Timeouts},
  booktitle = {Sixth {IEEE} International Conference on Software Engineering and
               Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
               2008},
  pages     = {201--210},
  year      = {2008},
  crossref  = {DBLP:conf/sefm/2008},
  url       = {https://doi.org/10.1109/SEFM.2008.15},
  doi       = {10.1109/SEFM.2008.15},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/MerayoHN08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fortest/2008,
  editor    = {Robert M. Hierons and
               Jonathan P. Bowen and
               Mark Harman},
  title     = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4949},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78917-8},
  doi       = {10.1007/978-3-540-78917-8},
  isbn      = {978-3-540-78916-1},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fortest/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/HieronsU07,
  author    = {Robert M. Hierons and
               Hasan Ural},
  title     = {Reducing the cost of applying adaptive test cases},
  journal   = {Computer Networks},
  volume    = {51},
  number    = {1},
  pages     = {224--238},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.comnet.2006.03.009},
  doi       = {10.1016/j.comnet.2006.03.009},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cn/HieronsU07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MubarakCHH07,
  author    = {Asma Mubarak and
               Steve Counsell and
               Robert M. Hierons and
               Youssef Hassoun},
  title     = {Package Evolvability and its Relationship with Refactoring},
  journal   = {{ECEASST}},
  volume    = {8},
  year      = {2007},
  url       = {https://doi.org/10.14279/tuj.eceasst.8.120},
  doi       = {10.14279/tuj.eceasst.8.120},
  timestamp = {Wed, 22 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/MubarakCHH07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GuoHHD07,
  author    = {Qiang Guo and
               Robert M. Hierons and
               Mark Harman and
               Karnig Derderian},
  title     = {Heuristics for fault diagnosis when testing from finite state machines},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {17},
  number    = {1},
  pages     = {41--57},
  year      = {2007},
  url       = {https://doi.org/10.1002/stvr.352},
  doi       = {10.1002/stvr.352},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/GuoHHD07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DanicicHHHL07,
  author    = {Sebastian Danicic and
               Mark Harman and
               Robert M. Hierons and
               John Howroyd and
               Michael R. Laurence},
  title     = {Equivalence of linear, free, liberal, structured program schemas is
               decidable in polynomial time},
  journal   = {Theor. Comput. Sci.},
  volume    = {373},
  number    = {1-2},
  pages     = {1--18},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.tcs.2006.10.001},
  doi       = {10.1016/j.tcs.2006.10.001},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/DanicicHHHL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LiHH07,
  author    = {Zheng Li and
               Mark Harman and
               Robert M. Hierons},
  title     = {Search Algorithms for Regression Test Case Prioritization},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {33},
  number    = {4},
  pages     = {225--237},
  year      = {2007},
  url       = {https://doi.org/10.1109/TSE.2007.38},
  doi       = {10.1109/TSE.2007.38},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/LiHH07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/CounsellHL07,
  author    = {Steve Counsell and
               Robert M. Hierons and
               George Loizou},
  title     = {A Meta-analysis Approach to Refactoring and {XP}},
  booktitle = {2007 {IEEE/ACS} International Conference on Computer Systems and Applications
               {(AICCSA} 2007), 13-16 May 2007, Amman, Jordan},
  pages     = {67--75},
  year      = {2007},
  crossref  = {DBLP:conf/aiccsa/2007},
  url       = {https://doi.org/10.1109/AICCSA.2007.370866},
  doi       = {10.1109/AICCSA.2007.370866},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/CounsellHL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisse/CounsellSH07,
  author    = {Steve Counsell and
               Stephen Swift and
               Robert M. Hierons},
  title     = {A Test Taxonomy Applied to the Mechanics of Java Refactorings},
  booktitle = {Advances in Computer and Information Sciences and Engineering, Proceedings
               of the 2007 International Conference on Systems, Computing Sciences
               and Software Engineering (SCSS), part of the International Joint Conferences
               on Computer, Information, and Systems Sciences, and Engineering {(CISSE}
               2007), Bridgeport, CT, USA, December 3-12, 2007},
  pages     = {497--502},
  year      = {2007},
  crossref  = {DBLP:conf/cisse/2007scss1},
  url       = {https://doi.org/10.1007/978-1-4020-8741-7\_88},
  doi       = {10.1007/978-1-4020-8741-7\_88},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cisse/CounsellSH07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecce/KhanHB07,
  author    = {Iftikhar Ahmed Khan and
               Robert M. Hierons and
               Willem{-}Paul Brinkman},
  title     = {Mood independent programming},
  booktitle = {Proceedings of the 14th European Conference on Cognitive Ergonomics:
               invent! explore!, {ECCE} 2007, London, UK, August 28-31, 2007},
  pages     = {269--272},
  year      = {2007},
  crossref  = {DBLP:conf/ecce/2007},
  url       = {https://doi.org/10.1145/1362550.1362606},
  doi       = {10.1145/1362550.1362606},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecce/KhanHB07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DanHC07,
  author    = {Haitao Dan and
               Robert M. Hierons and
               Steve Counsell},
  title     = {Thread-Based Analysis of Sequence Diagrams},
  booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia,
               June 27-29, 2007, Proceedings},
  pages     = {19--34},
  year      = {2007},
  crossref  = {DBLP:conf/forte/2007},
  url       = {https://doi.org/10.1007/978-3-540-73196-2\_2},
  doi       = {10.1007/978-3-540-73196-2\_2},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/DanHC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppig/KhanHB07,
  author    = {Iftikhar Ahmed Khan and
               Robert M. Hierons and
               Willem{-}Paul Brinkman},
  title     = {Moods and Programmers' Performance},
  booktitle = {Proceedings of the 19th Annual Workshop of the Psychology of Programming
               Interest Group, {PPIG} 2007, Joensuu, Finland, July 2-3, 2007},
  pages     = {2},
  year      = {2007},
  crossref  = {DBLP:conf/ppig/2007},
  url       = {http://ppig.org/library/paper/moods-and-programmers-performance},
  timestamp = {Sat, 09 Jun 2018 01:00:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppig/KhanHB07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DanHC07,
  author    = {Haitao Dan and
               Robert M. Hierons and
               Steve Counsell},
  title     = {A Thread-tag Based Semantics for Sequence Diagrams},
  booktitle = {Fifth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
               {UK}},
  pages     = {173--182},
  year      = {2007},
  crossref  = {DBLP:conf/sefm/2007},
  url       = {https://doi.org/10.1109/SEFM.2007.3},
  doi       = {10.1109/SEFM.2007.3},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/DanHC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soqua/CounsellH07,
  author    = {Steve Counsell and
               Robert M. Hierons},
  title     = {Refactoring test suites versus test behaviour: a {TTCN-3} perspective},
  booktitle = {Fourth International Workshop on Software Quality Assurance, {SOQUA}
               2007, in conjunction with the 6th {ESEC/FSE} joint meeting, Dubrovnik,
               Croatia, September 3-4, 2007},
  pages     = {31--38},
  year      = {2007},
  crossref  = {DBLP:conf/soqua/2007},
  url       = {https://doi.org/10.1145/1295074.1295081},
  doi       = {10.1145/1295074.1295081},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/soqua/CounsellH07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Hierons06,
  author    = {Robert M. Hierons},
  title     = {Separating sequence overlap for automated test sequence generation},
  journal   = {Autom. Softw. Eng.},
  volume    = {13},
  number    = {2},
  pages     = {283--301},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10515-006-7739-3},
  doi       = {10.1007/s10515-006-7739-3},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ase/Hierons06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/DerderianHHG06,
  author    = {Karnig Derderian and
               Robert M. Hierons and
               Mark Harman and
               Qiang Guo},
  title     = {Automated Unique Input Output Sequence Generation for Conformance
               Testing of FSMs},
  journal   = {Comput. J.},
  volume    = {49},
  number    = {3},
  pages     = {331--344},
  year      = {2006},
  url       = {https://doi.org/10.1093/comjnl/bxl003},
  doi       = {10.1093/comjnl/bxl003},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/DerderianHHG06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DerrickHH06,
  author    = {John Derrick and
               Mark Harman and
               Robert M. Hierons},
  title     = {Guest Editorial},
  journal   = {Formal Asp. Comput.},
  volume    = {18},
  number    = {1},
  pages     = {1--2},
  year      = {2006},
  url       = {https://doi.org/10.1007/s00165-005-0087-4},
  doi       = {10.1007/s00165-005-0087-4},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/DerrickHH06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/GuoHHD06,
  author    = {Qiang Guo and
               Robert M. Hierons and
               Mark Harman and
               Karnig Derderian},
  title     = {Improving test quality using robust unique input/output circuit sequences
               (UIOCs)},
  journal   = {Information {\&} Software Technology},
  volume    = {48},
  number    = {8},
  pages     = {696--707},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.infsof.2005.08.001},
  doi       = {10.1016/j.infsof.2005.08.001},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/GuoHHD06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Hierons06,
  author    = {Robert M. Hierons},
  title     = {Applying adaptive test cases to nondeterministic implementations},
  journal   = {Inf. Process. Lett.},
  volume    = {98},
  number    = {2},
  pages     = {56--60},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.ipl.2005.12.001},
  doi       = {10.1016/j.ipl.2005.12.001},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/Hierons06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ChenHU06,
  author    = {Jessica Chen and
               Robert M. Hierons and
               Hasan Ural},
  title     = {Overcoming observability problems in distributed test architectures},
  journal   = {Inf. Process. Lett.},
  volume    = {98},
  number    = {5},
  pages     = {177--182},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.ipl.2006.02.001},
  doi       = {10.1016/j.ipl.2006.02.001},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/ChenHU06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Robinson-MallettHL06,
  author    = {Christopher Robinson{-}Mallett and
               Robert M. Hierons and
               Peter Liggesmeyer},
  title     = {Achieving communication coverage in testing},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {31},
  number    = {6},
  pages     = {1--10},
  year      = {2006},
  url       = {https://doi.org/10.1145/1218776.1218786},
  doi       = {10.1145/1218776.1218786},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigsoft/Robinson-MallettHL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons06,
  author    = {Robert M. Hierons},
  title     = {Testing Commercial-off-the-Shelf Components and Systems. Edited by
               Sami Beydeda and Volker Gruhn. Springer, 2005, {ISBN:} 3-540-21871-8,
               pp 410},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {16},
  number    = {1},
  pages     = {61},
  year      = {2006},
  url       = {https://doi.org/10.1002/stvr.337},
  doi       = {10.1002/stvr.337},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/McMinnH06,
  author    = {Phil McMinn and
               Robert M. Hierons},
  title     = {Editorial: Addressing industrial challenges - UKTest 2005 and beyond},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {16},
  number    = {3},
  pages     = {131--132},
  year      = {2006},
  url       = {https://doi.org/10.1002/stvr.355},
  doi       = {10.1002/stvr.355},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/McMinnH06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/WhiteOYHHM06,
  author    = {Lee White and
               Jeff Offutt and
               Derek Yates and
               Robert M. Hierons and
               Michael A. Hennell and
               Peter Mitchell},
  title     = {A Tribute to Martin Woodward},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {16},
  number    = {4},
  pages     = {209--211},
  year      = {2006},
  url       = {https://doi.org/10.1002/stvr.363},
  doi       = {10.1002/stvr.363},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/WhiteOYHHM06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons06a,
  author    = {Robert M. Hierons},
  title     = {Software Testing Foundations: {A} Study Guide for the Certified Tester
               Exam. By Andreas Spillner, Tilo Linz and Hans Schaefer. Published
               by dpunkt.verlag, Heidelberg, Germany, 2006, {ISBN:} 3-89864-363-8,
               pp 266},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {16},
  number    = {4},
  pages     = {289--290},
  year      = {2006},
  url       = {https://doi.org/10.1002/stvr.358},
  doi       = {10.1002/stvr.358},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons06a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/HieronsU06,
  author    = {Robert M. Hierons and
               Hasan Ural},
  title     = {Optimizing the Length of Checking Sequences},
  journal   = {{IEEE} Trans. Computers},
  volume    = {55},
  number    = {5},
  pages     = {618--629},
  year      = {2006},
  url       = {https://doi.org/10.1109/TC.2006.80},
  doi       = {10.1109/TC.2006.80},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/HieronsU06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/Hierons06,
  author    = {Robert M. Hierons},
  title     = {Avoiding coincidental correctness in boundary value analysis},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {15},
  number    = {3},
  pages     = {227--241},
  year      = {2006},
  url       = {https://doi.org/10.1145/1151695.1151696},
  doi       = {10.1145/1151695.1151696},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tosem/Hierons06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/CounsellHNLH06,
  author    = {Steve Counsell and
               Robert M. Hierons and
               Rajaa Najjar and
               George Loizou and
               Youssef Hassoun},
  title     = {The Effectiveness of Refactoring, Based on a Compatibility Testing
               Taxonomy and a Dependency Graph},
  booktitle = {Testing: Academia and Industry Conference - Practice And Research
               Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
               Kingdom},
  pages     = {181--192},
  year      = {2006},
  crossref  = {DBLP:conf/taicpart/2006},
  url       = {https://doi.org/10.1109/TAIC-PART.2006.33},
  doi       = {10.1109/TAIC-PART.2006.33},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/taicpart/CounsellHNLH06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2006r,
  editor    = {Robert M. Hierons and
               Henry Muccini},
  title     = {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},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-459-6},
  timestamp = {Thu, 14 Aug 2008 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2006r},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HieronsHF05,
  author    = {Robert M. Hierons and
               Mark Harman and
               Chris Fox},
  title     = {Branch-Coverage Testability Transformation for Unstructured Programs},
  journal   = {Comput. J.},
  volume    = {48},
  number    = {4},
  pages     = {421--436},
  year      = {2005},
  url       = {https://doi.org/10.1093/comjnl/bxh093},
  doi       = {10.1093/comjnl/bxh093},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/HieronsHF05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/DanicicFHHHL05,
  author    = {Sebastian Danicic and
               Chris Fox and
               Mark Harman and
               Robert M. Hierons and
               John Howroyd and
               Michael R. Laurence},
  title     = {Static Program Slicing Algorithms are Minimal for Free Liberal Program
               Schemas},
  journal   = {Comput. J.},
  volume    = {48},
  number    = {6},
  pages     = {737--748},
  year      = {2005},
  url       = {https://doi.org/10.1093/comjnl/bxh121},
  doi       = {10.1093/comjnl/bxh121},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/DanicicFHHHL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/GuoHHD05,
  author    = {Qiang Guo and
               Robert M. Hierons and
               Mark Harman and
               Karnig Derderian},
  title     = {Constructing multiple unique input/output sequences using metaheuristic
               optimisation techniques},
  journal   = {{IEE} Proceedings - Software},
  volume    = {152},
  number    = {3},
  pages     = {127--140},
  year      = {2005},
  url       = {https://doi.org/10.1049/ip-sen:20045001},
  doi       = {10.1049/ip-sen:20045001},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iee/GuoHHD05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/DanicicDFHHHOW05,
  author    = {Sebastian Danicic and
               Mohammed Daoudi and
               Chris Fox and
               Mark Harman and
               Robert M. Hierons and
               John Howroyd and
               Lahcen Ouarbya and
               Martin P. Ward},
  title     = {\emph{ConSUS}: a light-weight program conditioner},
  journal   = {Journal of Systems and Software},
  volume    = {77},
  number    = {3},
  pages     = {241--262},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.jss.2004.03.034},
  doi       = {10.1016/j.jss.2004.03.034},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jss/DanicicDFHHHOW05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/GoldHBH05,
  author    = {Nicolas E. Gold and
               Mark Harman and
               David W. Binkley and
               Robert M. Hierons},
  title     = {Unifying program slicing and concept assignment for higher-level executable
               source code extraction},
  journal   = {Softw., Pract. Exper.},
  volume    = {35},
  number    = {10},
  pages     = {977--1006},
  year      = {2005},
  url       = {https://doi.org/10.1002/spe.664},
  doi       = {10.1002/spe.664},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/GoldHBH05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons05,
  author    = {Robert M. Hierons},
  title     = {Artificial Intelligence Methods In Software Testing. Edited by Mark
               Last, Abraham Kandel and Horst Bunke. Published by World Scientific
               Publishing, Singapore, Series in Machine Perception and Artificial
               Intelligence, Volume 56, 2004, {ISBN} 981-238-854-0},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {15},
  number    = {2},
  pages     = {135--136},
  year      = {2005},
  url       = {https://doi.org/10.1002/stvr.321},
  doi       = {10.1002/stvr.321},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons05a,
  author    = {Robert M. Hierons},
  title     = {Editorial: Validating our findings},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {15},
  number    = {4},
  pages     = {209--210},
  year      = {2005},
  url       = {https://doi.org/10.1002/stvr.338},
  doi       = {10.1002/stvr.338},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons05a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ChenHU05,
  author    = {Jessica Chen and
               Robert M. Hierons and
               Hasan Ural},
  title     = {Resolving Observability Problems in Distributed Test Architectures},
  booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
               October 2-5, 2005, Proceedings},
  pages     = {219--232},
  year      = {2005},
  crossref  = {DBLP:conf/forte/2005},
  url       = {https://doi.org/10.1007/11562436\_17},
  doi       = {10.1007/11562436\_17},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/ChenHU05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/DerderianHHG05,
  author    = {Karnig Derderian and
               Robert M. Hierons and
               Mark Harman and
               Qiang Guo},
  title     = {Generating feasible input sequences for extended finite state machines
               (EFSMs) using genetic algorithms},
  booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2005, Proceedings,
               Washington DC, USA, June 25-29, 2005},
  pages     = {1081--1082},
  year      = {2005},
  crossref  = {DBLP:conf/gecco/2005},
  url       = {https://doi.org/10.1145/1068009.1068192},
  doi       = {10.1145/1068009.1068192},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gecco/DerderianHHG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ChenHUY05,
  author    = {Jessica Chen and
               Robert M. Hierons and
               Hasan Ural and
               H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
  title     = {Eliminating Redundant Tests in a Checking Sequence},
  booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
               Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
               Proceedings},
  pages     = {146--158},
  year      = {2005},
  crossref  = {DBLP:conf/pts/2005},
  url       = {https://doi.org/10.1007/11430230\_11},
  doi       = {10.1007/11430230\_11},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/ChenHUY05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/FatiregunHH05,
  author    = {Deji Fatiregun and
               Mark Harman and
               Robert M. Hierons},
  title     = {Search-Based Amorphous Slicing},
  booktitle = {12th Working Conference on Reverse Engineering, {WCRE} 2005, Pittsburgh,
               PA, USA, November 7-11, 2005},
  pages     = {3--12},
  year      = {2005},
  crossref  = {DBLP:conf/wcre/2005},
  url       = {https://doi.org/10.1109/WCRE.2005.28},
  doi       = {10.1109/WCRE.2005.28},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/FatiregunHH05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/HieronsKU04,
  author    = {Robert M. Hierons and
               T.{-}H. Kim and
               Hasan Ural},
  title     = {On the testability of {SDL} specifications},
  journal   = {Computer Networks},
  volume    = {44},
  number    = {5},
  pages     = {681--700},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.comnet.2003.06.001},
  doi       = {10.1016/j.comnet.2003.06.001},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cn/HieronsKU04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Hierons04,
  author    = {Robert M. Hierons},
  title     = {Using a minimal number of resets when testing from a finite state
               machine},
  journal   = {Inf. Process. Lett.},
  volume    = {90},
  number    = {6},
  pages     = {287--292},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.ipl.2004.03.003},
  doi       = {10.1016/j.ipl.2004.03.003},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/Hierons04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Hierons04,
  author    = {Robert M. Hierons},
  title     = {A flexible environment to evaluate state-based test techniques},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {29},
  number    = {5},
  pages     = {1--3},
  year      = {2004},
  url       = {https://doi.org/10.1145/1022494.1022543},
  doi       = {10.1145/1022494.1022543},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigsoft/Hierons04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/FoxDHH04,
  author    = {Chris Fox and
               Sebastian Danicic and
               Mark Harman and
               Robert M. Hierons},
  title     = {ConSIT: a fully automated conditioned program slicer},
  journal   = {Softw., Pract. Exper.},
  volume    = {34},
  number    = {1},
  pages     = {15--46},
  year      = {2004},
  url       = {https://doi.org/10.1002/spe.556},
  doi       = {10.1002/spe.556},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/FoxDHH04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons04,
  author    = {Robert M. Hierons},
  title     = {Book Reviews},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {14},
  number    = {1},
  pages     = {72--73},
  year      = {2004},
  url       = {https://doi.org/10.1002/stvr.290},
  doi       = {10.1002/stvr.290},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ClarkHH04,
  author    = {John A. Clark and
               Mark Harman and
               Robert M. Hierons},
  title     = {Editorial: Software testing in the United Kingdom},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {14},
  number    = {3},
  pages     = {165--166},
  year      = {2004},
  url       = {https://doi.org/10.1002/stvr.302},
  doi       = {10.1002/stvr.302},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/ClarkHH04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Hierons04,
  author    = {Robert M. Hierons},
  title     = {Testing from a Nondeterministic Finite State Machine Using Adaptive
               State Counting},
  journal   = {{IEEE} Trans. Computers},
  volume    = {53},
  number    = {10},
  pages     = {1330--1342},
  year      = {2004},
  url       = {https://doi.org/10.1109/TC.2004.85},
  doi       = {10.1109/TC.2004.85},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/Hierons04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HieronsH04,
  author    = {Robert M. Hierons and
               Mark Harman},
  title     = {Testing conformance of a deterministic implementation against a non-deterministic
               stream X-machine},
  journal   = {Theor. Comput. Sci.},
  volume    = {323},
  number    = {1-3},
  pages     = {191--233},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.tcs.2004.04.002},
  doi       = {10.1016/j.tcs.2004.04.002},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/HieronsH04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HarmanHHWSBR04,
  author    = {Mark Harman and
               Lin Hu and
               Robert M. Hierons and
               Joachim Wegener and
               Harmen Sthamer and
               Andr{\'{e}} Baresel and
               Marc Roper},
  title     = {Testability Transformation},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {30},
  number    = {1},
  pages     = {3--16},
  year      = {2004},
  url       = {https://doi.org/10.1109/TSE.2004.1265732},
  doi       = {10.1109/TSE.2004.1265732},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/HarmanHHWSBR04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ChenHU04,
  author    = {Jessica Chen and
               Robert M. Hierons and
               Hasan Ural},
  title     = {Conditions for Resolving Observability Problems in Distributed Testing},
  booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain,
               September 27-30, 2004, Proceedings},
  pages     = {229--242},
  year      = {2004},
  crossref  = {DBLP:conf/forte/2004},
  url       = {https://doi.org/10.1007/978-3-540-30232-2\_15},
  doi       = {10.1007/978-3-540-30232-2\_15},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/ChenHU04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/AdamopoulosHH04,
  author    = {Konstantinos Adamopoulos and
               Mark Harman and
               Robert M. Hierons},
  title     = {How to Overcome the Equivalent Mutant Problem and Achieve Tailored
               Selective Mutation Using Co-evolution},
  booktitle = {Genetic and Evolutionary Computation - {GECCO} 2004, Genetic and Evolutionary
               Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings,
               Part {II}},
  pages     = {1338--1349},
  year      = {2004},
  crossref  = {DBLP:conf/gecco/2004-2},
  url       = {https://doi.org/10.1007/978-3-540-24855-2\_155},
  doi       = {10.1007/978-3-540-24855-2\_155},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gecco/AdamopoulosHH04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/DerderianHHG04,
  author    = {Karnig Derderian and
               Robert M. Hierons and
               Mark Harman and
               Qiang Guo},
  title     = {Input Sequence Generation for Testing of Communicating Finite State
               Machines (CFSMs)},
  booktitle = {Genetic and Evolutionary Computation - {GECCO} 2004, Genetic and Evolutionary
               Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings,
               Part {II}},
  pages     = {1429--1430},
  year      = {2004},
  crossref  = {DBLP:conf/gecco/2004-2},
  url       = {https://doi.org/10.1007/978-3-540-24855-2\_164},
  doi       = {10.1007/978-3-540-24855-2\_164},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gecco/DerderianHHG04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/FatiregunHH04,
  author    = {Deji Fatiregun and
               Mark Harman and
               Robert M. Hierons},
  title     = {Evolving Transformation Sequences using Genetic Algorithms},
  booktitle = {4th {IEEE} International Workshop on Source Code Analysis and Manipulation
               {(SCAM} 2004), 15-16 September 2004, Chicago, IL, {USA}},
  pages     = {66--75},
  year      = {2004},
  crossref  = {DBLP:conf/scam/2004},
  url       = {https://doi.org/10.1109/SCAM.2004.11},
  doi       = {10.1109/SCAM.2004.11},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/scam/FatiregunHH04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/HarmanBSH04,
  author    = {Mark Harman and
               David W. Binkley and
               Ranjit Singh and
               Robert M. Hierons},
  title     = {Amorphous Procedure Extraction},
  booktitle = {4th {IEEE} International Workshop on Source Code Analysis and Manipulation
               {(SCAM} 2004), 15-16 September 2004, Chicago, IL, {USA}},
  pages     = {85--94},
  year      = {2004},
  crossref  = {DBLP:conf/scam/2004},
  url       = {https://doi.org/10.1109/SCAM.2004.4},
  doi       = {10.1109/SCAM.2004.4},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/scam/HarmanBSH04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/HuHHB04,
  author    = {Lin Hu and
               Mark Harman and
               Robert M. Hierons and
               David W. Binkley},
  title     = {Loop Squashing Transformations for Amorphous Slicing},
  booktitle = {11th Working Conference on Reverse Engineering, {WCRE} 2004, Delft,
               The Netherlands, November 8-12, 2004},
  pages     = {152--160},
  year      = {2004},
  crossref  = {DBLP:conf/wcre/2004},
  url       = {https://doi.org/10.1109/WCRE.2004.26},
  doi       = {10.1109/WCRE.2004.26},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/HuHHB04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2004,
  editor    = {Roland Groz and
               Robert M. Hierons},
  title     = {Testing of Communicating Systems, 16th {IFIP} International Conerence,
               TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2978},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b95741},
  doi       = {10.1007/b95741},
  isbn      = {3-540-21219-1},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Hierons03,
  author    = {Robert M. Hierons},
  title     = {Generating Candidates When Testing a Deterministic Implementation
               against a Non-deterministic Finite-state Machine},
  journal   = {Comput. J.},
  volume    = {46},
  number    = {3},
  pages     = {307--318},
  year      = {2003},
  url       = {https://doi.org/10.1093/comjnl/46.3.307},
  doi       = {10.1093/comjnl/46.3.307},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/Hierons03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ClarkeDHHJLMMRRS03,
  author    = {John A. Clark and
               Jos{\'{e}} Javier Dolado and
               Mark Harman and
               Robert M. Hierons and
               Bryan F. Jones and
               M. Lumkin and
               Brian S. Mitchell and
               Spiros Mancoridis and
               K. Rees and
               Marc Roper and
               Martin J. Shepperd},
  title     = {Formulating software engineering as a search problem},
  journal   = {{IEE} Proceedings - Software},
  volume    = {150},
  number    = {3},
  pages     = {161--175},
  year      = {2003},
  url       = {https://doi.org/10.1049/ip-sen:20030559},
  doi       = {10.1049/ip-sen:20030559},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/iee/ClarkeDHHJLMMRRS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/HieronsU03,
  author    = {Robert M. Hierons and
               Hasan Ural},
  title     = {{UIO} sequence based checking sequences for distributed test architectures},
  journal   = {Information {\&} Software Technology},
  volume    = {45},
  number    = {12},
  pages     = {793--803},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0950-5849(03)00060-0},
  doi       = {10.1016/S0950-5849(03)00060-0},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/HieronsU03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons03,
  author    = {Robert M. Hierons},
  title     = {Editorial: Testing in the large through the small?},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {13},
  number    = {3},
  pages     = {139--140},
  year      = {2003},
  url       = {https://doi.org/10.1002/stvr.277},
  doi       = {10.1002/stvr.277},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons03a,
  author    = {Robert M. Hierons},
  title     = {Book Reviews},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {13},
  number    = {3},
  pages     = {197--198},
  year      = {2003},
  url       = {https://doi.org/10.1002/stvr.273},
  doi       = {10.1002/stvr.273},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons03a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LaurenceDHHH03,
  author    = {Michael R. Laurence and
               Sebastian Danicic and
               Mark Harman and
               Robert M. Hierons and
               John Howroyd},
  title     = {Equivalence of conservative, free, linear program schemas is decidable},
  journal   = {Theor. Comput. Sci.},
  volume    = {290},
  number    = {1},
  pages     = {831--862},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0304-3975(02)00374-2},
  doi       = {10.1016/S0304-3975(02)00374-2},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/LaurenceDHHH03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/LuciaHHK03,
  author    = {Andrea De Lucia and
               Mark Harman and
               Robert M. Hierons and
               Jens Krinke},
  title     = {Unions of Slices Are Not Slices},
  booktitle = {7th European Conference on Software Maintenance and Reengineering
               {(CSMR} 2003), 26-28 March 2003, Benevento, Italy, Proceedings},
  pages     = {363--367},
  year      = {2003},
  crossref  = {DBLP:conf/csmr/2003},
  url       = {https://doi.org/10.1109/CSMR.2003.1192445},
  doi       = {10.1109/CSMR.2003.1192445},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csmr/LuciaHHK03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/GuoHHD03,
  author    = {Qiang Guo and
               Robert M. Hierons and
               Mark Harman and
               Karnig Derderian},
  title     = {Computing Unique Input/Output Sequences Using Genetic Algorithms},
  booktitle = {Formal Approaches to Software Testing, Third International Workshop
               on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
               Quebec, Canada, October 6th, 2003},
  pages     = {164--177},
  year      = {2003},
  crossref  = {DBLP:conf/fates/2003},
  url       = {https://doi.org/10.1007/978-3-540-24617-6\_12},
  doi       = {10.1007/978-3-540-24617-6\_12},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fates/GuoHHD03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HieronsU03,
  author    = {Robert M. Hierons and
               Hasan Ural},
  title     = {Concerning the Ordering of Adaptive Test Sequences},
  booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
               September 29 - October 2, 2003, Proceedings},
  pages     = {289--302},
  year      = {2003},
  crossref  = {DBLP:conf/forte/2003},
  url       = {https://doi.org/10.1007/978-3-540-39979-7\_19},
  doi       = {10.1007/978-3-540-39979-7\_19},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/HieronsU03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/FatiregunHH03,
  author    = {Deji Fatiregun and
               Mark Harman and
               Robert M. Hierons},
  title     = {Search Based Transformations},
  booktitle = {Genetic and Evolutionary Computation - {GECCO} 2003, Genetic and Evolutionary
               Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings,
               Part {II}},
  pages     = {2511--2512},
  year      = {2003},
  crossref  = {DBLP:conf/gecco/2003-2},
  url       = {https://doi.org/10.1007/3-540-45110-2\_154},
  doi       = {10.1007/3-540-45110-2\_154},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gecco/FatiregunHH03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/MahdaviHH03,
  author    = {Kiarash Mahdavi and
               Mark Harman and
               Robert M. Hierons},
  title     = {Finding Building Blocks for Software Clustering},
  booktitle = {Genetic and Evolutionary Computation - {GECCO} 2003, Genetic and Evolutionary
               Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings,
               Part {II}},
  pages     = {2513--2514},
  year      = {2003},
  crossref  = {DBLP:conf/gecco/2003-2},
  url       = {https://doi.org/10.1007/3-540-45110-2\_155},
  doi       = {10.1007/3-540-45110-2\_155},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gecco/MahdaviHH03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/MahdaviHH03,
  author    = {Kiarash Mahdavi and
               Mark Harman and
               Robert M. Hierons},
  title     = {A Multiple Hill Climbing Approach to Software Module Clustering},
  booktitle = {19th International Conference on Software Maintenance {(ICSM} 2003),
               The Architecture of Existing Systems, 22-26 September 2003, Amsterdam,
               The Netherlands},
  pages     = {315--324},
  year      = {2003},
  crossref  = {DBLP:conf/icsm/2003},
  url       = {https://doi.org/10.1109/ICSM.2003.1235437},
  doi       = {10.1109/ICSM.2003.1235437},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/MahdaviHH03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HieronsHS03,
  author    = {Robert M. Hierons and
               Mark Harman and
               Harbhajan Singh},
  title     = {Automatically Generating Information from a {Z} Specification to Support
               the Classification Tree Method},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  pages     = {388--407},
  year      = {2003},
  crossref  = {DBLP:conf/zum/2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_23},
  doi       = {10.1007/3-540-44880-2\_23},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zum/HieronsHS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HieronsHFOD02,
  author    = {Robert M. Hierons and
               Mark Harman and
               Chris Fox and
               Lahcen Ouarbya and
               Mohammed Daoudi},
  title     = {Conditioned slicing supports partition testing},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {12},
  number    = {1},
  pages     = {23--28},
  year      = {2002},
  url       = {https://doi.org/10.1002/stvr.232},
  doi       = {10.1002/stvr.232},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/HieronsHFOD02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons02,
  author    = {Robert M. Hierons},
  title     = {Editorial: Formal methods and testing},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {12},
  number    = {2},
  pages     = {69--70},
  year      = {2002},
  url       = {https://doi.org/10.1002/stvr.249},
  doi       = {10.1002/stvr.249},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/HieronsU02,
  author    = {Robert M. Hierons and
               Hasan Ural},
  title     = {Reduced Length Checking Sequences},
  journal   = {{IEEE} Trans. Computers},
  volume    = {51},
  number    = {9},
  pages     = {1111--1117},
  year      = {2002},
  url       = {https://doi.org/10.1109/TC.2002.1032630},
  doi       = {10.1109/TC.2002.1032630},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/HieronsU02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/Hierons02,
  author    = {Robert M. Hierons},
  title     = {Comparing test sets and criteria in the presence of test hypotheses
               and fault domains},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {11},
  number    = {4},
  pages     = {427--448},
  year      = {2002},
  url       = {https://doi.org/10.1145/606612.606615},
  doi       = {10.1145/606612.606615},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tosem/Hierons02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BowenBCHHK02,
  author    = {Jonathan P. Bowen and
               Kirill Bogdanov and
               John A. Clark and
               Mark Harman and
               Robert M. Hierons and
               Paul J. Krause},
  title     = {{FORTEST:} Formal Methods and Testing},
  booktitle = {26th International Computer Software and Applications Conference {(COMPSAC}
               2002), Prolonging Software Life: Development and Redevelopment, 26-29
               August 2002, Oxford, England, Proceedings},
  pages     = {91--104},
  year      = {2002},
  crossref  = {DBLP:conf/compsac/2002},
  url       = {https://doi.org/10.1109/CMPSAC.2002.1044538},
  doi       = {10.1109/CMPSAC.2002.1044538},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/BowenBCHHK02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HieronsKU02,
  author    = {Robert M. Hierons and
               T.{-}H. Kim and
               Hasan Ural},
  title     = {Expanding an Extended Finite State Machine to aid Testability},
  booktitle = {26th International Computer Software and Applications Conference {(COMPSAC}
               2002), Prolonging Software Life: Development and Redevelopment, 26-29
               August 2002, Oxford, England, Proceedings},
  pages     = {334--342},
  year      = {2002},
  crossref  = {DBLP:conf/compsac/2002},
  url       = {https://doi.org/10.1109/CMPSAC.2002.1045023},
  doi       = {10.1109/CMPSAC.2002.1045023},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/HieronsKU02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/HarmanHP02,
  author    = {Mark Harman and
               Robert M. Hierons and
               Mark Proctor},
  title     = {A New Representation And Crossover Operator For Search-based Optimization
               Of Software Modularization},
  booktitle = {{GECCO} 2002: Proceedings of the Genetic and Evolutionary Computation
               Conference, New York, USA, 9-13 July 2002},
  pages     = {1351--1358},
  year      = {2002},
  crossref  = {DBLP:conf/gecco/2002},
  timestamp = {Mon, 13 Nov 2017 18:15:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gecco/HarmanHP02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/HarmanHHBS02,
  author    = {Mark Harman and
               Lin Hu and
               Robert M. Hierons and
               Andr{\'{e}} Baresel and
               Harmen Sthamer},
  title     = {Improving Evolutionary Testing By Flag Removal},
  booktitle = {{GECCO} 2002: Proceedings of the Genetic and Evolutionary Computation
               Conference, New York, USA, 9-13 July 2002},
  pages     = {1359--1366},
  year      = {2002},
  crossref  = {DBLP:conf/gecco/2002},
  timestamp = {Mon, 13 Nov 2017 18:15:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gecco/HarmanHHBS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/HarmanHHMZDOW02,
  author    = {Mark Harman and
               Lin Hu and
               Robert M. Hierons and
               Malcolm Munro and
               Xingyuan Zhang and
               Jos{\'{e}} Javier Dolado and
               Mari Carmen Otero and
               Joachim Wegener},
  title     = {A Post-Placement Side-Effect Removal Algorithm},
  booktitle = {18th International Conference on Software Maintenance {(ICSM} 2002),
               Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal,
               Quebec, Canada},
  pages     = {2--11},
  year      = {2002},
  crossref  = {DBLP:conf/icsm/2002},
  url       = {https://doi.org/10.1109/ICSM.2002.1167742},
  doi       = {10.1109/ICSM.2002.1167742},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/HarmanHHMZDOW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/HarmanHHFDWSB02,
  author    = {Mark Harman and
               Lin Hu and
               Robert M. Hierons and
               Chris Fox and
               Sebastian Danicic and
               Joachim Wegener and
               Harmen Sthamer and
               Andr{\'{e}} Baresel},
  title     = {Evolutionary Testing Supported by Slicing and Transformation},
  booktitle = {18th International Conference on Software Maintenance {(ICSM} 2002),
               Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal,
               Quebec, Canada},
  pages     = {285},
  year      = {2002},
  crossref  = {DBLP:conf/icsm/2002},
  url       = {https://doi.org/10.1109/ICSM.2002.1167781},
  doi       = {10.1109/ICSM.2002.1167781},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/HarmanHHFDWSB02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/HarmanFHHDW02,
  author    = {Mark Harman and
               Chris Fox and
               Robert M. Hierons and
               Lin Hu and
               Sebastian Danicic and
               Joachim Wegener},
  title     = {{VADA:} {A} Transformation-Based System for Variable Dependence Analysis},
  booktitle = {2nd {IEEE} International Workshop on Source Code Analysis and Manipulation
               {(SCAM} 2002), 1 October 2002, Montreal, Canada},
  pages     = {55--64},
  year      = {2002},
  crossref  = {DBLP:conf/scam/2002},
  url       = {https://doi.org/10.1109/SCAM.2002.1134105},
  doi       = {10.1109/SCAM.2002.1134105},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/scam/HarmanFHHDW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/HarmanGHB02,
  author    = {Mark Harman and
               Nicolas Gold and
               Robert M. Hierons and
               David W. Binkley},
  title     = {Code Extraction Algorithms which Unify Slicing and Concept Assignment},
  booktitle = {9th Working Conference on Reverse Engineering {(WCRE} 2002), 28 October
               - 1 November 2002, Richmond, VA, {USA}},
  pages     = {11--21},
  year      = {2002},
  crossref  = {DBLP:conf/wcre/2002},
  url       = {https://doi.org/10.1109/WCRE.2002.1173060},
  doi       = {10.1109/WCRE.2002.1173060},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/HarmanGHB02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/HieronsSS01,
  author    = {Robert M. Hierons and
               Sadegh Sadeghipour and
               Harbhajan Singh},
  title     = {Testing a system specified using Statecharts and {Z}},
  journal   = {Information {\&} Software Technology},
  volume    = {43},
  number    = {2},
  pages     = {137--149},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0950-5849(00)00145-2},
  doi       = {10.1016/S0950-5849(00)00145-2},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/HieronsSS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Hierons01,
  author    = {Robert M. Hierons},
  title     = {Testing a distributed system: generating minimal synchronised test
               sequences that detect output-shifting faults},
  journal   = {Information {\&} Software Technology},
  volume    = {43},
  number    = {9},
  pages     = {551--560},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0950-5849(01)00169-0},
  doi       = {10.1016/S0950-5849(01)00169-0},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/Hierons01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Hierons01,
  author    = {Robert M. Hierons},
  title     = {Checking states and transitions of a set of communicating finite state
               machines},
  journal   = {Microprocessors and Microsystems - Embedded Hardware Design},
  volume    = {24},
  number    = {9},
  pages     = {443--452},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0141-9331(00)00097-1},
  doi       = {10.1016/S0141-9331(00)00097-1},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mam/Hierons01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sofo/Hierons01,
  author    = {Robert M. Hierons},
  title     = {Real-Time Systems and Software},
  journal   = {Software Focus},
  volume    = {2},
  number    = {2},
  pages     = {81},
  year      = {2001},
  url       = {https://doi.org/10.1002/swf.31},
  doi       = {10.1002/swf.31},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sofo/Hierons01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sofo/HarmanH01,
  author    = {Mark Harman and
               Robert M. Hierons},
  title     = {An overview of program slicing},
  journal   = {Software Focus},
  volume    = {2},
  number    = {3},
  pages     = {85--92},
  year      = {2001},
  url       = {https://doi.org/10.1002/swf.41},
  doi       = {10.1002/swf.41},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sofo/HarmanH01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons01,
  author    = {Robert M. Hierons},
  title     = {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},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {11},
  number    = {3},
  pages     = {197--198},
  year      = {2001},
  url       = {https://doi.org/10.1002/stvr.229},
  doi       = {10.1002/stvr.229},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/HarmanHFDH01,
  author    = {Mark Harman and
               Robert M. Hierons and
               Chris Fox and
               Sebastian Danicic and
               John Howroyd},
  title     = {Pre/Post Conditioned Slicing},
  booktitle = {2001 International Conference on Software Maintenance, {ICSM} 2001,
               Florence, Italy, November 6-10, 2001},
  pages     = {138--147},
  year      = {2001},
  crossref  = {DBLP:conf/icsm/2001},
  url       = {https://doi.org/10.1109/ICSM.2001.972724},
  doi       = {10.1109/ICSM.2001.972724},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/HarmanHFDH01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/FoxDHH01,
  author    = {Chris Fox and
               Sebastian Danicic and
               Mark Harman and
               Robert M. Hierons},
  title     = {Backward Conditioning: {A} New Program Specialisation Technique and
               Its Application to Program Comprehension},
  booktitle = {9th International Workshop on Program Comprehension {(IWPC} 2001),
               12-13 May 2001, Toronto, Canada},
  pages     = {89--97},
  year      = {2001},
  crossref  = {DBLP:conf/iwpc/2001},
  url       = {https://doi.org/10.1109/WPC.2001.921717},
  doi       = {10.1109/WPC.2001.921717},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwpc/FoxDHH01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/HarmanHDHLF01,
  author    = {Mark Harman and
               Robert M. Hierons and
               Sebastian Danicic and
               John Howroyd and
               Michael R. Laurence and
               Chris Fox},
  title     = {Node Coarsening Calculi for Program Slicing},
  booktitle = {Proceedings of the Eighth Working Conference on Reverse Engineering,
               WCRE'01, Stuttgart, Germany, October 2-5, 2001},
  pages     = {25--34},
  year      = {2001},
  crossref  = {DBLP:conf/wcre/2001},
  url       = {https://doi.org/10.1109/WCRE.2001.957807},
  doi       = {10.1109/WCRE.2001.957807},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/HarmanHDHLF01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HieronsH00,
  author    = {Robert M. Hierons and
               Mark Harman},
  title     = {Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine},
  journal   = {Formal Asp. Comput.},
  volume    = {12},
  number    = {6},
  pages     = {423--442},
  year      = {2000},
  url       = {https://doi.org/10.1007/s001650070003},
  doi       = {10.1007/s001650070003},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/HieronsH00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons00,
  author    = {Robert M. Hierons},
  title     = {Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir
               and Amrit L. Goel, Springer-Verlag, 2000 (Book Review)},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {10},
  number    = {3},
  pages     = {196},
  year      = {2000},
  url       = {https://doi.org/10.1002/1099-1689(200009)10:3\&\#60;196::AID-STVR208\&\#62;3.0.CO;2-B},
  doi       = {10.1002/1099-1689(200009)10:3\&\#60;196::AID-STVR208\&\#62;3.0.CO;2-B},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HieronsD00,
  author    = {Robert M. Hierons and
               John Derrick},
  title     = {Editorial: special issue on specification-based testing},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {10},
  number    = {4},
  pages     = {201--202},
  year      = {2000},
  url       = {https://doi.org/10.1002/1099-1689(200012)10:4\&\#60;201::AID-STVR214\&\#62;3.0.CO;2-Z},
  doi       = {10.1002/1099-1689(200012)10:4\&\#60;201::AID-STVR214\&\#62;3.0.CO;2-Z},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/HieronsD00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/FoxHHD00,
  author    = {Chris Fox and
               Mark Harman and
               Robert M. Hierons and
               Sebastian Danicic},
  title     = {ConSIT: {A} Conditioned Program Slicer},
  booktitle = {2000 International Conference on Software Maintenance, {ICSM} 2000,
               San Jose, California, USA, October 11-14, 2000},
  pages     = {216},
  year      = {2000},
  crossref  = {DBLP:conf/icsm/2000},
  url       = {https://doi.org/10.1109/ICSM.2000.883049},
  doi       = {10.1109/ICSM.2000.883049},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/FoxHHD00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/Hierons99,
  author    = {Robert M. Hierons},
  title     = {Minimizing the Cost of Fault Location when Testing from a Finite State
               Machine},
  journal   = {Computer Communications},
  volume    = {22},
  number    = {2},
  pages     = {120--127},
  year      = {1999},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/comcom/Hierons99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/Hierons99a,
  author    = {Robert M. Hierons},
  title     = {Testing of Communicating Systems, Vol. 10 by Myungchul Kim, Sugwon
               Kang, Keesoo Hong (Eds.)},
  journal   = {Computer Communications},
  volume    = {22},
  number    = {17},
  pages     = {1619--1620},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0140-3664(99)00135-8},
  doi       = {10.1016/S0140-3664(99)00135-8},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/comcom/Hierons99a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons99,
  author    = {Robert M. Hierons},
  title     = {Correct Systems: Building a Business Process Solution, by Mike Holcombe
               and Florentin Ipate, Springer-Verlag, 1998 (Book Review)},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {9},
  number    = {1},
  pages     = {76--77},
  year      = {1999},
  url       = {https://doi.org/10.1002/(SICI)1099-1689(199903)9:1\&\#60;76::AID-STVR175\&\#62;3.0.CO;2-P},
  doi       = {10.1002/(SICI)1099-1689(199903)9:1\&\#60;76::AID-STVR175\&\#62;3.0.CO;2-P},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons99a,
  author    = {Robert M. Hierons},
  title     = {Editorial: What does testing tell us?},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {9},
  number    = {3},
  pages     = {143--144},
  year      = {1999},
  timestamp = {Tue, 27 Jul 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons99a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons99b,
  author    = {Robert M. Hierons},
  title     = {Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review)},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {9},
  number    = {3},
  pages     = {191--193},
  year      = {1999},
  timestamp = {Tue, 27 Jul 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons99b},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HieronsHD99,
  author    = {Robert M. Hierons and
               Mark Harman and
               Sebastian Danicic},
  title     = {Using Program Slicing to Assist in the Detection of Equivalent Mutants},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {9},
  number    = {4},
  pages     = {233--262},
  year      = {1999},
  url       = {https://doi.org/10.1002/(SICI)1099-1689(199912)9:4\&\#60;233::AID-STVR191\&\#62;3.0.CO;2-3},
  doi       = {10.1002/(SICI)1099-1689(199912)9:4\&\#60;233::AID-STVR191\&\#62;3.0.CO;2-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/HieronsHD99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/HarmanFHBD99,
  author    = {Mark Harman and
               Chris Fox and
               Robert M. Hierons and
               David W. Binkley and
               Sebastian Danicic},
  title     = {Program Simplification as a Means of Approximating Undecidable Propositions},
  booktitle = {7th International Workshop on Program Comprehension {(IWPC} '99),
               May 5-7, 1999 - Pittsburgh, PA, {USA}},
  pages     = {208--217},
  year      = {1999},
  crossref  = {DBLP:conf/iwpc/1999},
  url       = {https://doi.org/10.1109/WPC.1999.777760},
  doi       = {10.1109/WPC.1999.777760},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwpc/HarmanFHBD99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Hierons98,
  author    = {Robert M. Hierons},
  title     = {Adaptive Testing of a Deterministic Implementation Against a Nondeterministic
               Finite State Machine},
  journal   = {Comput. J.},
  volume    = {41},
  number    = {5},
  pages     = {349--355},
  year      = {1998},
  url       = {https://doi.org/10.1093/comjnl/41.5.349},
  doi       = {10.1093/comjnl/41.5.349},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/Hierons98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cpc/EdwardsHJ98,
  author    = {Hugh Edwards and
               Robert M. Hierons and
               Bill Jackson},
  title     = {The Zero-Free Intervals for Characteristic Polynomials of Matroids},
  journal   = {Combinatorics, Probability {\&} Computing},
  volume    = {7},
  number    = {2},
  pages     = {153--165},
  year      = {1998},
  url       = {http://journals.cambridge.org/action/displayAbstract?aid=46605},
  timestamp = {Wed, 05 Jan 2011 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cpc/EdwardsHJ98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Hierons97,
  author    = {Robert M. Hierons},
  title     = {Testing from a Finite-State Machine: Extending Invertibility to Sequences},
  journal   = {Comput. J.},
  volume    = {40},
  number    = {4},
  pages     = {220--230},
  year      = {1997},
  url       = {https://doi.org/10.1093/comjnl/40.4.220},
  doi       = {10.1093/comjnl/40.4.220},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/Hierons97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Hierons97,
  author    = {Robert M. Hierons},
  title     = {testing from semi-independent communicating finite state machines
               with a slow environment},
  journal   = {Software Engineering - {IEE} Proceedings},
  volume    = {144},
  number    = {5-6},
  pages     = {291--295},
  year      = {1997},
  url       = {https://doi.org/10.1049/ip-sen:19971789},
  doi       = {10.1049/ip-sen:19971789},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iee/Hierons97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons97,
  author    = {Robert M. Hierons},
  title     = {Testing from a {Z} Specification},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {7},
  number    = {1},
  pages     = {19--33},
  year      = {1997},
  url       = {https://doi.org/10.1002/(SICI)1099-1689(199703)7:1\&\#60;19::AID-STVR124\&\#62;3.0.CO;2-N},
  doi       = {10.1002/(SICI)1099-1689(199703)7:1\&\#60;19::AID-STVR124\&\#62;3.0.CO;2-N},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/Hierons97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HieronsW97,
  author    = {Robert M. Hierons and
               Michael P. Wiper},
  title     = {Estimation of Failure Rate using Random and Partition Testing},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {7},
  number    = {3},
  pages     = {153--164},
  year      = {1997},
  url       = {https://doi.org/10.1002/(SICI)1099-1689(199709)7:3\&\#60;153::AID-STVR141\&\#62;3.0.CO;2-4},
  doi       = {10.1002/(SICI)1099-1689(199709)7:3\&\#60;153::AID-STVR141\&\#62;3.0.CO;2-4},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/HieronsW97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Hierons96,
  author    = {Robert M. Hierons},
  title     = {Extending Test Sequence Overlap by Invertibility},
  journal   = {Comput. J.},
  volume    = {39},
  number    = {4},
  pages     = {325--330},
  year      = {1996},
  url       = {https://doi.org/10.1093/comjnl/39.4.325},
  doi       = {10.1093/comjnl/39.4.325},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/Hierons96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Hierons92,
  author    = {Robert M. Hierons},
  title     = {Using formal specifications to enhance the software testing process},
  school    = {Brunel University London, {UK}},
  year      = {1992},
  url       = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315529},
  timestamp = {Thu, 06 Oct 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/ethos/Hierons92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2019,
  editor    = {Christophe Gaston and
               Nikolai Kosmatov and
               Pascale Le Gall},
  title     = {Testing Software and Systems - 31st {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2019, Paris, France, October 15-17, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11812},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31280-0},
  doi       = {10.1007/978-3-030-31280-0},
  isbn      = {978-3-030-31279-4},
  timestamp = {Tue, 08 Oct 2019 14:08:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/quatic/2019,
  editor    = {Mario Piattini and
               Paulo Rupino da Cunha and
               Ignacio Garc{\'{\i}}a Rodr{\'{\i}}guez de Guzm{\'{a}}n and
               Ricardo P{\'{e}}rez{-}Castillo},
  title     = {Quality of Information and Communications Technology - 12th International
               Conference, {QUATIC} 2019, Ciudad Real, Spain, September 11-13, 2019,
               Proceedings},
  series    = {Communications in Computer and Information Science},
  volume    = {1010},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-29238-6},
  doi       = {10.1007/978-3-030-29238-6},
  isbn      = {978-3-030-29237-9},
  timestamp = {Wed, 18 Sep 2019 13:59:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/quatic/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2019,
  editor    = {Peter Csaba {\"{O}}lveczky and
               Gwen Sala{\"{u}}n},
  title     = {Software Engineering and Formal Methods - 17th International Conference,
               {SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11724},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-30446-1},
  doi       = {10.1007/978-3-030-30446-1},
  isbn      = {978-3-030-30445-4},
  timestamp = {Mon, 09 Sep 2019 15:50:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2019,
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {Tests and Proofs - 13th International Conference, {TAP} 2019, Held
               as Part of the Third World Congress on Formal Methods 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5},
  doi       = {10.1007/978-3-030-31157-5},
  isbn      = {978-3-030-31156-8},
  timestamp = {Mon, 23 Sep 2019 14:04:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2018iwbose,
  title     = {2018 International Workshop on Blockchain Oriented Software Engineering,
               IWBOSE@SANER 2018, Campobasso, Italy, March 20, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8323138/proceeding},
  isbn      = {978-1-5386-5986-1},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/2018iwbose},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2017,
  editor    = {Nina Yevtushenko and
               Ana Rosa Cavalli and
               H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
  title     = {Testing Software and Systems - 29th {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2017, St. Petersburg, Russia, October 9-11, 2017,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10533},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-67549-7},
  doi       = {10.1007/978-3-319-67549-7},
  isbn      = {978-3-319-67548-0},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/re/2017w,
  title     = {{IEEE} 25th International Requirements Engineering Conference Workshops,
               {RE} 2017 Workshops, Lisbon, Portugal, September 4-8, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8053951/proceeding},
  isbn      = {978-1-5386-3488-2},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/re/2017w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2017,
  editor    = {Bernhard Steffen and
               Christel Baier and
               Mark van den Brand and
               Johann Eder and
               Mike Hinchey and
               Tiziana Margaria},
  title     = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
               Conference on Current Trends in Theory and Practice of Computer Science,
               Limerick, Ireland, January 16-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10139},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-51963-0},
  doi       = {10.1007/978-3-319-51963-0},
  isbn      = {978-3-319-51962-3},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2016,
  editor    = {Martin Grohe and
               Eric Koskinen and
               Natarajan Shankar},
  title     = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2933575},
  doi       = {10.1145/2933575},
  isbn      = {978-1-4503-4391-6},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2016,
  editor    = {Franz Wotawa and
               Mihai Nica and
               Natalia Kushik},
  title     = {Testing Software and Systems - 28th {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2016, Graz, Austria, October 17-19, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9976},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47443-4},
  doi       = {10.1007/978-3-319-47443-4},
  isbn      = {978-3-319-47442-7},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tase/2016,
  title     = {10th International Symposium on Theoretical Aspects of Software Engineering,
               {TASE} 2016, Shanghai, China, July 17-19, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7532274/proceeding},
  isbn      = {978-1-5090-1764-5},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tase/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/euromicro/2015,
  title     = {41st Euromicro Conference on Software Engineering and Advanced Applications,
               {EUROMICRO-SEAA} 2015, Madeira, Portugal, August 26-28, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7302131/proceeding},
  isbn      = {978-1-4673-7585-6},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/euromicro/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscis/2015,
  editor    = {Omer H. Abdelrahman and
               Erol Gelenbe and
               G{\"{o}}k{\c{c}}e G{\"{o}}rbil and
               Ricardo Lent},
  title     = {Information Sciences and Systems 2015 - 30th International Symposium
               on Computer and Information Sciences, {ISCIS} 2015, London, UK, 21-24
               September 2015},
  series    = {Lecture Notes in Electrical Engineering},
  volume    = {363},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-22635-4},
  doi       = {10.1007/978-3-319-22635-4},
  isbn      = {978-3-319-22634-7},
  timestamp = {Sat, 16 Sep 2017 12:11:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscis/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2014,
  editor    = {Pankaj Jalote and
               Lionel C. Briand and
               Andr{\'{e}} van der Hoek},
  title     = {36th International Conference on Software Engineering, {ICSE} '14,
               Hyderabad, India - May 31 - June 07, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2568225},
  isbn      = {978-1-4503-2756-5},
  timestamp = {Sun, 18 May 2014 16:02:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2014,
  editor    = {Julia M. Badger and
               Kristin Yvonne Rozier},
  title     = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
               TX, USA, April 29 - May 1, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8430},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06200-6},
  doi       = {10.1007/978-3-319-06200-6},
  isbn      = {978-3-319-06199-3},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2013,
  editor    = {Vittorio Cortellessa and
               D{\'{a}}niel Varr{\'{o}}},
  title     = {Fundamental Approaches to Software Engineering - 16th International
               Conference, {FASE} 2013, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
               16-24, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7793},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-37057-1},
  doi       = {10.1007/978-3-642-37057-1},
  isbn      = {978-3-642-37056-4},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2013,
  editor    = {Dirk Beyer and
               Michele Boreale},
  title     = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
               International Conference, {FMOODS/FORTE} 2013, Held as Part of the
               8th International Federated Conference on Distributed Computing Techniques,
               DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7892},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38592-6},
  doi       = {10.1007/978-3-642-38592-6},
  isbn      = {978-3-642-38591-9},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2013w,
  title     = {Sixth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
               March 18-22, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6570842/proceeding},
  isbn      = {978-1-4799-1324-4},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2013w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2013,
  editor    = {H{\"{u}}sn{\"{u}} Yenig{\"{u}}n and
               Cemal Yilmaz and
               Andreas Ulrich},
  title     = {Testing Software and Systems - 25th {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2013, Istanbul, Turkey, November 13-15, 2013,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8254},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41707-8},
  doi       = {10.1007/978-3-642-41707-8},
  isbn      = {978-3-642-41706-1},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2012w,
  editor    = {Xiaoying Bai and
               Fevzi Belli and
               Elisa Bertino and
               Carl K. Chang and
               Atilla El{\c{c}}i and
               Cristina Cerschi Seceleanu and
               Haihua Xie and
               Mohammad Zulkernine},
  title     = {36th Annual {IEEE} Computer Software and Applications Conference Workshops,
               {COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6341241/proceeding},
  isbn      = {978-1-4673-2714-5},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/2012w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2012,
  editor    = {Xiaoying Bai and
               Fevzi Belli and
               Elisa Bertino and
               Carl K. Chang and
               Atilla El{\c{c}}i and
               Cristina Cerschi Seceleanu and
               Haihua Xie and
               Mohammad Zulkernine},
  title     = {36th Annual {IEEE} Computer Software and Applications Conference,
               {COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6340121/proceeding},
  isbn      = {978-1-4673-1990-4},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2012,
  editor    = {Dimitra Giannakopoulou and
               Dominique M{\'{e}}ry},
  title     = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
               August 27-31, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7436},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32759-9},
  doi       = {10.1007/978-3-642-32759-9},
  isbn      = {978-3-642-32758-2},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2012,
  editor    = {Giuliano Antoniol and
               Antonia Bertolino and
               Yvan Labiche},
  title     = {Fifth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6200016/proceeding},
  isbn      = {978-1-4577-1906-6},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecbs/2011,
  title     = {18th {IEEE} International Conference and Workshops on the Engineering
               of Computer-Based Systems, {ECBS} 2011, Las Vegas, NV, USA, 27-29
               April, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5934782/proceeding},
  isbn      = {978-1-4577-0065-1},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecbs/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2011,
  title     = {Fourth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5769511/proceeding},
  isbn      = {978-0-7695-4342-0},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ieeealife/2011,
  title     = {2011 {IEEE} Symposium on Artificial Life, {ALIFE} 2011, Paris, France,
               April 13-15, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5937319/proceeding},
  isbn      = {978-1-61284-063-5},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ieeealife/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwann/2011-2,
  editor    = {Joan Cabestany and
               Ignacio Rojas and
               Gonzalo Joya Caparr{\'{o}}s},
  title     = {Advances in Computational Intelligence - 11th International Work-Conference
               on Artificial Neural Networks, {IWANN} 2011, Torremolinos-M{\'{a}}laga,
               Spain, June 8-10, 2011, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6692},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21498-1},
  doi       = {10.1007/978-3-642-21498-1},
  isbn      = {978-3-642-21497-4},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwann/2011-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2011,
  editor    = {Burkhart Wolff and
               Fatiha Za{\"{\i}}di},
  title     = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7019},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24580-0},
  doi       = {10.1007/978-3-642-24580-0},
  isbn      = {978-3-642-24579-4},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2010,
  editor    = {John Hatcliff and
               Elena Zucca},
  title     = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
               International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
               June 7-9, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6117},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13464-7},
  doi       = {10.1007/978-3-642-13464-7},
  isbn      = {978-3-642-13463-0},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2010wetsom,
  editor    = {Gerardo Canfora and
               Giulio Concas and
               Michele Marchesi and
               Ewan D. Tempero and
               Hongyu Zhang},
  title     = {Proceedings of the 2010 {ICSE} Workshop on Emerging Trends in Software
               Metrics, WETSoM 2010, Cape Town, South Africa, May 4, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://dl.acm.org/citation.cfm?id=1809223},
  isbn      = {978-1-60558-976-3},
  timestamp = {Fri, 01 Mar 2019 13:05:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2010wetsom},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2010,
  title     = {Third International Conference on Software Testing, Verification and
               Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5477032/proceeding},
  isbn      = {978-0-7695-3990-4},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2010w,
  title     = {Third International Conference on Software Testing, Verification and
               Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
               Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5463512/proceeding},
  isbn      = {978-0-7695-4050-4},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2010w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qsic/2010,
  editor    = {Ji Wang and
               W. K. Chan and
               Fei{-}Ching Kuo},
  title     = {Proceedings of the 10th International Conference on Quality Software,
               {QSIC} 2010, Zhangjiajie, China, 14-15 July 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5562736/proceeding},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qsic/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rcis/2010,
  editor    = {Pericles Loucopoulos and
               Jean{-}Louis Cavarero},
  title     = {Proceedings of the Fourth {IEEE} International Conference on Research
               Challenges in Information Science, {RCIS} 2010, Nice, France, May
               19-21, 2010},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5492931/proceeding},
  isbn      = {978-1-4244-4840-1},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rcis/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2010,
  editor    = {Jos{\'{e}} Luiz Fiadeiro and
               Stefania Gnesi and
               Andrea Maggiolo{-}Schettini},
  title     = {8th {IEEE} International Conference on Software Engineering and Formal
               Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5635422/proceeding},
  isbn      = {978-0-7695-4153-2},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/taicpart/2010,
  editor    = {Leonardo Bottaci and
               Gordon Fraser},
  title     = {Testing - Practice and Research Techniques, 5th International Academic
               and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
               3-5, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6303},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15585-7},
  doi       = {10.1007/978-3-642-15585-7},
  isbn      = {978-3-642-15584-0},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/taicpart/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/se/2010,
  editor    = {Phillip A. Laplante},
  title     = {Encyclopedia of Software Engineering},
  publisher = {Taylor {\&} Francis},
  year      = {2010},
  isbn      = {978-1-4200-5977-9},
  timestamp = {Fri, 25 Nov 2011 17:51:57 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/se/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10111,
  editor    = {Mark Harman and
               Henry Muccini and
               Wolfram Schulte and
               Tao Xie},
  title     = {Practical Software Testing: Tool Automation and Human Factors, 14.03.
               - 19.03.2010},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {10111},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/portals/10111/},
  timestamp = {Fri, 06 Oct 2017 17:24:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2010P10111},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aina/2009,
  editor    = {Irfan Awan and
               Muhammad Younas and
               Takahiro Hara and
               Arjan Durresi},
  title     = {The {IEEE} 23rd International Conference on Advanced Information Networking
               and Applications, {AINA} 2009, Bradford, United Kingdom, May 26-29,
               2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5076161/proceeding},
  isbn      = {978-0-7695-3638-5},
  timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ease/2009,
  editor    = {David Budgen and
               Mark Turner and
               Mahmood Niazi},
  title     = {13th International Conference on Evaluation and Assessment in Software
               Engineering, {EASE} 2009, Durham University, UK, 20-21 April 2009},
  series    = {Workshops in Computing},
  publisher = {{BCS}},
  year      = {2009},
  url       = {http://ewic.bcs.org/category/16288},
  timestamp = {Mon, 22 Jun 2015 19:38:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ease/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2009,
  title     = {Second International Conference on Software Testing Verification and
               Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4815321/proceeding},
  isbn      = {978-0-7695-3601-9},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwann/2009-1,
  editor    = {Joan Cabestany and
               Francisco Sandoval Hern{\'{a}}ndez and
               Alberto Prieto and
               Juan M. Corchado},
  title     = {Bio-Inspired Systems: Computational and Ambient Intelligence, 10th
               International Work-Conference on Artificial Neural Networks, {IWANN}
               2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5517},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02478-8},
  doi       = {10.1007/978-3-642-02478-8},
  isbn      = {978-3-642-02477-1},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwann/2009-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2009,
  editor    = {Dang Van Hung and
               Padmanabhan Krishnan},
  title     = {Seventh {IEEE} International Conference on Software Engineering and
               Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5368044/proceeding},
  isbn      = {978-0-7695-3870-9},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/IEEEares/2008,
  title     = {Proceedings of the The Third International Conference on Availability,
               Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical
               University of Catalonia, Barcelona , Spain},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4529302/proceeding},
  isbn      = {978-0-7695-3102-1},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEares/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2008,
  editor    = {Sung Deok Cha and
               Jin{-}Young Choi and
               Moonzoo Kim and
               Insup Lee and
               Mahesh Viswanathan},
  title     = {Automated Technology for Verification and Analysis, 6th International
               Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5311},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-88387-6},
  doi       = {10.1007/978-3-540-88387-6},
  isbn      = {978-3-540-88386-9},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cisse/2008scss2,
  editor    = {Khaled M. Elleithy},
  title     = {Advanced Techniques in Computing Sciences and Software Engineering,
               Volume {II} of the proceedings of the 2008 International Conference
               on Systems, Computing Sciences and Software Engineering (SCSS), part
               of the International Joint Conferences on Computer, Information, and
               Systems Sciences, and Engineering, {CISSE} 2008, Bridgeport, Connecticut,
               {USA}},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-90-481-3660-5},
  doi       = {10.1007/978-90-481-3660-5},
  isbn      = {978-90-481-3659-9},
  timestamp = {Fri, 19 May 2017 01:25:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cisse/2008scss2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecce/2008,
  editor    = {Julio Abascal and
               Inmaculada Fajardo and
               Ian Oakley},
  title     = {{ECCE} 2008 - The Ergonomics of Cool Interaction, European Conference
               on Cognitive Ergonomics 2008, Funchal, Madeira, Portugal, September
               16-19, 2008},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-399-0},
  timestamp = {Tue, 06 Dec 2011 16:41:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecce/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fortest/2008,
  editor    = {Robert M. Hierons and
               Jonathan P. Bowen and
               Mark Harman},
  title     = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4949},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78917-8},
  doi       = {10.1007/978-3-540-78917-8},
  isbn      = {978-3-540-78916-1},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fortest/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iti/2008,
  title     = {Proceedings of the {ITI} 2008 30th International Conference on Information
               Technology Interfaces, Dubrovnik, Croatia, June 23-26, 2008},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4578606/proceeding},
  isbn      = {978-953-7138-12-7},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iti/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppig/2008,
  title     = {Proceedings of the 20th Annual Workshop of the Psychology of Programming
               Interest Group, {PPIG} 2008, Lancaster, UK, September 10-12, 2008},
  publisher = {Psychology of Programming Interest Group},
  year      = {2008},
  url       = {http://ppig.org/workshops/ppig-2008-20th-annual-workshop},
  timestamp = {Sat, 09 Jun 2018 01:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppig/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2008,
  editor    = {Kenji Suzuki and
               Teruo Higashino and
               Andreas Ulrich and
               Toru Hasegawa},
  title     = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
               6.1 International Conference, TestCom 2008, 8th International Workshop,
               {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5047},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68524-1},
  doi       = {10.1007/978-3-540-68524-1},
  isbn      = {978-3-540-68514-2},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qsic/2008,
  editor    = {Hong Zhu},
  title     = {Proceedings of the Eighth International Conference on Quality Software,
               {QSIC} 2008, 12-13 August 2008, Oxford, {UK}},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4601512/proceeding},
  isbn      = {978-0-7695-3312-4},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qsic/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2008,
  editor    = {Roger L. Wainwright and
               Hisham Haddad},
  title     = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
               Fortaleza, Ceara, Brazil, March 16-20, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1363686},
  doi       = {10.1145/1363686},
  isbn      = {978-1-59593-753-7},
  timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2008,
  editor    = {Antonio Cerone and
               Stefan Gruner},
  title     = {Sixth {IEEE} International Conference on Software Engineering and
               Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
               2008},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4685778/proceeding},
  isbn      = {978-0-7695-3437-4},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiccsa/2007,
  title     = {2007 {IEEE/ACS} International Conference on Computer Systems and Applications
               {(AICCSA} 2007), 13-16 May 2007, Amman, Jordan},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4230920/proceeding},
  isbn      = {1-4244-1030-4},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cisse/2007scss1,
  editor    = {Tarek M. Sobh},
  title     = {Advances in Computer and Information Sciences and Engineering, Proceedings
               of the 2007 International Conference on Systems, Computing Sciences
               and Software Engineering (SCSS), part of the International Joint Conferences
               on Computer, Information, and Systems Sciences, and Engineering {(CISSE}
               2007), Bridgeport, CT, USA, December 3-12, 2007},
  publisher = {Springer},
  year      = {2008},
  isbn      = {978-1-4020-8740-0},
  timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cisse/2007scss1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecce/2007,
  editor    = {Willem{-}Paul Brinkman and
               Dong{-}Han Ham and
               B. L. William Wong},
  title     = {Proceedings of the 14th European Conference on Cognitive Ergonomics:
               invent! explore!, {ECCE} 2007, London, UK, August 28-31, 2007},
  series    = {{ACM} International Conference Proceeding Series},
  volume    = {250},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-84799-849-1},
  timestamp = {Mon, 21 Apr 2008 07:37:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecce/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2007,
  editor    = {John Derrick and
               J{\"{u}}ri Vain},
  title     = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia,
               June 27-29, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4574},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73196-2},
  doi       = {10.1007/978-3-540-73196-2},
  isbn      = {978-3-540-73195-5},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppig/2007,
  title     = {Proceedings of the 19th Annual Workshop of the Psychology of Programming
               Interest Group, {PPIG} 2007, Joensuu, Finland, July 2-3, 2007},
  publisher = {Psychology of Programming Interest Group},
  year      = {2007},
  url       = {http://ppig.org/workshops/ppig-2007-19th-annual-workshop},
  timestamp = {Sat, 09 Jun 2018 01:00:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppig/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2007,
  title     = {Fifth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
               {UK}},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4343908/proceeding},
  isbn      = {978-0-7695-2884-7},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/soqua/2007,
  editor    = {Mauro Pezz{\`{e}}},
  title     = {Fourth International Workshop on Software Quality Assurance, {SOQUA}
               2007, in conjunction with the 6th {ESEC/FSE} joint meeting, Dubrovnik,
               Croatia, September 3-4, 2007},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-724-7},
  timestamp = {Mon, 03 Nov 2008 11:18:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/soqua/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/taicpart/2006,
  editor    = {Phil McMinn},
  title     = {Testing: Academia and Industry Conference - Practice And Research
               Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
               Kingdom},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/11139/proceeding},
  isbn      = {0-7695-2672-1},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/taicpart/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2005,
  editor    = {Farn Wang},
  title     = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
               October 2-5, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3731},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11562436},
  doi       = {10.1007/11562436},
  isbn      = {3-540-29189-X},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gecco/2005,
  editor    = {Hans{-}Georg Beyer and
               Una{-}May O'Reilly},
  title     = {Genetic and Evolutionary Computation Conference, {GECCO} 2005, Proceedings,
               Washington DC, USA, June 25-29, 2005},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-010-8},
  timestamp = {Mon, 11 Jul 2005 15:12:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gecco/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2005,
  editor    = {Ferhat Khendek and
               Rachida Dssouli},
  title     = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
               Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3502},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b136676},
  doi       = {10.1007/b136676},
  isbn      = {3-540-26054-4},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2005,
  title     = {12th Working Conference on Reverse Engineering, {WCRE} 2005, Pittsburgh,
               PA, USA, November 7-11, 2005},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/10475/proceeding},
  isbn      = {0-7695-2474-5},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2004,
  editor    = {David de Frutos{-}Escrig and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain,
               September 27-30, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3235},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100576},
  doi       = {10.1007/b100576},
  isbn      = {3-540-23252-4},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gecco/2004-2,
  editor    = {Kalyanmoy Deb and
               Riccardo Poli and
               Wolfgang Banzhaf and
               Hans{-}Georg Beyer and
               Edmund K. Burke and
               Paul J. Darwen and
               Dipankar Dasgupta and
               Dario Floreano and
               James A. Foster and
               Mark Harman and
               Owen Holland and
               Pier Luca Lanzi and
               Lee Spector and
               Andrea Tettamanzi and
               Dirk Thierens and
               Andrew M. Tyrrell},
  title     = {Genetic and Evolutionary Computation - {GECCO} 2004, Genetic and Evolutionary
               Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings,
               Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3103},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98645},
  doi       = {10.1007/b98645},
  isbn      = {3-540-22343-6},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gecco/2004-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scam/2004,
  title     = {4th {IEEE} International Workshop on Source Code Analysis and Manipulation
               {(SCAM} 2004), 15-16 September 2004, Chicago, IL, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/9523/proceeding},
  isbn      = {0-7695-2144-4},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/scam/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2004,
  title     = {11th Working Conference on Reverse Engineering, {WCRE} 2004, Delft,
               The Netherlands, November 8-12, 2004},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/9462/proceeding},
  isbn      = {0-7695-2243-2},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csmr/2003,
  title     = {7th European Conference on Software Maintenance and Reengineering
               {(CSMR} 2003), 26-28 March 2003, Benevento, Italy, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8481/proceeding},
  isbn      = {0-7695-1902-4},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csmr/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fates/2003,
  editor    = {Alexandre Petrenko and
               Andreas Ulrich},
  title     = {Formal Approaches to Software Testing, Third International Workshop
               on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
               Quebec, Canada, October 6th, 2003},
  series    = {Lecture Notes in Computer Science},
  volume    = {2931},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b95400},
  doi       = {10.1007/b95400},
  isbn      = {3-540-20894-1},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fates/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2003,
  editor    = {Hartmut K{\"{o}}nig and
               Monika Heiner and
               Adam Wolisz},
  title     = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
               September 29 - October 2, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2767},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/11965},
  doi       = {10.1007/11965},
  isbn      = {3-540-20175-0},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gecco/2003-2,
  editor    = {Erick Cant{\'{u}}{-}Paz and
               James A. Foster and
               Kalyanmoy Deb and
               Lawrence Davis and
               Rajkumar Roy and
               Una{-}May O'Reilly and
               Hans{-}Georg Beyer and
               Russell K. Standish and
               Graham Kendall and
               Stewart W. Wilson and
               Mark Harman and
               Joachim Wegener and
               Dipankar Dasgupta and
               Mitchell A. Potter and
               Alan C. Schultz and
               Kathryn A. Dowsland and
               Natasa Jonoska and
               Julian F. Miller},
  title     = {Genetic and Evolutionary Computation - {GECCO} 2003, Genetic and Evolutionary
               Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings,
               Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2724},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-45110-2},
  doi       = {10.1007/3-540-45110-2},
  isbn      = {3-540-40603-4},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gecco/2003-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsm/2003,
  title     = {19th International Conference on Software Maintenance {(ICSM} 2003),
               The Architecture of Existing Systems, 22-26 September 2003, Amsterdam,
               The Netherlands},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8742/proceeding},
  isbn      = {0-7695-1905-9},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/2003,
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2},
  doi       = {10.1007/3-540-44880-2},
  isbn      = {3-540-40253-5},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zum/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2002,
  title     = {26th International Computer Software and Applications Conference {(COMPSAC}
               2002), Prolonging Software Life: Development and Redevelopment, 26-29
               August 2002, Oxford, England, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8094/proceeding},
  isbn      = {0-7695-1727-7},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gecco/2002,
  editor    = {William B. Langdon and
               Erick Cant{\'{u}}{-}Paz and
               Keith E. Mathias and
               Rajkumar Roy and
               David Davis and
               Riccardo Poli and
               Karthik Balakrishnan and
               Vasant G. Honavar and
               G{\"{u}}nter Rudolph and
               Joachim Wegener and
               Larry Bull and
               Mitchell A. Potter and
               Alan C. Schultz and
               Julian F. Miller and
               Edmund K. Burke and
               Natasa Jonoska},
  title     = {{GECCO} 2002: Proceedings of the Genetic and Evolutionary Computation
               Conference, New York, USA, 9-13 July 2002},
  publisher = {Morgan Kaufmann},
  year      = {2002},
  isbn      = {1-55860-878-8},
  timestamp = {Mon, 13 Nov 2017 18:15:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gecco/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsm/2002,
  title     = {18th International Conference on Software Maintenance {(ICSM} 2002),
               Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal,
               Quebec, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8357/proceeding},
  isbn      = {0-7695-1819-2},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scam/2002,
  title     = {2nd {IEEE} International Workshop on Source Code Analysis and Manipulation
               {(SCAM} 2002), 1 October 2002, Montreal, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8211/proceeding},
  isbn      = {0-7695-1793-5},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/scam/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2002,
  editor    = {Arie van Deursen and
               Elizabeth Burd},
  title     = {9th Working Conference on Reverse Engineering {(WCRE} 2002), 28 October
               - 1 November 2002, Richmond, VA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8373/proceeding},
  isbn      = {0-7695-1799-4},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsm/2001,
  title     = {2001 International Conference on Software Maintenance, {ICSM} 2001,
               Florence, Italy, November 6-10, 2001},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7668/proceeding},
  isbn      = {0-7695-1189-9},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwpc/2001,
  title     = {9th International Workshop on Program Comprehension {(IWPC} 2001),
               12-13 May 2001, Toronto, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7346/proceeding},
  isbn      = {0-7695-1131-7},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwpc/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2001,
  editor    = {Elizabeth Burd and
               Peter Aiken and
               Rainer Koschke},
  title     = {Proceedings of the Eighth Working Conference on Reverse Engineering,
               WCRE'01, Stuttgart, Germany, October 2-5, 2001},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7592/proceeding},
  isbn      = {0-7695-1303-4},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsm/2000,
  title     = {2000 International Conference on Software Maintenance, {ICSM} 2000,
               San Jose, California, USA, October 11-14, 2000},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7091/proceeding},
  isbn      = {0-7695-0753-0},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwpc/1999,
  title     = {7th International Workshop on Program Comprehension {(IWPC} '99),
               May 5-7, 1999 - Pittsburgh, PA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6305/proceeding},
  isbn      = {0-7695-0179-6},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwpc/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics