Biblioteca Digital

15 resultados para Computer software, Testing

em Department of Computer Science E-Repository - King's College London, Strand, London

Special Issue on Formal Approaches to Software Testing

Relevância:

100.00% 100.00%

Publicador:

A Theoretical and Empirical Analysis of Evolutionary Testing and Hill Climbing for Structural Test Data Generation

Relevância:

100.00% 100.00%

Publicador:

FORTEST: Formal Methods and Testing (joint panel paper)

Relevância:

100.00% 100.00%

Publicador:

Heuristics for fault diagnosing when testing from finite state machines

Relevância:

90.00% 90.00%

Publicador:

Conditioned Slicing Supports Partition Testing

Relevância:

90.00% 90.00%

Publicador:

Using program slicing to simplify testing

Relevância:

90.00% 90.00%

Publicador:

Special Issue of papers from UK Testing Workshop

Relevância:

90.00% 90.00%

Publicador:

Pareto Efficient Multi-Objective Test Case Selection

Relevância:

90.00% 90.00%

Publicador:

Evolutionary Testing in the Presence of Loop--Assigned Flags: A Testability Transformation Approach

Relevância:

90.00% 90.00%

Publicador:

An Architectural Model for Service-Based Flexible Software

Relevância:

90.00% 90.00%

Publicador:

Using Program Slicing to Assist in the Detection of Equivalent Mutants

Relevância:

80.00% 80.00%

Publicador:

The Species per Path Approach to Search-Based Test Data Generation

Relevância:

80.00% 80.00%

Publicador:

Testability Transformation for Efficient Automated Test Data Search in the Presence of Nesting

Relevância:

80.00% 80.00%

Publicador:

Slice-Based Dynamic Memory Modelling -- A Case Study

Relevância:

80.00% 80.00%

Publicador:

From System Comprehension to Program Comprehension

Relevância:

80.00% 80.00%

Publicador: