Biblioteca Digital

16 resultados para fox

Slicing algorithms are minimal for programs which can be expressed as linear, free, liberal schemas

Relevância:

10.00% 10.00%

Publicador:

ConSUS: A Lightweight Program Conditioner

Relevância:

10.00% 10.00%

Publicador:

Branch-coverage testability transformation for unstructured programs

Relevância:

10.00% 10.00%

Publicador:

ConSIT: a fully automated conditioned program slicer

Relevância:

10.00% 10.00%

Publicador:

Conditioned Slicing Supports Partition Testing

Relevância:

10.00% 10.00%

Publicador:

ConSUS: A Scalable Approach to Conditioned Slicing

Relevância:

10.00% 10.00%

Publicador:

A Denotational Interprocedural Program Slicer

Relevância:

10.00% 10.00%

Publicador:

Evolutionary Testing Supported by Slicing and Transformation

Relevância:

10.00% 10.00%

Publicador:

VADA: A Transformation-based System for Variable Dependence Analysis

Relevância:

10.00% 10.00%

Publicador:

Pre/Post Conditioned Slicing

Relevância:

10.00% 10.00%

Publicador:

Node Coarsening Calculi for Program Slicing

Relevância:

10.00% 10.00%

Publicador:

Backward Conditioning: a new program specialisation technique and its application to program comprehension

Relevância:

10.00% 10.00%

Publicador:

ConSIT: A conditioned program slicer

Relevância:

10.00% 10.00%

Publicador:

Program simplification as a means of approximating undecidable propositions

Relevância:

10.00% 10.00%

Publicador:

Interaction, planning and motivation

Relevância:

10.00% 10.00%

Publicador:

«
1
2
»