Locating dependence structures using search-based slicing

Authors:
Tao Jiang;Nicolas Gold;Mark Harman;Zheng Li
Affiliations:
King's College London, Strand, London WC2R 2LS, UK;King's College London, Strand, London WC2R 2LS, UK;King's College London, Strand, London WC2R 2LS, UK;King's College London, Strand, London WC2R 2LS, UK
Venue:
Information and Software Technology
Year:
2008

Citing 55
Cited 5

Interprocedural slicing using dependence graphs

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Integrating noninterfering versions of programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
The relationship between slices and module cohesion

ICSE '89 Proceedings of the 11th international conference on Software engineering
Interprocedural slicing using dependence graphs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Using program slicing in software maintenance

Using program slicing in software maintenance
Using Program Slicing in Software Maintenance

IEEE Transactions on Software Engineering
Approximation algorithms for NP-hard problems

Approximation algorithms for NP-hard problems
Optimizing for reduced code space using genetic algorithms

Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems
A Validation of the Component-Based Method for Software Size Estimation

IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Genetic Algorithms in Search, Optimization and Machine Learning

Genetic Algorithms in Search, Optimization and Machine Learning
Using genetic algorithms and coupling measures to devise optimal integration test orders

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Measuring Functional Cohesion

IEEE Transactions on Software Engineering
CCFinder: a multilinguistic token-based code clone detection system for large scale source code

IEEE Transactions on Software Engineering
Software Salvaging Based on Conditions

ICSM '94 Proceedings of the International Conference on Software Maintenance
Experiment on the Automatic Detection of Function Clones in a Software System Using Metrics

ICSM '96 Proceedings of the 1996 International Conference on Software Maintenance
Fitness Function Design To Improve Evolutionary Structural Testing

GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Instrumenting Programs With Flag Variables For Test Data Search By Genetic Algorithms

GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Using Heuristic Search Techniques To Extract Design Abstractions From Source Code

GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Search Heuristics, Case-based Reasoning And Software Project Effort Prediction

GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization

GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Program slicing

ICSE '81 Proceedings of the 5th international conference on Software engineering
Quantitative evaluation of software quality

ICSE '76 Proceedings of the 2nd international conference on Software engineering
On finding duplication and near-duplication in large software systems

WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Identifying Similar Code with Program Dependence Graphs

WCRE '01 Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01)
Understanding Function Behaviors through Program Slicing

WPC '96 Proceedings of the 4th International Workshop on Program Comprehension (WPC '96)
Clone Detection Using Abstract Syntax Trees

ICSM '98 Proceedings of the International Conference on Software Maintenance
A Language Independent Approach for Detecting Duplicated Code

ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
Using a Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis

IEEE Transactions on Software Engineering
Evaluating Context-Sensitive Slicing and Chopping

ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
A Multiple Hill Climbing Approach to Software Module Clustering

ICSM '03 Proceedings of the International Conference on Software Maintenance
Testability Transformation

IEEE Transactions on Software Engineering
Identifying redundancy in source code using fingerprints

CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
A Robust Search-Based Approach to Project Management in the Presence of Abandonment, Rework, Error and Uncertainty

METRICS '04 Proceedings of the Software Metrics, 10th International Symposium
Evolving Transformation Sequences using Genetic Algorithms

SCAM '04 Proceedings of the Source Code Analysis and Manipulation, Fourth IEEE International Workshop
Approximating Min Sum Set Cover

Algorithmica
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables

IEEE Transactions on Software Engineering
Slice-Based Cohesion Metrics and Software Intervention

WCRE '04 Proceedings of the 11th Working Conference on Reverse Engineering
An empirical evaluation of test case filtering techniques based on exercising complex information flows

Proceedings of the 27th international conference on Software engineering
Stress testing real-time systems with genetic algorithms

GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Search-based improvement of subsystem decompositions

GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
An approach for QoS-aware service composition based on genetic algorithms

GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Locating Dependence Clusters and Dependence Pollution

ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Search-Based Techniques Applied to Optimization of Project Planning for a Massive Maintenance Project

ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Search-Based Amorphous Slicing

WCRE '05 Proceedings of the 12th Working Conference on Reverse Engineering
Search-Based Software Maintenance

CSMR '06 Proceedings of the Conference on Software Maintenance and Reengineering
On the Automatic Modularization of Software Systems Using the Bunch Tool

IEEE Transactions on Software Engineering
A novel approach to optimize clone refactoring activity

Proceedings of the 8th annual conference on Genetic and evolutionary computation
Simulated annealing for improving software quality prediction

Proceedings of the 8th annual conference on Genetic and evolutionary computation
Clustering the heap in multi-threaded applications for improved garbage collection

Proceedings of the 8th annual conference on Genetic and evolutionary computation
Search-based determination of refactorings for improving the class structure of object-oriented systems

Proceedings of the 8th annual conference on Genetic and evolutionary computation
The species per path approach to SearchBased test data generation

Proceedings of the 2006 international symposium on Software testing and analysis
Search Algorithms for Regression Test Case Prioritization

IEEE Transactions on Software Engineering
A multiobjective module-order model for software quality enhancement

IEEE Transactions on Evolutionary Computation
Program Slicing

IEEE Transactions on Software Engineering

Assessing the impact of global variables on program dependence and dependence clusters

Journal of Systems and Software
Coherent dependence clusters

Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
A practice-driven systematic review of dependency analysis solutions

Empirical Software Engineering
Survey: A survey on search-based software design

Computer Science Review
Search-based software engineering: Trends, techniques and applications

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces an approach to locating dependence structures in a program by searching the space of the powerset of the set of all possible program slices. The paper formulates this problem as a search-based software engineering problem. To evaluate the approach, the paper introduces an instance of a search-based slicing problem concerned with locating sets of slices that decompose a program into a set of covering slices that minimize inter-slice overlap. The paper reports the result of an empirical study of algorithm performance and result-similarity for Hill Climbing, Genetic, Random Search and Greedy Algorithms applied to a set of 12 C programs.