BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hierons:Robert_M=

Facilitated 2 volumes:

SEFM 2013Ed
TestCom 2004Ed

Contributed to:

ICSE 20142014
FASE 20132013
ICTSS 20132013
FM 20122012
ICST 20122012
ICST 20112011
ICTSS 20112011
ICST 20102010
SEFM 20102010
ICST 20092009
SEFM 20092009
SAC 20082008
SEFM 20082008
TestCom/FATES 20082008
SEFM 20072007
TestCom 20052005
WCRE 20052005
SCAM 20042004
WCRE 20042004
CSMR 20032003
FATES 20032003
ICSM 20032003
ICSM 20022002
SCAM 20022002
WCRE 20022002
ICSM 20012001
IWPC 20012001
WCRE 20012001
ICSM 20002000
IWPC 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.