Travelled to:1 × Brazil
1 × India
1 × Japan
1 × South Africa
1 × Turkey
1 × United Kingdom
1 × Vietnam
2 × Germany
2 × The Netherlands
3 × France
3 × Italy
5 × USA
6 × Canada
Collaborated with:M.Harman H.Dan M.Núñez C.Fox S.Danicic M.G.Merayo D.Binkley A.Cavalcanti H.Ural H.Yenigün S.Counsell D.Fatiregun L.Hu G.Jourdan J.Wegener J.Howroyd C.Gaston P.L.Gall M.Gaudel A.S.Kalaji S.Swift K.Mahdavi S.Segura D.Benavides A.R.Cortés J.Chen R.Singh A.D.Lucia J.Krinke Q.Guo K.Derderian N.Gold K.Androutsopoulos D.Clark L.Lin J.H.Poore R.Eschbach C.Robinson-Mallett M.R.Laurence H.Sthamer A.Baresel M.Munro X.Zhang J.J.Dolado M.C.Otero
Talks about:test (14) sequenc (10) slice (8) distribut (5) program (5) use (5) transform (4) algorithm (4) analysi (4) system (4)
Person: Robert M. Hierons
DBLP: Hierons:Robert_M=
Facilitated 2 volumes:
Ed
EdContributed to:
2014
20132013
2012
2012201120112010201020092009
20082008
200820072005
2005
20042004
20032003
20032002200220022001
2001200120001999Wrote 35 papers:
- ICSE-2014-AndroutsopoulosCDHH #analysis #fault #testing
- An analysis of the relationship between conditional entropy and failed error propagation in software testing (KA, DC, HD, RMH, MH), pp. 573–583.
- FASE-2013-CavalcantiH #csp #testing
- Testing with Inputs and Outputs in CSP (AC, RMH), pp. 359–374.
- FASE-2013-LinPEHR #analysis #behaviour #requirements #sequence #specification #string
- Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification (LL, JHP, RE, RMH, CRM), pp. 179–193.
- ICTSS-2013-GastonHG #distributed #framework #implementation
- An Implementation Relation and Test Framework for Timed Distributed Systems (CG, RMH, PLG), pp. 82–97.
- FM-2012-HieronsMN #distributed #order #testing #using
- Using Time to Add Order to Distributed Testing (RMH, MGM, MN), pp. 232–246.
- ICST-2012-DanH #analysis #comparison #float #mutation testing #semantics
- Semantic Mutation Analysis of Floating-Point Comparison (HD, RMH), pp. 290–299.
- ICST-2012-DanH12a #c #mutation testing #named #semantics #testing #tool support
- SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.
- ICST-2011-DanH #consistency #sequence chart #testing
- Conformance Testing from Message Sequence Charts (HD, RMH), pp. 279–288.
- ICTSS-2011-CavalcantiGH #consistency #csp #distributed #testing
- Conformance Relations for Distributed Testing Based on CSP (AC, MCG, RMH), pp. 48–63.
- ICST-2010-SeguraHBR #analysis #approach #automation #feature model #generative #modelling #testing
- Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach (SS, RMH, DB, ARC), pp. 35–44.
- SEFM-2010-DanHC
- Non-local Choice and Implied Scenarios (HD, RMH, SC), pp. 53–62.
- ICST-2009-KalajiHS #finite #generative #state machine #testing
- Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) (ASK, RMH, SS), pp. 230–239.
- SEFM-2009-HieronsJUY #adaptation #sequence #using
- Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences (RMH, GVJ, HU, HY), pp. 157–166.
- SEFM-2009-HieronsN #distributed #interface #simulation
- Simulation Relations for Systems with Distributed Interfaces (RMH, MN), pp. 41–50.
- SAC-2008-HieronsJUY #adaptation #sequence #using
- Using adaptive distinguishing sequences in checking sequence constructions (RMH, GVJ, HU, HY), pp. 682–687.
- SEFM-2008-MerayoHN
- Extending Stream X-Machines to Specify and Test Systems with Timeouts (MGM, RMH, MN), pp. 201–210.
- TestCom-FATES-2008-HieronsMN #architecture #distributed #implementation
- Implementation Relations for the Distributed Test Architecture (RMH, MGM, MN), pp. 200–215.
- SEFM-2007-DanHC #diagrams #semantics #sequence chart #thread
- A Thread-tag Based Semantics for Sequence Diagrams (HD, RMH, SC), pp. 173–182.
- TestCom-2005-ChenHUY #sequence #testing
- Eliminating Redundant Tests in a Checking Sequence (JC, RMH, HU, HY), pp. 146–158.
- WCRE-2005-FatiregunHH #search-based #slicing
- Search-Based Amorphous Slicing (DF, MH, RMH), pp. 3–12.
- SCAM-2004-FatiregunHH #algorithm #evolution #search-based #sequence #using
- Evolving Transformation Sequences using Genetic Algorithms (DF, MH, RMH), pp. 66–75.
- SCAM-2004-HarmanBSH
- Amorphous Procedure Extraction (MH, DB, RS, RMH), pp. 85–94.
- WCRE-2004-HuHHB #slicing
- Loop Squashing Transformations for Amorphous Slicing (LH, MH, RMH, DB), pp. 152–160.
- CSMR-2003-LuciaHHK #slicing
- Unions of Slices Are Not Slices (ADL, MH, RMH, JK), pp. 363–367.
- FATES-2003-GuoHHD #algorithm #search-based #sequence #using
- Computing Unique Input/Output Sequences Using Genetic Algorithms (QG, RMH, MH, KD), pp. 164–177.
- ICSM-2003-MahdaviHH #approach #clustering #multi
- A Multiple Hill Climbing Approach to Software Module Clustering (KM, MH, RMH), pp. 315–324.
- ICSM-2002-HarmanHHFDWSB #slicing #testing
- Evolutionary Testing Supported by Slicing and Transformation (MH, LH, RMH, CF, SD, JW, HS, AB), p. 285.
- ICSM-2002-HarmanHHMZDOW #algorithm
- A Post-Placement Side-Effect Removal Algorithm (MH, LH, RMH, MM, XZ, JJD, MCO, JW), pp. 2–11.
- SCAM-2002-HarmanFHHDW #analysis #dependence #named
- VADA: A Transformation-Based System for Variable Dependence Analysis (MH, CF, RMH, LH, SD, JW), pp. 55–64.
- WCRE-2002-HarmanGHB #algorithm #concept #slicing
- Code Extraction Algorithms which Unify Slicing and Concept Assignment (MH, NG, RMH, DB), pp. 11–21.
- ICSM-2001-HarmanHFDH #slicing
- Pre/Post Conditioned Slicing (MH, RMH, CF, SD, JH), pp. 138–147.
- IWPC-2001-FoxDHH #comprehension
- Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension (CF, SD, MH, RMH), pp. 89–97.
- WCRE-2001-HarmanHDHLF #calculus #slicing
- Node Coarsening Calculi for Program Slicing (MH, RMH, SD, JH, MRL, CF), pp. 25–34.
- ICSM-2000-FoxHHD #named #slicing
- ConSIT: A Conditioned Program Slicer (CF, MH, RMH, SD), p. 216–?.
- IWPC-1999-HarmanFHBD #approximate #decidability
- Program Simplification as a Means of Approximating Undecidable Propositions (MH, CF, RMH, DB, SD), pp. 208–217.