Robert M. Hierons

According to our database1, Robert M. Hierons authored at least 261 papers between 1992 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Using mutual information to test from Finite State Machines: Test suite selection.
Inf. Softw. Technol., 2021

2020
Many-Objective Test Suite Generation for Software Product Lines.
ACM Trans. Softw. Eng. Methodol., 2020

Inputs and Outputs in CSP: A Model and a Testing Theory.
ACM Trans. Comput. Log., 2020

On automation in software engineering.
Softw. Test. Verification Reliab., 2020

Conference Virtualization.
Softw. Test. Verification Reliab., 2020

Working Across Boundaries.
Softw. Test. Verification Reliab., 2020

Peer Reviewing in Software Engineering: Perspectives from STVR Co-Editors-in-Chief.
ACM SIGSOFT Softw. Eng. Notes, 2020

Implementation relations and testing for cyclic systems with refusals and discrete time.
J. Syst. Softw., 2020

Guest Editorial: Special Section on ICTSS.
Inf. Softw. Technol., 2020

Four-valued monitorability of ω-regular languages.
CoRR, 2020

Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints.
IEEE Access, 2020

Four-Valued Monitorability of ømega-Regular Languages.
Proceedings of the Formal Methods and Software Engineering, 2020

2019
The world changes.
Softw. Test. Verification Reliab., 2019

A partial oracle for uniformity statistics.
Softw. Qual. J., 2019

FSM quasi-equivalence testing via reduction and observing absences.
Sci. Comput. Program., 2019

Normalised Squeeziness and Failed Error Propagation.
Inf. Process. Lett., 2019

Using Squeeziness to test component-based systems defined as Finite State Machines.
Inf. Softw. Technol., 2019

Testing Robots Using CSP.
Proceedings of the Tests and Proofs - 13th International Conference, 2019

An Implementation Relation for Cyclic Systems with Refusals and Discrete Time.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Local Observability and Controllability Enforcement in Distributed Testing.
Proceedings of the Quality of Information and Communications Technology, 2019

A Mechanised Proof of an Adaptive State Counting Algorithm.
Proceedings of the Testing Software and Systems, 2019

2018
Bounded Reordering in the Distributed Test Architecture.
IEEE Trans. Reliab., 2018

A mapping study on testing non-testable systems.
Softw. Qual. J., 2018

A tool supported methodology to passively test asynchronous systems with multiple users.
Inf. Softw. Technol., 2018

Special section of Tests and Proofs 2016.
Formal Aspects Comput., 2018

Passive testing with asynchronous communications and timestamps.
Distributed Comput., 2018

Smart contracts vulnerabilities: a call for blockchain software engineering?
Proceedings of the 2018 International Workshop on Blockchain Oriented Software Engineering, 2018

2017
Testing from Partial Finite State Machines without Harmonised Traces.
IEEE Trans. Software Eng., 2017

Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs.
ACM Trans. Softw. Eng. Methodol., 2017

How to manage a conference special issue.
Softw. Test. Verification Reliab., 2017

Introduction to the Software Engineering and Formal Methods 2013 special issue.
Softw. Syst. Model., 2017

Implementation relations and probabilistic schedulers in the distributed test architecture.
J. Syst. Softw., 2017

An extended framework for passive asynchronous testing.
J. Log. Algebraic Methods Program., 2017

Decidability and complexity for quiescent consistency and its variations.
Inf. Comput., 2017

Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences.
Comput. J., 2017

Hardness of Deriving Invertible Sequences from Finite State Machines.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Integrating Graphical and Natural Language Specifications to Support Analysis and Testing.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Constraint-Based Oracles for Timed Distributed Systems.
Proceedings of the Testing Software and Systems, 2017

2016
Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences.
IEEE Trans. Software Eng., 2016

SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization.
ACM Trans. Softw. Eng. Methodol., 2016

Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets.
IEEE Trans. Computers, 2016

Editorial.
Softw. Test. Verification Reliab., 2016

The dreaded desk reject.
Softw. Test. Verification Reliab., 2016

Multi-objective optimisation for regression testing.
Inf. Sci., 2016

Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences.
Comput. J., 2016

A More Precise Implementation Relation for Distributed Testing.
Comput. J., 2016

A Suspension-Trace Semantics for CSP.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness.
Proceedings of the Testing Software and Systems, 2016

Controllability Through Nondeterminism in Distributed Testing.
Proceedings of the Testing Software and Systems, 2016

Decidability and Complexity for Quiescent Consistency.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015
Generating Complete Controllable Test Suites for Distributed Testing.
IEEE Trans. Software Eng., 2015

Special issue on testing, analysis and debugging of concurrent programs.
Softw. Test. Verification Reliab., 2015

A Test Framework for Communications-Critical Large-Scale Systems.
IEEE Softw., 2015

Incomplete Distinguishing Sequences for Finite State Machines.
Comput. J., 2015

A methodology for validating cloud models using metamorphic testing.
Ann. des Télécommunications, 2015

Generating Minimum Height ADSs for Partially Specified Finite State Machines.
Proceedings of the Information Sciences and Systems 2015, 2015

Test and Production Classes of an Industrial C# System: A Refactoring and Fault Perspective.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014
Combining Centralised and Distributed Testing.
ACM Trans. Softw. Eng. Methodol., 2014

Automated generation of computationally hard feature models using evolutionary algorithms.
Expert Syst. Appl., 2014

Timed implementation relations for the distributed test architecture.
Distributed Comput., 2014

The Oracle Problem When Testing from MSCs.
Comput. J., 2014

Distinguishing Sequences for Partially Specified FSMs.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

An analysis of the relationship between conditional entropy and failed error propagation in software testing.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Amorphous Slicing of Extended Finite State Machines.
IEEE Trans. Software Eng., 2013

Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces.
IEEE Trans. Computers, 2013

Using genetic algorithms to generate test sequences for complex timed systems.
Soft Comput., 2013

Semantic mutation testing.
Sci. Comput. Program., 2013

Testing Real-Time Embedded Systems using Timed Automata based approaches.
J. Syst. Softw., 2013

Guest Editorial: Special Section from the 11th International Conference on Quality Software (QSIC 2011).
Inf. Softw. Technol., 2013

Towards estimating computer users' mood from interaction behaviour with keyboard and mouse.
Frontiers Comput. Sci., 2013

Implementation Relations for Testing Through Asynchronous Channels.
Comput. J., 2013

An Implementation Relation and Test Framework for Timed Distributed Systems.
Proceedings of the Testing Software and Systems, 2013

Conditional-Based Refactorings and Fault-Proneness: An Empirical Study.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Passive Testing with Asynchronous Communications.
Proceedings of the Formal Techniques for Distributed Systems, 2013

Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

Testing with Inputs and Outputs in CSP.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012
Oracles for Distributed Testing.
IEEE Trans. Software Eng., 2012

Complexity of Data Dependence Problems for Program Schemas with Concurrency.
ACM Trans. Comput. Log., 2012

The complexity of asynchronous model based testing.
Theor. Comput. Sci., 2012

Squeeziness: An information theoretic measure for avoiding fault masking.
Inf. Process. Lett., 2012

A framework for pathologies of message sequence charts.
Inf. Softw. Technol., 2012

Using schedulers to test probabilistic distributed systems.
Formal Aspects Comput., 2012

Implementation relations and test generation for systems with distributed interfaces.
Distributed Comput., 2012

Overcoming controllability problems in distributed testing from an input output transition system.
Distributed Comput., 2012

Controllability Problems in MSC-Based Testing.
Comput. J., 2012

SMT-C: A Semantic Mutation Testing Tools for C.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Semantic Mutation Analysis of Floating-Point Comparison.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Using Time to Add Order to Distributed Testing.
Proceedings of the FM 2012: Formal Methods, 2012

Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Model Based Test Automation through Asynchronous Channels.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011
Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports.
IEEE Trans. Computers, 2011

ICST 2008 Special Issue.
Softw. Test. Verification Reliab., 2011

Scenarios-based testing of systems with distributed ports.
Softw. Pract. Exp., 2011

Testing timed systems modeled by Stream X-machines.
Softw. Syst. Model., 2011

On the computational complexity of dynamic slicing problems for program schemas.
Math. Struct. Comput. Sci., 2011

Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas.
J. Log. Algebraic Methods Program., 2011

Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas.
J. Log. Algebraic Methods Program., 2011

Mutation testing on an object-oriented framework: An experience report.
Inf. Softw. Technol., 2011

Automated metamorphic testing on the analyses of feature models.
Inf. Softw. Technol., 2011

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models.
Inf. Softw. Technol., 2011

A Longitudinal Study of Fan-In and Fan-Out Coupling in Open-Source Systems.
Int. J. Inf. Syst. Model. Des., 2011

Do moods affect programmers' debug performance?
Cogn. Technol. Work., 2011

Checking Finite State Machine Conformance when there are Distributed Observations
CoRR, 2011

Conformance Relations for Distributed Testing Based on CSP.
Proceedings of the Testing Software and Systems, 2011

Experimental Comparison of Different Techniques to Generate Adaptive Sequences.
Proceedings of the Advances in Computational Intelligence, 2011

A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems.
Proceedings of the Advances in Computational Intelligence, 2011

Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM.
Proceedings of the 2011 IEEE Symposium on Artificial Life, 2011

Conformance Testing from Message Sequence Charts.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications.
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010
Mutation Testing.
Proceedings of the Encyclopedia of Software Engineering, 2010

Checking experiments for stream X-machines.
Theor. Comput. Sci., 2010

Canonical finite state machines for distributed systems.
Theor. Comput. Sci., 2010

A trajectory-based strict semantics for program slicing.
Theor. Comput. Sci., 2010

Reaching and Distinguishing States of Distributed Systems.
SIAM J. Comput., 2010

An Empirical Investigation of Code Smell 'Deception' and Research Contextualisation through Paul's Criteria.
J. Comput. Inf. Technol., 2010

Practitioner-based measurement: a collaborative approach.
Commun. ACM, 2010

Generating a checking sequence with a minimum number of reset transitions.
Autom. Softw. Eng., 2010

Estimating the feasibility of transition paths in extended finite state machines.
Autom. Softw. Eng., 2010

Exploring the Eradication of Code Smells: An Empirical and Theoretical Perspective.
Adv. Softw. Eng., 2010

A Multi-criteria Decision Making Framework for Real Time Model-Based Testing.
Proceedings of the Testing, 2010

Non-local Choice and Implied Scenarios.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

An Evolutionary Study of Fan-in and Fan-out Metrics in OSS.
Proceedings of the Fourth IEEE International Conference on Research Challenges in Information Science, 2010

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach.
Proceedings of the Third International Conference on Software Testing, 2010

Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem.
Proceedings of the Third International Conference on Software Testing, 2010

Is a strategy for code smell assessment long overdue?
Proceedings of the 2010 ICSE Workshop on Emerging Trends in Software Metrics, 2010

Testing Probabilistic Distributed Systems.
Proceedings of the Formal Techniques for Distributed Systems, 2010

10421 Summary - Model-Based Testing in Practice.
Proceedings of the Model-Based Testing in Practice, 17.10. - 22.10.2010, 2010

10421 Abstracts Collection - Model-Based Testing in Practice.
Proceedings of the Model-Based Testing in Practice, 17.10. - 22.10.2010, 2010

Model-Based Testing for the Cloud.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009
Verdict functions in testing with a fault domain or test hypotheses.
ACM Trans. Softw. Eng. Methodol., 2009

Mutation testing from probabilistic and stochastic finite state machines.
J. Syst. Softw., 2009

Testing from a stochastic timed system with a fault model.
J. Log. Algebraic Methods Program., 2009

Using status messages in the distributed test architecture.
Inf. Softw. Technol., 2009

Using formal specifications to support testing.
ACM Comput. Surv., 2009

Overcoming controllability problems with fewest channels between testers.
Comput. Networks, 2009

Simulation Relations for Systems with Distributed Interfaces.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms.
Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM).
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Does an 80: 20 rule apply to Java coupling?
Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering, 2009

JPEG Steganography: A Performance Evaluation of Quantization Tables.
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Using communication coverage criteria and partial model generation to assist software integration testing.
Softw. Qual. J., 2008

Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine.
Formal Aspects Comput., 2008

Checking sequences for distributed test architectures.
Distributed Comput., 2008

The Effect of the Distributed Test Architecture on the Power of Testing.
Comput. J., 2008

Extending Stream X-Machines to Specify and Test Systems with Timeouts.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Using adaptive distinguishing sequences in checking sequence constructions.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Testing in the Distributed Test Architecture: An Extended Abstract.
Proceedings of the Eighth International Conference on Quality Software, 2008

Implementation Relations for the Distributed Test Architecture.
Proceedings of the Testing of Software and Communicating Systems, 2008

Towards a Computer Interaction-Based Mood Measure Instrument.
Proceedings of the 20th Annual Workshop of the Psychology of Programming Interest Group, 2008

The precursor to an industrial software metrics program.
Proceedings of the ITI 2008 30th International Conference on Information Technology Interfaces, 2008

Testability Transformation - Program Transformation to Improve Testability.
Proceedings of the Formal Methods and Testing, 2008

Testing in the Distributed Test Architecture.
Proceedings of the Formal Methods and Testing, 2008

Measuring personality from keyboard and mouse use.
Proceedings of the ECCE 2008, 2008

An Empirical Study of "Removed" Classes in Java Open-Source Systems.
Proceedings of the Advanced Techniques in Computing Sciences and Software Engineering, 2008

Controllable Test Cases for the Distributed Test Architecture.
Proceedings of the Automated Technology for Verification and Analysis, 2008

High Capacity Steganographic Method Based Upon JPEG.
Proceedings of the The Third International Conference on Availability, 2008

2007
Search Algorithms for Regression Test Case Prioritization.
IEEE Trans. Software Eng., 2007

Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time.
Theor. Comput. Sci., 2007

Heuristics for fault diagnosis when testing from finite state machines.
Softw. Test. Verification Reliab., 2007

Package Evolvability and its Relationship with Refactoring.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Reducing the cost of applying adaptive test cases.
Comput. Networks, 2007

Refactoring test suites versus test behaviour: a TTCN-3 perspective.
Proceedings of the Fourth International Workshop on Software Quality Assurance, 2007

A Thread-tag Based Semantics for Sequence Diagrams.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Moods and Programmers' Performance.
Proceedings of the 19th Annual Workshop of the Psychology of Programming Interest Group, 2007

Thread-Based Analysis of Sequence Diagrams.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Mood independent programming.
Proceedings of the 14th European Conference on Cognitive Ergonomics: invent! explore!, 2007

A Test Taxonomy Applied to the Mechanics of Java Refactorings.
Proceedings of the Advances in Computer and Information Sciences and Engineering, 2007

A Meta-analysis Approach to Refactoring and XP.
Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

2006
Avoiding coincidental correctness in boundary value analysis.
ACM Trans. Softw. Eng. Methodol., 2006

Optimizing the Length of Checking Sequences.
IEEE Trans. Computers, 2006

A Tribute to Martin Woodward.
Softw. Test. Verification Reliab., 2006

Editorial: Addressing industrial challenges - UKTest 2005 and beyond.
Softw. Test. Verification Reliab., 2006

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. Verification Reliab., 2006

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. Verification Reliab., 2006

Achieving communication coverage in testing.
ACM SIGSOFT Softw. Eng. Notes, 2006

Applying adaptive test cases to nondeterministic implementations.
Inf. Process. Lett., 2006

Overcoming observability problems in distributed test architectures.
Inf. Process. Lett., 2006

Improving test quality using robust unique input/output circuit sequences (UIOCs).
Inf. Softw. Technol., 2006

Guest Editorial.
Formal Aspects Comput., 2006

Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs.
Comput. J., 2006

Separating sequence overlap for automated test sequence generation.
Autom. Softw. Eng., 2006

The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency Graph.
Proceedings of the Testing: Academia and Industry Conference, 2006

2005
Editorial: Validating our findings.
Softw. Test. Verification Reliab., 2005

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. Verification Reliab., 2005

Unifying program slicing and concept assignment for higher-level executable source code extraction.
Softw. Pract. Exp., 2005

<i>ConSUS</i>: a light-weight program conditioner.
J. Syst. Softw., 2005

Constructing multiple unique input/output sequences using metaheuristic optimisation techniques.
IEE Proc. Softw., 2005

Branch-Coverage Testability Transformation for Unstructured Programs.
Comput. J., 2005

Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas.
Comput. J., 2005

Search-Based Amorphous Slicing.
Proceedings of the 12th Working Conference on Reverse Engineering, 2005

Eliminating Redundant Tests in a Checking Sequence.
Proceedings of the Testing of Communicating Systems, 2005

Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.
Proceedings of the Genetic and Evolutionary Computation Conference, 2005

Resolving Observability Problems in Distributed Test Architectures.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004
Testability Transformation.
IEEE Trans. Software Eng., 2004

Testing conformance of a deterministic implementation against a non-deterministic stream X-machine.
Theor. Comput. Sci., 2004

Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting.
IEEE Trans. Computers, 2004

Book Reviews.
Softw. Test. Verification Reliab., 2004

Editorial: Software testing in the United Kingdom.
Softw. Test. Verification Reliab., 2004

ConSIT: a fully automated conditioned program slicer.
Softw. Pract. Exp., 2004

A flexible environment to evaluate state-based test techniques.
ACM SIGSOFT Softw. Eng. Notes, 2004

Using a minimal number of resets when testing from a finite state machine.
Inf. Process. Lett., 2004

On the testability of SDL specifications.
Comput. Networks, 2004

Loop Squashing Transformations for Amorphous Slicing.
Proceedings of the 11th Working Conference on Reverse Engineering, 2004

Amorphous Procedure Extraction.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Evolving Transformation Sequences using Genetic Algorithms.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs).
Proceedings of the Genetic and Evolutionary Computation, 2004

How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution.
Proceedings of the Genetic and Evolutionary Computation, 2004

Conditions for Resolving Observability Problems in Distributed Testing.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003
Equivalence of conservative, free, linear program schemas is decidable.
Theor. Comput. Sci., 2003

Editorial: Testing in the large through the small?
Softw. Test. Verification Reliab., 2003

UIO sequence based checking sequences for distributed test architectures.
Inf. Softw. Technol., 2003

Formulating software engineering as a search problem.
IEE Proc. Softw., 2003

Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine.
Comput. J., 2003

Automatically Generating Information from a Z Specification to Support the Classification Tree Method.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

A Multiple Hill Climbing Approach to Software Module Clustering.
Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

Finding Building Blocks for Software Clustering.
Proceedings of the Genetic and Evolutionary Computation, 2003

Search Based Transformations.
Proceedings of the Genetic and Evolutionary Computation, 2003

Concerning the Ordering of Adaptive Test Sequences.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

Computing Unique Input/Output Sequences Using Genetic Algorithms.
Proceedings of the Formal Approaches to Software Testing, 2003

Unions of Slices Are Not Slices.
Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003

2002
Comparing test sets and criteria in the presence of test hypotheses and fault domains.
ACM Trans. Softw. Eng. Methodol., 2002

Reduced Length Checking Sequences.
IEEE Trans. Computers, 2002

Conditioned slicing supports partition testing.
Softw. Test. Verification Reliab., 2002

Editorial: Formal methods and testing.
Softw. Test. Verification Reliab., 2002

Code Extraction Algorithms which Unify Slicing and Concept Assignment.
Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

VADA: A Transformation-Based System for Variable Dependence Analysis.
Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

A Post-Placement Side-Effect Removal Algorithm.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Evolutionary Testing Supported by Slicing and Transformation.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization.
Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

Improving Evolutionary Testing By Flag Removal.
Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

Expanding an Extended Finite State Machine to aid Testability.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

FORTEST: Formal Methods and Testing.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
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. Verification Reliab., 2001

Real-Time Systems and Software.
Softw. Focus, 2001

An overview of program slicing.
Softw. Focus, 2001

Checking states and transitions of a set of communicating finite state machines.
Microprocess. Microsystems, 2001

Testing a system specified using Statecharts and Z.
Inf. Softw. Technol., 2001

Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults.
Inf. Softw. Technol., 2001

Node Coarsening Calculi for Program Slicing.
Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension.
Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001

Pre/Post Conditioned Slicing.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

2000
Editorial: special issue on specification-based testing.
Softw. Test. Verification Reliab., 2000

Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir and Amrit L. Goel, Springer-Verlag, 2000 (Book Review).
Softw. Test. Verification Reliab., 2000

Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine.
Formal Aspects Comput., 2000

ConSIT: A Conditioned Program Slicer.
Proceedings of the 2000 International Conference on Software Maintenance, 2000

1999
Using Program Slicing to Assist in the Detection of Equivalent Mutants.
Softw. Test. Verification Reliab., 1999

Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review).
Softw. Test. Verification Reliab., 1999

Editorial: What does testing tell us?
Softw. Test. Verification Reliab., 1999

Correct Systems: Building a Business Process Solution, by Mike Holcombe and Florentin Ipate, Springer-Verlag, 1998 (Book Review).
Softw. Test. Verification Reliab., 1999

Testing of Communicating Systems, Vol. 10 by Myungchul Kim, Sugwon Kang, Keesoo Hong (Eds.).
Comput. Commun., 1999

Minimizing the Cost of Fault Location when Testing from a Finite State Machine.
Comput. Commun., 1999

Program Simplification as a Means of Approximating Undecidable Propositions.
Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

1998
The Zero-Free Intervals for Characteristic Polynomials of Matroids.
Comb. Probab. Comput., 1998

Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine.
Comput. J., 1998

1997
Estimation of Failure Rate using Random and Partition Testing.
Softw. Test. Verification Reliab., 1997

Testing from a Z Specification.
Softw. Test. Verification Reliab., 1997

testing from semi-independent communicating finite state machines with a slow environment.
IEE Proc. Softw. Eng., 1997

Testing from a Finite-State Machine: Extending Invertibility to Sequences.
Comput. J., 1997

1996
Extending Test Sequence Overlap by Invertibility.
Comput. J., 1996

1992
Using formal specifications to enhance the software testing process.
PhD thesis, 1992


  Loading...