Biblioteca Digital

25 resultados para Operant testing

Heuristics for fault diagnosing when testing from finite state machines

Relevância:

20.00% 20.00%

Publicador:

Automated Unique Input Output sequence generation for conformance testing of FSMs

Relevância:

20.00% 20.00%

Publicador:

Testing conformance of a deterministic implementation against a non-deterministic specification

Relevância:

20.00% 20.00%

Publicador:

Conditioned Slicing Supports Partition Testing

Relevância:

20.00% 20.00%

Publicador:

Testing against non-deterministic stream X-machines

Relevância:

20.00% 20.00%

Publicador:

Using program slicing to simplify testing

Relevância:

20.00% 20.00%

Publicador:

Special Issue on Formal Approaches to Software Testing

Relevância:

20.00% 20.00%

Publicador:

Special Issue of papers from UK Testing Workshop

Relevância:

20.00% 20.00%

Publicador:

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

Relevância:

20.00% 20.00%

Publicador:

Mutation Testing Using Genetic Algorithms: A Co-evolution Approach

Relevância:

20.00% 20.00%

Publicador:

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

Relevância:

20.00% 20.00%

Publicador:

Evolutionary Testing Supported by Slicing and Transformation

Relevância:

20.00% 20.00%

Publicador:

FORTEST: Formal Methods and Testing (joint panel paper)

Relevância:

20.00% 20.00%

Publicador:

Improving Evolutionary Testing By Flag Removal

Relevância:

20.00% 20.00%

Publicador:

Improving Evolutionary Testing By Flag Removal (`best at GECCO' award winner)

Relevância:

20.00% 20.00%

Publicador:

«
1
2
»