en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Hierons
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(192)
tags
dblp
imported
testing
tests
statecharts
software
methods
myown
engineering
formal
support
black-box
specification-based
flowgraph
fsm
constraint-solving
symbolic
logic
z
specifications
propositional
2001
2009
execution
2003
FORTEST
generation
formal_specification
automated
search
No matching items.
Semantic mutation testing.
John A. Clark
,
Haitao Dan
, and
Robert M. Hierons
.
Sci. Comput. Program.
78(4):345-363
(
2013
)
John A. Clark
,
Haitao Dan
, and
Robert M. Hierons
.
Sci. Comput. Program.
78(4):345-363
(
2013
)
2 months and 26 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Testing with Inputs and Outputs in CSP.
Ana Cavalcanti
, and
Robert M. Hierons
.
FASE,
volume 7793 of Lecture Notes in Computer Science,
page 359-374.
Springer,
(
2013
)
Ana Cavalcanti
, and
Robert M. Hierons
.
FASE,
volume 7793 of Lecture Notes in Computer Science,
page 359-374.
Springer,
(
2013
)
3 months and 4 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification.
Lan Lin
,
Jesse H. Poore
,
Robert Eschbach
,
Robert M. Hierons
, and
Christopher Robinson-Mallett
.
FASE,
volume 7793 of Lecture Notes in Computer Science,
page 179-193.
Springer,
(
2013
)
Lan Lin
,
Jesse H. Poore
,
Robert Eschbach
,
Robert M. Hierons
, and
Christopher Robinson-Mallett
.
FASE,
volume 7793 of Lecture Notes in Computer Science,
page 179-193.
Springer,
(
2013
)
3 months and 4 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Using genetic algorithms to generate test sequences for complex timed systems.
Alberto Nuñez
,
Mercedes G. Merayo
,
Robert M. Hierons
, and
Manuel Núñez
.
Soft Comput.
17(2):301-315
(
2013
)
Alberto Nuñez
,
Mercedes G. Merayo
,
Robert M. Hierons
, and
Manuel Núñez
.
Soft Comput.
17(2):301-315
(
2013
)
3 months and 29 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Controllability Problems in MSC-Based Testing.
Haitao Dan
, and
Robert M. Hierons
.
Comput. J.
55(11):1270-1287
(
2012
)
Haitao Dan
, and
Robert M. Hierons
.
Comput. J.
55(11):1270-1287
(
2012
)
6 months and 5 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata.
Mohammad Saeed Abou Trab
,
Steve Counsell
, and
Robert M. Hierons
.
COMPSAC,
page 660-669.
IEEE Computer Society,
(
2012
)
Mohammad Saeed Abou Trab
,
Steve Counsell
, and
Robert M. Hierons
.
COMPSAC,
page 660-669.
IEEE Computer Society,
(
2012
)
6 months and 10 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Model Based Test Automation through Asynchronous Channels.
Robert M. Hierons
.
COMPSAC Workshops,
page 439.
IEEE Computer Society,
(
2012
)
Robert M. Hierons
.
COMPSAC Workshops,
page 439.
IEEE Computer Society,
(
2012
)
6 months and 10 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A trajectory-based strict semantics for program slicing.
Richard W. Barraclough
,
David Binkley
,
Sebastian Danicic
,
Mark Harman
,
Robert M. Hierons
,
Ákos Kiss 0001
,
Mike Laurence
, and
Lahcen Ouarbya
.
Theor. Comput. Sci.
411(11-13):1372-1386
(
2010
)
Richard W. Barraclough
,
David Binkley
,
Sebastian Danicic
,
Mark Harman
,
Robert M. Hierons
,
Ákos Kiss 0001
,
Mike Laurence
, and
Lahcen Ouarbya
.
Theor. Comput. Sci.
411(11-13):1372-1386
(
2010
)
6 months and 14 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The complexity of asynchronous model based testing.
Robert M. Hierons
.
Theor. Comput. Sci.
(
2012
)
Robert M. Hierons
.
Theor. Comput. Sci.
(
2012
)
6 months and 14 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A framework for pathologies of message sequence charts.
Haitao Dan
,
Robert M. Hierons
, and
Steve Counsell
.
Information & Software Technology
54(11):1283-1295
(
2012
)
Haitao Dan
,
Robert M. Hierons
, and
Steve Counsell
.
Information & Software Technology
54(11):1283-1295
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Using Time to Add Order to Distributed Testing.
Robert M. Hierons
,
Mercedes G. Merayo
, and
Manuel Núñez
.
FM,
volume 7436 of Lecture Notes in Computer Science,
page 232-246.
Springer,
(
2012
)
Robert M. Hierons
,
Mercedes G. Merayo
, and
Manuel Núñez
.
FM,
volume 7436 of Lecture Notes in Computer Science,
page 232-246.
Springer,
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
FORTEST: Formal Methods and Testing
J. P. Bowen
,
K. Bogdanov
,
J. A. Clark
,
M. Harman
,
R. M. Hierons
, and
P. Krause
.
Intl Computer Software and Applications Conference,
page 91-101.
Oxford, UK,
IEEE Computer Society Press,
(
August 2002
)
J. P. Bowen
,
K. Bogdanov
,
J. A. Clark
,
M. Harman
,
R. M. Hierons
, and
P. Krause
.
Intl Computer Software and Applications Conference,
page 91-101.
Oxford, UK,
IEEE Computer Society Press,
(
August 2002
)
9 months ago
by
lucio_duarte
3
URL
DOI
TeX
Using schedulers to test probabilistic distributed systems.
Robert M. Hierons
, and
Manuel Núñez
.
Formal Asp. Comput.
24(4-6):679-699
(
2012
)
Robert M. Hierons
, and
Manuel Núñez
.
Formal Asp. Comput.
24(4-6):679-699
(
2012
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Checking states and transitions of a set of communicating finite state machines.
Robert M. Hierons
.
Microprocessors and Microsystems - Embedded Hardware Design
24(9):443-452
(
2001
)
Robert M. Hierons
.
Microprocessors and Microsystems - Embedded Hardware Design
24(9):443-452
(
2001
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Oracles for Distributed Testing.
Robert M. Hierons
.
IEEE Trans. Software Eng.
38(3):629-641
(
2012
)
Robert M. Hierons
.
IEEE Trans. Software Eng.
38(3):629-641
(
2012
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Semantic Mutation Analysis of Floating-Point Comparison.
Haitao Dan
, and
Robert M. Hierons
.
ICST,
page 290-299.
IEEE,
(
2012
)
Haitao Dan
, and
Robert M. Hierons
.
ICST,
page 290-299.
IEEE,
(
2012
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
SMT-C: A Semantic Mutation Testing Tools for C.
Haitao Dan
, and
Robert M. Hierons
.
ICST,
page 654-663.
IEEE,
(
2012
)
Haitao Dan
, and
Robert M. Hierons
.
ICST,
page 654-663.
IEEE,
(
2012
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Complexity of Data Dependence Problems for Program Schemas with Concurrency.
Sebastian Danicic
,
Robert M. Hierons
, and
Michael R. Laurence
.
ACM Trans. Comput. Log.
13(2):15
(
2012
)
Sebastian Danicic
,
Robert M. Hierons
, and
Michael R. Laurence
.
ACM Trans. Comput. Log.
13(2):15
(
2012
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Estimation of Failure Rate using Random and Partition Testing.
Robert M. Hierons
, and
Michael P. Wiper
.
Softw. Test., Verif. Reliab.
7(3):153-164
(
1997
)
Robert M. Hierons
, and
Michael P. Wiper
.
Softw. Test., Verif. Reliab.
7(3):153-164
(
1997
)
a year and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Conditioned slicing supports partition testing.
Robert M. Hierons
,
Mark Harman
,
Chris Fox
,
Lahcen Ouarbya
, and
Mohammed Daoudi
.
Softw. Test., Verif. Reliab.
12(1):23-28
(
2002
)
Robert M. Hierons
,
Mark Harman
,
Chris Fox
,
Lahcen Ouarbya
, and
Mohammed Daoudi
.
Softw. Test., Verif. Reliab.
12(1):23-28
(
2002
)
a year and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact