dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Robert M. Hierons Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaitao Dan, Robert M. Hierons: Semantic Mutation Analysis of Floating-Point Comparison. ICST 2012: 290-299
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaitao Dan, Robert M. Hierons: SMT-C: A Semantic Mutation Testing Tools for C. ICST 2012: 654-663
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Danicic, Robert M. Hierons, Michael R. Laurence: Complexity of Data Dependence Problems for Program Schemas with Concurrency. ACM Trans. Comput. Log. 13(2): 15 (2012)
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Implementation relations and test generation for systems with distributed interfaces. Distributed Computing 25(1): 35-62 (2012)
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Overcoming controllability problems in distributed testing from an input output transition system. Distributed Computing 25(1): 63-81 (2012)
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Clark, Robert M. Hierons: Squeeziness: An information theoretic measure for avoiding fault masking. Inf. Process. Lett. 112(8-9): 335-340 (2012)
2011
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Núñez, Robert M. Hierons, Mercedes G. Merayo: Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. IEEE Computer Society 2011
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons: GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications. ECBS 2011: 61-70
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaitao Dan, Robert M. Hierons: Conformance Testing from Message Sequence Charts. ICST 2011: 279-288
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons: Conformance Relations for Distributed Testing Based on CSP. ICTSS 2011: 48-63
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. IWANN (2) 2011: 396-403
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Molinero, Manuel Núñez, Robert M. Hierons: Experimental Comparison of Different Techniques to Generate Adaptive Sequences. IWANN (2) 2011: 404-411
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Checking Finite State Machine Conformance when there are Distributed Observations CoRR abs/1108.5295: (2011)
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIftikhar Ahmed Khan, Willem-Paul Brinkman, Robert M. Hierons: Do moods affect programmers' debug performance? Cognition, Technology & Work 13(4): 245-258 (2011)
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports. IEEE Trans. Computers 60(12): 1818-1822 (2011)
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAsma Mubarak, Steve Counsell, Robert M. Hierons: A Longitudinal Study of Fan-In and Fan-Out Coupling in Open-Source Systems. IJISMD 2(4): 1-26 (2011)
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés: Mutation testing on an object-oriented framework: An experience report. Information & Software Technology 53(10): 1124-1136 (2011)
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul Salam Kalaji, Robert M. Hierons, Stephen Swift: An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. Information & Software Technology 53(12): 1297-1318 (2011)
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés: Automated metamorphic testing on the analyses of feature models. Information & Software Technology 53(3): 245-258 (2011)
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Danicic, Robert M. Hierons, Michael R. Laurence: Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. J. Log. Algebr. Program. 80(2): 92-112 (2011)
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Danicic, Robert M. Hierons, Michael R. Laurence: Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. J. Log. Algebr. Program. 80(8): 481-496 (2011)
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Danicic, Robert M. Hierons, Michael R. Laurence: On the computational complexity of dynamic slicing problems for program schemas. Mathematical Structures in Computer Science 21(6): 1339-1362 (2011)
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Aditya Mathur: ICST 2008 Special Issue. Softw. Test., Verif. Reliab. 21(1): 1 (2011)
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Scenarios-based testing of systems with distributed ports. Softw., Pract. Exper. 41(10): 999-1026 (2011)
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMercedes G. Merayo, Manuel Núñez, Robert M. Hierons: Testing timed systems modeled by Stream X-machines. Software and System Modeling 10(2): 201-217 (2011)
2010
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Manuel Núñez: Testing Probabilistic Distributed Systems. FMOODS/FORTE 2010: 63-77
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés: Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. ICST 2010: 35-44
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn A. Clark, Haitao Dan, Robert M. Hierons: Semantic Mutation Testing. ICST Workshops 2010: 100-109
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul Salam Kalaji, Robert M. Hierons, Stephen Swift: Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem. ICST Workshops 2010: 232-235
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Scenarios-Based Testing of Systems with Distributed Ports. QSIC 2010: 52-61
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAsma Mubarak, Steve Counsell, Robert M. Hierons: An Evolutionary Study of Fan-in and Fan-out Metrics in OSS. RCIS 2010: 473-482
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaitao Dan, Robert M. Hierons, Steve Counsell: Non-local Choice and Implied Scenarios. SEFM 2010: 53-62
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Saeed Abou Trab, Bachar Alrouh, Steve Counsell, Robert M. Hierons, George Ghinea: A Multi-criteria Decision Making Framework for Real Time Model-Based Testing. TAIC PART 2010: 194-197
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Mutation Testing. Encyclopedia of Software Engineering 2010: 594-602
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Estimating the feasibility of transition paths in extended finite state machines. Autom. Softw. Eng. 17(1): 33-56 (2010)
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Hasan Ural: Generating a checking sequence with a minimum number of reset transitions. Autom. Softw. Eng. 17(3): 217-250 (2010)
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Counsell, Hamza Hamza, Robert M. Hierons: An Empirical Investigation of Code Smell 'Deception' and Research Contextualisation through Paul's Criteria. CIT 18(4): (2010)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Danicic, Robert M. Hierons, Michael R. Laurence: Complexity of Data Dependence problems for Program Schemas with Concurrency CoRR abs/1007.3878: (2010)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. T. Parkinson, Robert M. Hierons, Mark Lycett, M. Norman: Practitioner-based measurement: a collaborative approach. Commun. ACM 53(3): 142-147 (2010)
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Reaching and Distinguishing States of Distributed Systems. SIAM J. Comput. 39(8): 3480-3500 (2010)
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard W. Barraclough, David Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya: A trajectory-based strict semantics for program slicing. Theor. Comput. Sci. 411(11-13): 1372-1386 (2010)
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Canonical finite state machines for distributed systems. Theor. Comput. Sci. 411(2): 566-580 (2010)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Checking experiments for stream X-machines. Theor. Comput. Sci. 411(37): 3372-3385 (2010)
2009
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdel Almohammad, Gheorghita Ghinea, Robert M. Hierons: JPEG Steganography: A Performance Evaluation of Quantization Tables. AINA 2009: 471-478
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul Salam Kalaji, Robert M. Hierons, Stephen Swift: Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). ICST 2009: 230-239
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. IWANN (1) 2009: 327-334
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. SEFM 2009: 157-166
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Manuel Núñez: Simulation Relations for Systems with Distributed Interfaces. SEFM 2009: 41-50
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan: Using formal specifications to support testing. ACM Comput. Surv. 41(2): (2009)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Verdict functions in testing with a fault domain or test hypotheses. ACM Trans. Softw. Eng. Methodol. 18(4): (2009)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Hasan Ural: Overcoming controllability problems with fewest channels between testers. Computer Networks 53(5): 680-690 (2009)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Using status messages in the distributed test architecture. Information & Software Technology 51(7): 1123-1130 (2009)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Testing from a stochastic timed system with a fault model. J. Log. Algebr. Program. 78(2): 98-115 (2009)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mercedes G. Merayo: Mutation testing from probabilistic and stochastic finite state machines. Journal of Systems and Software 82(11): 1804-1818 (2009)
2008
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Jonathan P. Bowen, Mark Harman: Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers Springer 2008
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdel Almohammad, Robert M. Hierons, Gheorghita Ghinea: High Capacity Steganographic Method Based Upon JPEG. ARES 2008: 544-549
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Controllable Test Cases for the Distributed Test Architecture. ATVA 2008: 201-215
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIftikhar Ahmed Khan, Willem-Paul Brinkman, Nick Fine, Robert M. Hierons: Measuring personality from keyboard and mouse use. ECCE 2008: 38
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJessica Chen, Robert M. Hierons, Hasan Ural: Testing in the Distributed Test Architecture. Formal Methods and Testing 2008: 157-183
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper: Testability Transformation - Program Transformation to Improve Testability. Formal Methods and Testing 2008: 320-344
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Testing in the Distributed Test Architecture: An Extended Abstract. QSIC 2008: 11-14
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Using adaptive distinguishing sequences in checking sequence constructions. SAC 2008: 682-687
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAsma Mubarak, Steve Counsell, Robert M. Hierons: An Empirical Study of "Removed" Classes in Java Open-Source Systems. SCSS (2) 2008: 99-104
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMercedes G. Merayo, Robert M. Hierons, Manuel Núñez: Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM 2008: 201-210
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Implementation Relations for the Distributed Test Architecture. TestCom/FATES 2008: 200-215
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Hasan Ural: The Effect of the Distributed Test Architecture on the Power of Testing. Comput. J. 51(4): 497-510 (2008)
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Hasan Ural: Checking sequences for distributed test architectures. Distributed Computing 21(3): 223-238 (2008)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Florentin Ipate: Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. Formal Asp. Comput. 20(6): 597-617 (2008)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer: Using communication coverage criteria and partial model generation to assist software integration testing. Software Quality Journal 16(2): 185-211 (2008)
2007
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Counsell, Robert M. Hierons, George Loizou: A Meta-analysis Approach to Refactoring and XP. AICCSA 2007: 67-75
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIftikhar Ahmed Khan, Robert M. Hierons, Willem-Paul Brinkman: Mood independent programming. ECCE 2007: 269-272
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaitao Dan, Robert M. Hierons, Steve Counsell: Thread-Based Analysis of Sequence Diagrams. FORTE 2007: 19-34
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Counsell, Stephen Swift, Robert M. Hierons: A Test Taxonomy Applied to the Mechanics of Java Refactorings. SCSS (1) 2007: 497-502
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaitao Dan, Robert M. Hierons, Steve Counsell: A Thread-tag Based Semantics for Sequence Diagrams. SEFM 2007: 173-182
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Counsell, Robert M. Hierons: Refactoring test suites versus test behaviour: a TTCN-3 perspective. SOQUA 2007: 31-38
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Hasan Ural: Reducing the cost of applying adaptive test cases. Computer Networks 51(1): 224-238 (2007)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAsma Mubarak, Steve Counsell, Robert M. Hierons, Youssef Hassoun: Package Evolvability and its Relationship with Refactoring. ECEASST 8: (2007)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZheng Li, Mark Harman, Robert M. Hierons: Search Algorithms for Regression Test Case Prioritization. IEEE Trans. Software Eng. 33(4): 225-237 (2007)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian: Heuristics for fault diagnosis when testing from finite state machines. Softw. Test., Verif. Reliab. 17(1): 41-57 (2007)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence: Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. Theor. Comput. Sci. 373(1-2): 1-18 (2007)
2006
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Henry Muccini: 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 ACM 2006
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Counsell, Robert M. Hierons, Rajaa Najjar, George Loizou, Youssef Hassoun: The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency Graph. TAIC PART 2006: 181-192
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer: Achieving communication coverage in testing. ACM SIGSOFT Software Engineering Notes 31(6): 1-10 (2006)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Avoiding coincidental correctness in boundary value analysis. ACM Trans. Softw. Eng. Methodol. 15(3): 227-241 (2006)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Separating sequence overlap for automated test sequence generation. Autom. Softw. Eng. 13(2): 283-301 (2006)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. Comput. J. 49(3): 331-344 (2006)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Derrick, Mark Harman, Robert M. Hierons: Guest Editorial. Formal Asp. Comput. 18(1): 1-2 (2006)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Hasan Ural: Optimizing the Length of Checking Sequences. IEEE Trans. Computers 55(5): 618-629 (2006)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Applying adaptive test cases to nondeterministic implementations. Inf. Process. Lett. 98(2): 56-60 (2006)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJessica Chen, Robert M. Hierons, Hasan Ural: Overcoming observability problems in distributed test architectures. Inf. Process. Lett. 98(5): 177-182 (2006)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian: Improving test quality using robust unique input/output circuit sequences (UIOCs). Information & Software Technology 48(8): 696-707 (2006)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Testing Commercial-off-the-Shelf Components and Systems. Edited by Sami Beydeda and Volker Gruhn. Springer, 2005, ISBN: 3-540-21871-8, pp 410. Softw. Test., Verif. Reliab. 16(1): 61 (2006)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhil McMinn, Robert M. Hierons: Editorial: Addressing industrial challenges - UKTest 2005 and beyond. Softw. Test., Verif. Reliab. 16(3): 131-132 (2006)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee White, Jeff Offutt, Derek Yates, Robert M. Hierons, Michael A. Hennell, Peter Mitchell: A Tribute to Martin Woodward. Softw. Test., Verif. Reliab. 16(4): 209-211 (2006)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: 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. Softw. Test., Verif. Reliab. 16(4): 289-290 (2006)
2005
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJessica Chen, Robert M. Hierons, Hasan Ural: Resolving Observability Problems in Distributed Test Architectures. FORTE 2005: 219-232
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. GECCO 2005: 1081-1082
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün: Eliminating Redundant Tests in a Checking Sequence. TestCom 2005: 146-158
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeji Fatiregun, Mark Harman, Robert M. Hierons: Search-Based Amorphous Slicing. WCRE 2005: 3-12
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mark Harman, Chris Fox: Branch-Coverage Testability Transformation for Unstructured Programs. Comput. J. 48(4): 421-436 (2005)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence: Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. Comput. J. 48(6): 737-748 (2005)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward: ConSUS: a light-weight program conditioner. Journal of Systems and Software 77(3): 241-262 (2005)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: 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. Softw. Test., Verif. Reliab. 15(2): 135-136 (2005)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Editorial: Validating our findings. Softw. Test., Verif. Reliab. 15(4): 209-210 (2005)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas E. Gold, Mark Harman, David Binkley, Robert M. Hierons: Unifying program slicing and concept assignment for higher-level executable source code extraction. Softw., Pract. Exper. 35(10): 977-1006 (2005)
2004
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Groz, Robert M. Hierons: Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings Springer 2004
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJessica Chen, Robert M. Hierons, Hasan Ural: Conditions for Resolving Observability Problems in Distributed Testing. FORTE 2004: 229-242
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantinos Adamopoulos, Mark Harman, Robert M. Hierons: How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution. GECCO (2) 2004: 1338-1349
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). GECCO (2) 2004: 1429-1430
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeji Fatiregun, Mark Harman, Robert M. Hierons: Evolving Transformation Sequences using Genetic Algorithms. SCAM 2004: 66-75
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, David Binkley, Ranjit Singh, Robert M. Hierons: Amorphous Procedure Extraction. SCAM 2004: 85-94
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Hu, Mark Harman, Robert M. Hierons, David Binkley: Loop Squashing Transformations for Amorphous Slicing. WCRE 2004: 152-160
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: A flexible environment to evaluate state-based test techniques. ACM SIGSOFT Software Engineering Notes 29(5): 1-3 (2004)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, T.-H. Kim, Hasan Ural: On the testability of SDL specifications. Computer Networks 44(5): 681-700 (2004)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting. IEEE Trans. Computers 53(10): 1330-1342 (2004)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper: Testability Transformation. IEEE Trans. Software Eng. 30(1): 3-16 (2004)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Using a minimal number of resets when testing from a finite state machine. Inf. Process. Lett. 90(6): 287-292 (2004)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Book Reviews. Softw. Test., Verif. Reliab. 14(1): 72-73 (2004)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn A. Clark, Mark Harman, Robert M. Hierons: Editorial: Software testing in the United Kingdom. Softw. Test., Verif. Reliab. 14(3): 165-166 (2004)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: ConSIT: a fully automated conditioned program slicer. Softw., Pract. Exper. 34(1): 15-46 (2004)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mark Harman: Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. Theor. Comput. Sci. 323(1-3): 191-233 (2004)
2003
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea De Lucia, Mark Harman, Robert M. Hierons, Jens Krinke: Unions of Slices Are Not Slices. CSMR 2003: 363-367
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian: Computing Unique Input/Output Sequences Using Genetic Algorithms. FATES 2003: 164-177
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Hasan Ural: Concerning the Ordering of Adaptive Test Sequences. FORTE 2003: 289-302
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeji Fatiregun, Mark Harman, Robert M. Hierons: Search Based Transformations. GECCO 2003: 2511-2512
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKiarash Mahdavi, Mark Harman, Robert M. Hierons: Finding Building Blocks for Software Clustering. GECCO 2003: 2513-2514
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKiarash Mahdavi, Mark Harman, Robert M. Hierons: A Multiple Hill Climbing Approach to Software Module Clustering. ICSM 2003: 315-324
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mark Harman, Harbhajan Singh: Automatically Generating Information from a Z Specification to Support the Classification Tree Method. ZB 2003: 388-407
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine. Comput. J. 46(3): 307-318 (2003)
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn A. Clark, José Javier Dolado, Mark Harman, Robert M. Hierons, Bryan F. Jones, M. Lumkin, Brian S. Mitchell, Spiros Mancoridis, K. Rees, Marc Roper, Martin J. Shepperd: Formulating software engineering as a search problem. IEE Proceedings - Software 150(3): 161-175 (2003)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Hasan Ural: UIO sequence based checking sequences for distributed test architectures. Information & Software Technology 45(12): 793-803 (2003)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Editorial: Testing in the large through the small? Softw. Test., Verif. Reliab. 13(3): 139-140 (2003)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Book Reviews. Softw. Test., Verif. Reliab. 13(3): 197-198 (2003)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Laurence, Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd: Equivalence of conservative, free, linear program schemas is decidable. Theor. Comput. Sci. 290(1): 831-862 (2003)
2002
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, T.-H. Kim, Hasan Ural: Expanding an Extended Finite State Machine to aid Testability. COMPSAC 2002: 334-342
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause: FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Robert M. Hierons, Mark Proctor: A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. GECCO 2002: 1351-1358
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer: Improving Evolutionary Testing By Flag Removal. GECCO 2002: 1359-1366
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener: A Post-Placement Side-Effect Removal Algorithm. ICSM 2002: 2-11
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel: Evolutionary Testing Supported by Slicing and Transformation. ICSM 2002: 285
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener: VADA: A Transformation-Based System for Variable Dependence Analysis. SCAM 2002: 55-64
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Nicolas Gold, Robert M. Hierons, David Binkley: Code Extraction Algorithms which Unify Slicing and Concept Assignment. WCRE 2002: 11-21
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Comparing test sets and criteria in the presence of test hypotheses and fault domains. ACM Trans. Softw. Eng. Methodol. 11(4): 427-448 (2002)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Hasan Ural: Reduced Length Checking Sequences. IEEE Trans. Computers 51(9): 1111-1117 (2002)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi: Conditioned slicing supports partition testing. Softw. Test., Verif. Reliab. 12(1): 23-28 (2002)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Editorial: Formal methods and testing. Softw. Test., Verif. Reliab. 12(2): 69-70 (2002)
2001
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd: Pre/Post Conditioned Slicing. ICSM 2001: 138-147
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. IWPC 2001: 89-97
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox: Node Coarsening Calculi for Program Slicing. WCRE 2001: 25-34
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Sadegh Sadeghipour, Harbhajan Singh: Testing a system specified using Statecharts and Z. Information & Software Technology 43(2): 137-149 (2001)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. Information & Software Technology 43(9): 551-560 (2001)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Book Review: Spin Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop, Stanford, CA, USA, By Klaus Havelund, John Penix and Willem Visser (eds.). LNCS 1885. Softw. Test., Verif. Reliab. 11(3): 197-198 (2001)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Real-Time Systems and Software. Software Focus 2(2): 81 (2001)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Robert M. Hierons: An overview of program slicing. Software Focus 2(3): 85-92 (2001)
2000
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic: ConSIT: A Conditioned Program Slicer. ICSM 2000: 216-
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mark Harman: Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine. Formal Asp. Comput. 12(6): 423-442 (2000)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir and Amrit L. Goel, Springer-Verlag, 2000 (Book Review). Softw. Test., Verif. Reliab. 10(3): 196 (2000)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, John Derrick: Editorial: special issue on specification-based testing. Softw. Test., Verif. Reliab. 10(4): 201-202 (2000)
1999
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic: Program Simplification as a Means of Approximating Undecidable Propositions. IWPC 1999: 208-217
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Testing of Communicating Systems, Vol. 10 by Myungchul Kim, Sugwon Kang, Keesoo Hong (Eds.). Computer Communications 22(17): 1619-1620 (1999)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Minimizing the Cost of Fault Location when Testing from a Finite State Machine. Computer Communications 22(2): 120-127 (1999)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Correct Systems: Building a Business Process Solution, by Mike Holcombe and Florentin Ipate, Springer-Verlag, 1998 (Book Review). Softw. Test., Verif. Reliab. 9(1): 76-77 (1999)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Editorial: What does testing tell us? Softw. Test., Verif. Reliab. 9(3): 143-144 (1999)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review). Softw. Test., Verif. Reliab. 9(3): 191-193 (1999)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Mark Harman, Sebastian Danicic: Using Program Slicing to Assist in the Detection of Equivalent Mutants. Softw. Test., Verif. Reliab. 9(4): 233-262 (1999)
1998
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugh Edwards, Robert M. Hierons, Bill Jackson: The Zero-Free Intervals for Characteristic Polynomials of Matroids. Combinatorics, Probability & Computing 7(2): 153-165 (1998)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine. Comput. J. 41(5): 349-355 (1998)
1997
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Testing from a Finite-State Machine: Extending Invertibility to Sequences. Comput. J. 40(4): 220-230 (1997)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: testing from semi-independent communicating finite state machines with a slow environment. IEE Proceedings - Software 144(5-6): 291-295 (1997)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Testing from a Z Specification. Softw. Test., Verif. Reliab. 7(1): 19-33 (1997)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons, Michael P. Wiper: Estimation of Failure Rate using Random and Partition Testing. Softw. Test., Verif. Reliab. 7(3): 153-164 (1997)
1996
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Hierons: Extending Test Sequence Overlap by Invertibility. Comput. J. 39(4): 325-330 (1996)

Coauthor Index

1Konstantinos Adamopoulos [65]
2Adel Almohammad [117] [129]
3Bachar Alrouh [140]
4André Baresel [33] [35] [57] [113]
5Richard W. Barraclough [132]
6David Benavides (David Felipe Benavides Cuevas) [146] [154] [156]
7David Binkley [14] [31] [61] [62] [68] [113] [132]
8Kirill Bogdanov [37] [124]
9Jonathan P. Bowen [37] [118] [124]
10Willem-Paul Brinkman [102] [115] [159]
11Ana Cavalcanti [163]
12Jessica Chen [66] [75] [77] [83] [114]
13David Clark [167]
14John A. Clark (John Andrew Clark) [37] [43] [54] [145]
15Rance Cleaveland [124]
16Antonio Ruiz Cortés [146] [154] [156]
17Steve Counsell [91] [96] [98] [99] [100] [101] [103] [110] [136] [140] [141] [142] [157] [165]
18Haitao Dan [99] [101] [141] [145] [164] [171] [172]
19Sebastian Danicic [8] [14] [18] [24] [25] [26] [32] [33] [39] [53] [71] [72] [93] [132] [135] [151] [152] [153] [170]
20Mohammed Daoudi [28] [71]
21Karnig Derderian [50] [64] [76] [82] [87] [94] [127] [138] [162]
22John Derrick [15] [86] [124]
23Jeremy Dick [124]
24José Javier Dolado [34] [43]
25Hugh Edwards [7]
26Deji Fatiregun [48] [63] [74]
27Nick Fine [115]
28Chris Fox [14] [18] [24] [25] [26] [28] [32] [33] [53] [71] [72] [73]
29Marie-Claude Gaudel [163]
30Marian Gheorghe [124]
31George Ghinea (Gheorghita Ghinea) [117] [129] [140]
32Nicolas Gold (Nicolas E. Gold) [31] [68]
33Roland Groz [67]
34Qiang Guo [50] [64] [76] [82] [87] [94] [138]
35Hamza Hamza [136]
36Mark Harman [8] [14] [17] [18] [19] [24] [25] [26] [28] [31] [32] [33] [34] [35] [36] [37] [39] [43] [45] [46] [47] [48] [50] [51] [52] [53] [54] [57] [61] [62] [63] [64] [65] [68] [71] [72] [73] [74] [76] [82] [86] [87] [93] [94] [95] [113] [118] [124] [132] [138]
37Youssef Hassoun [91] [96]
38Michael A. Hennell [79]
39John Howroyd [24] [26] [39] [71] [72] [93]
40Lin Hu [32] [33] [34] [35] [57] [61] [113]
41Florentin Ipate [105]
42Bill Jackson [7]
43Bryan F. Jones [43]
44Guy-Vincent Jourdan [111] [126]
45Abdul Salam Kalaji [128] [144] [155]
46Kalpesh Kapoor [124]
47Iftikhar Ahmed Khan [102] [115] [159]
48T.-H. Kim [38] [59]
49Ákos Kiss [132]
50Bogdan Korel [113]
51Paul Krause [37] [124]
52Jens Krinke [51]
53Michael R. Laurence [24] [39] [72] [93] [135] [151] [152] [153] [170]
54Mike Laurence [132]
55Zheng Li [95]
56Peter Liggesmeyer [90] [104]
57George Loizou [91] [103]
58Andrea De Lucia [51]
59M. Lumkin [43]
60Gerald Lüttgen [124]
61Mark Lycett [134]
62Kiarash Mahdavi [46] [47]
63Spiros Mancoridis [43]
64Aditya Mathur [150]
65Phil McMinn [80] [113]
66Mercedes G. Merayo [108] [109] [116] [119] [120] [127] [139] [143] [148] [149] [162] [166] [169]
67Brian S. Mitchell [43]
68Peter Mitchell [79]
69Carlos Molinero [161]
70Asma Mubarak [96] [110] [142] [157]
71Henry Muccini [92]
72Malcolm Munro [34]
73Rajaa Najjar [91]
74M. Norman [134]
75Manuel Núñez [108] [109] [116] [120] [125] [127] [139] [143] [147] [148] [149] [161] [162] [166] [169]
76A. Jefferson Offutt (Jeff Offutt) [79]
77Mari Carmen Otero [34]
78Lahcen Ouarbya [28] [71] [132]
79S. T. Parkinson [134]
80Jesse H. Poore [104]
81Mark Proctor [36]
82K. Rees [43]
83Christopher Robinson-Mallett [90] [104]
84Marc Roper [43] [57] [113]
85Sadegh Sadeghipour [23]
86Sergio Segura [146] [154] [156]
87Martin J. Shepperd [43]
88Anthony J. H. Simons [124]
89Harbhajan Singh [23] [45]
90Ranjit Singh [62]
91Harmen Sthamer [33] [35] [57]
92Stephen Swift [100] [128] [144] [155]
93Mohammad Saeed Abou Trab [140] [165]
94Hasan Ural [29] [38] [42] [49] [59] [66] [75] [77] [83] [85] [97] [106] [107] [111] [114] [122] [126] [137]
95Sergiy A. Vilkomir [124]
96Martin P. Ward [71]
97Joachim Wegener [32] [33] [34] [57]
98Lee White [79]
99Michael P. Wiper [2]
100Martin R. Woodward [124]
101Derek Yates [79]
102Hüsnü Yenigün [75] [111] [126]
103Hussein Zedan (Hussein S. M. Zedan) [124]
104Xingyuan Zhang [34]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page