Robert M. Hierons

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.

[BibT_eX]

[DOI]

Christopher Robinson-Mallett

Softw. Test. Verification Reliab., 2006

Achieving communication coverage in testing.

[BibT_eX]

[DOI]

Peter Liggesmeyer

ACM SIGSOFT Softw. Eng. Notes, 2006

Applying adaptive test cases to nondeterministic implementations.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2006

Overcoming observability problems in distributed test architectures.

[BibT_eX]

[DOI]

Jessica Chen

Inf. Process. Lett., 2006

Improving test quality using robust unique input/output circuit sequences (UIOCs).

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2006

Guest Editorial.

[BibT_eX]

[DOI]

John Derrick

Formal Aspects Comput., 2006

Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs.

[BibT_eX]

[DOI]

Comput. J., 2006

Separating sequence overlap for automated test sequence generation.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2006

The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency Graph.

[BibT_eX]

[DOI]

Proceedings of the Testing: Academia and Industry Conference, 2006

Programmer's mood and their performance.

[BibT_eX]

[DOI]

Iftikhar Ahmed Khan

Willem-Paul Brinkman

Proceedings of the 13th Eurpoean conference on Cognitive ergonomics, 2006

2005

Editorial: Validating our findings.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2005

Unifying program slicing and concept assignment for higher-level executable source code extraction.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2005

<i>ConSUS</i>: a light-weight program conditioner.

[BibT_eX]

[DOI]

J. Syst. Softw., 2005

Constructing multiple unique input/output sequences using metaheuristic optimisation techniques.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2005

Branch-Coverage Testability Transformation for Unstructured Programs.

[BibT_eX]

[DOI]

Chris Fox

Comput. J., 2005

Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas.

[BibT_eX]

[DOI]

Comput. J., 2005

Search-Based Amorphous Slicing.

[BibT_eX]

[DOI]

Deji Fatiregun

Proceedings of the 12th Working Conference on Reverse Engineering, 2005

Eliminating Redundant Tests in a Checking Sequence.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2005

Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2005

Resolving Observability Problems in Distributed Test Architectures.

[BibT_eX]

[DOI]

Jessica Chen

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Testability Transformation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

Testing conformance of a deterministic implementation against a non-deterministic stream X-machine.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2004

Book Reviews.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2004

Editorial: Software testing in the United Kingdom.

[BibT_eX]

[DOI]

John A. Clark

Softw. Test. Verification Reliab., 2004

ConSIT: a fully automated conditioned program slicer.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2004

A flexible environment to evaluate state-based test techniques.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2004

Using a minimal number of resets when testing from a finite state machine.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

On the testability of SDL specifications.

[BibT_eX]

[DOI]

T.-H. Kim

Comput. Networks, 2004

Loop Squashing Transformations for Amorphous Slicing.

[BibT_eX]

[DOI]

Proceedings of the 11th Working Conference on Reverse Engineering, 2004

Amorphous Procedure Extraction.

[BibT_eX]

[DOI]

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

Evolving Transformation Sequences using Genetic Algorithms.

[BibT_eX]

[DOI]

Deji Fatiregun

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

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation, 2004

How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution.

[BibT_eX]

[DOI]

Konstantinos Adamopoulos

Proceedings of the Genetic and Evolutionary Computation, 2004

Conditions for Resolving Observability Problems in Distributed Testing.

[BibT_eX]

[DOI]

Jessica Chen

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Equivalence of conservative, free, linear program schemas is decidable.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Editorial: Testing in the large through the small?

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2003

UIO sequence based checking sequences for distributed test architectures.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2003

Formulating software engineering as a search problem.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2003

Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine.

[BibT_eX]

[DOI]

Comput. J., 2003

Automatically Generating Information from a Z Specification to Support the Classification Tree Method.

[BibT_eX]

[DOI]

Harbhajan Singh

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

A Multiple Hill Climbing Approach to Software Module Clustering.

[BibT_eX]

[DOI]

Kiarash Mahdavi

Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

Finding Building Blocks for Software Clustering.

[BibT_eX]

[DOI]

Kiarash Mahdavi

Proceedings of the Genetic and Evolutionary Computation, 2003

Search Based Transformations.

[BibT_eX]

[DOI]

Deji Fatiregun

Proceedings of the Genetic and Evolutionary Computation, 2003

Concerning the Ordering of Adaptive Test Sequences.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 2003

Unions of Slices Are Not Slices.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2002

Reduced Length Checking Sequences.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2002

Conditioned slicing supports partition testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2002

Editorial: Formal methods and testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2002

Code Extraction Algorithms which Unify Slicing and Concept Assignment.

[BibT_eX]

[DOI]

Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

VADA: A Transformation-Based System for Variable Dependence Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

A Post-Placement Side-Effect Removal Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Evolutionary Testing Supported by Slicing and Transformation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Mark Proctor

Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

Improving Evolutionary Testing By Flag Removal.

[BibT_eX]

Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

Expanding an Extended Finite State Machine to aid Testability.

[BibT_eX]

[DOI]

T.-H. Kim

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

FORTEST: Formal Methods and Testing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2001

Real-Time Systems and Software.

[BibT_eX]

[DOI]

Softw. Focus, 2001

An overview of program slicing.

[BibT_eX]

[DOI]

Softw. Focus, 2001

Checking states and transitions of a set of communicating finite state machines.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2001

Testing a system specified using Statecharts and Z.

[BibT_eX]

[DOI]

Sadegh Sadeghipour

Harbhajan Singh

Inf. Softw. Technol., 2001

Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2001

Node Coarsening Calculi for Program Slicing.

[BibT_eX]

[DOI]

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001

Pre/Post Conditioned Slicing.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Software Maintenance, 2001

2000

Editorial: special issue on specification-based testing.

[BibT_eX]

[DOI]

John Derrick

Softw. Test. Verification Reliab., 2000

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

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2000

Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2000

ConSIT: A Conditioned Program Slicer.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Conference on Software Maintenance, 2000

1999

Using Program Slicing to Assist in the Detection of Equivalent Mutants.

[BibT_eX]

[DOI]

Sebastian Danicic

Softw. Test. Verification Reliab., 1999

Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review).

[BibT_eX]

Softw. Test. Verification Reliab., 1999

Editorial: What does testing tell us?

[BibT_eX]

Softw. Test. Verification Reliab., 1999

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

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1999

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

[BibT_eX]

[DOI]

Comput. Commun., 1999

Minimizing the Cost of Fault Location when Testing from a Finite State Machine.

[BibT_eX]

Comput. Commun., 1999

Program Simplification as a Means of Approximating Undecidable Propositions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Hugh Edwards

Bill Jackson

Comb. Probab. Comput., 1998

Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine.

[BibT_eX]

[DOI]

Comput. J., 1998

1997

Estimation of Failure Rate using Random and Partition Testing.

[BibT_eX]

[DOI]

Michael P. Wiper

Softw. Test. Verification Reliab., 1997

Testing from a Z Specification.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1997

testing from semi-independent communicating finite state machines with a slow environment.

[BibT_eX]

[DOI]

IEE Proc. Softw. Eng., 1997

Testing from a Finite-State Machine: Extending Invertibility to Sequences.

[BibT_eX]

[DOI]

Comput. J., 1997

1996

Extending Test Sequence Overlap by Invertibility.

[BibT_eX]

[DOI]

Comput. J., 1996

1992

Using formal specifications to enhance the software testing process.

[BibT_eX]

[DOI]