773 resultados para KCl

An Interprocedural Amorphous Slicer for WSL

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Weakest Precondition for General Recursive Programs Formalized in Coq

Relevância:

10.00% 10.00%

Publicador:

Veja mais

FORTEST: Formal Methods and Testing (joint panel paper)

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Slice-Based Dynamic Memory Modelling -- A Case Study

Relevância:

10.00% 10.00%

Publicador:

Veja mais

A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization

Relevância:

10.00% 10.00%

Publicador:

Veja mais

A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Improving Evolutionary Testing By Flag Removal

Relevância:

10.00% 10.00%

Publicador:

Veja mais

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

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Pre/Post Conditioned Slicing

Relevância:

10.00% 10.00%

Publicador:

Veja mais

GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Node Coarsening Calculi for Program Slicing

Relevância:

10.00% 10.00%

Publicador:

Veja mais

SEMINAL: Software Engineering using Metaheuristic INnovative ALgorithms

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Side-Effect Removal Transformation

Relevância:

10.00% 10.00%

Publicador:

Veja mais

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

Relevância:

10.00% 10.00%

Publicador:

Veja mais

The Relationship Between Program Dependence and Mutation Analysis

Relevância:

10.00% 10.00%

Publicador:

Veja mais