sign in · help · news · about ·

BibSonomy :: author :: Hierons ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(172)

<< < 1 | 2 | 3 > >>

On the computational complexity of dynamic slicing problems for program schemas.
Sebastian Danicic, Robert M. Hierons, and Michael R. Laurence Mathematical Structures in Computer Science 21(6):1339-1362 (2011)
to dblp by dblp on Dec 19, 2011, 12:00 AM
URL | BibTeX
Measuring personality from keyboard and mouse use.
Iftikhar Ahmed Khan, Willem-Paul Brinkman, Nick Fine, and Robert M. Hierons ECCE, page 38. ACM, (2008)
to dblp by dblp on Dec 6, 2011, 12:00 AM
URL | BibTeX
Complexity of Data Dependence problems for Program Schemas with Concurrency
Sebastian Danicic, Robert M. Hierons, and Michael R. Laurence CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Checking Finite State Machine Conformance when there are Distributed Observations
Robert M. Hierons CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Testing a system specified using Statecharts and Z.
Robert M. Hierons, Sadegh Sadeghipour, and Harbhajan Singh Information & Software Technology 43(2):137-149 (2001)
to dblp by dblp and 1 other user on Nov 30, 2011, 12:00 AM
URL | BibTeX
Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults.
Robert M. Hierons Information & Software Technology 43(9):551-560 (2001)
to dblp by dblp on Nov 30, 2011, 12:00 AM
URL | BibTeX
Mutation Testing.
Robert M. Hierons, Mercedes G. Merayo, and Manuel Núñez Encyclopedia of Software Engineering, Taylor & Francis, (2010)
to dblp by dblp on Nov 25, 2011, 12:00 AM
URL | BibTeX
A Longitudinal Study of Fan-In and Fan-Out Coupling in Open-Source Systems.
Asma Mubarak, Steve Counsell, and Robert M. Hierons IJISMD 2(4):1-26 (2011)
to dblp by dblp on Nov 18, 2011, 12:00 AM
URL | BibTeX
Search Algorithms for Regression Test Case Prioritization.
Zheng Li, Mark Harman, and Robert M. Hierons IEEE Trans. Software Eng. 33(4):225-237 (2007)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports.
Robert M. Hierons IEEE Trans. Computers 60(12):1818-1822 (2011)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas.
Sebastian Danicic, Robert M. Hierons, and Michael R. Laurence J. Log. Algebr. Program. 80(8):481-496 (2011)
to dblp by dblp on Nov 2, 2011, 12:00 AM
URL | BibTeX
Conformance Relations for Distributed Testing Based on CSP.
Ana Cavalcanti, Marie-Claude Gaudel, and Robert M. Hierons ICTSS, volume 7019 of Lecture Notes in Computer Science, page 48-63. Springer, (2011)
to dblp by dblp on Nov 2, 2011, 12:00 AM
URL | BibTeX
An integrated search-based approach for automatic testing from extended finite state machine EFSM models.
Abdul Salam Kalaji, Robert M. Hierons, and Stephen Swift Information & Software Technology 53(12):1297-1318 (2011)
to dblp by dblp on Oct 20, 2011, 12:00 AM
URL | BibTeX
Do moods affect programmers' debug performance?
Iftikhar Ahmed Khan, Willem-Paul Brinkman, and Robert M. Hierons Cognition, Technology & Work 13(4):245-258 (2011)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX
Scenarios-based testing of systems with distributed ports.
Robert M. Hierons, Mercedes G. Merayo, and Manuel Núñez Softw., Pract. Exper. 41(10):999-1026 (2011)
to dblp by dblp on Sep 14, 2011, 12:00 AM
URL | BibTeX
Equivalence of conservative, free, linear program schemas is decidable.
Michael R. Laurence, Sebastian Danicic, Mark Harman, Robert M. Hierons, and John Howroyd Theor. Comput. Sci. 290(1):831-862 (2003)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications.
Mohammad Saeed Abou Trab, Steve Counsell, and Robert M. Hierons ECBS, page 61-70. IEEE Computer Society, (2011)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
Conditions for Resolving Observability Problems in Distributed Testing.
Jessica Chen, Robert M. Hierons, and Hasan Ural FORTE, volume 3235 of Lecture Notes in Computer Science, page 229-242. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
FORTEST: Formal Methods and Testing.
Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, and Paul Krause COMPSAC, page 91-104. IEEE Computer Society, (2002)
to FORTEST engineering formal methods myown software testing by jpbowen and 1 other user on Aug 1, 2011, 9:59 PM
URL | BibTeX
Using formal specifications to support testing.
Robert 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, and Hussein Zedan ACM Comput. Surv. (2009)
to engineering formal methods myown software specifications support testing by jpbowen and 1 other user on Aug 1, 2011, 7:39 PM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper