Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Eliminating go to's while preserving program structure
Journal of the ACM (JACM)
Specification and transformation of programs: a formal approach to software development
Specification and transformation of programs: a formal approach to software development
Adaptation in natural and artificial systems
Adaptation in natural and artificial systems
An introduction to genetic algorithms
An introduction to genetic algorithms
Computing amorphous program slices using dependence graphs
Proceedings of the 1999 ACM symposium on Applied computing
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
A System for Assisting Program Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
The evolution of programs: a system for automatic program modification
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Software Testability: The New Verification
IEEE Software
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
Fitness Function Design To Improve Evolutionary Structural Testing
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Improving Evolutionary Testing By Flag Removal
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Program slices: formal, psychological, and practical investigations of an automatic program abstraction method
An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension
IEEE Transactions on Software Engineering
Journal of Systems and Software
Getting Results from Search-Based Approaches to Software Engineering
Proceedings of the 26th International Conference on Software Engineering
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
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
IEEE Transactions on Software Engineering
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
Evolutionary testing of state-based programs
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
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
A formalisation of the relationship between forms of program slicing
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Theoretical foundations of dynamic program slicing
Theoretical Computer Science
Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects
IEEE Transactions on Software Engineering
The Current State and Future of Search Based Software Engineering
FOSE '07 2007 Future of Software Engineering
Automated Test Data Generation using Search Based Software Engineering
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Proceedings of the 2007 international symposium on Software testing and analysis
Search-based testing of service level agreements
Proceedings of the 9th annual conference on Genetic and evolutionary computation
A multi-objective approach to search-based test data generation
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Ant colony optimisation for generation of conformance testing sequences using a characterising set
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Testing input validation in Web applications through automated model recovery
Journal of Systems and Software
A search-based framework for automatic testing of MATLAB/Simulink models
Journal of Systems and Software
Search based software testing of object-oriented containers
Information Sciences: an International Journal
Fitness calculation approach for the switch-case construct in evolutionary testing
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Locating dependence structures using search-based slicing
Information and Software Technology
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Empirical evaluation of a nesting testability transformation for evolutionary testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
A hybrid heuristic approach to optimize rule-based software quality estimation models
Information and Software Technology
Insight knowledge in search based software testing
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Search-based failure discovery using testability transformations to generate pseudo-oracles
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Dependence clusters in source code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards preserving model coverage and structural code coverage
EURASIP Journal on Embedded Systems - Challenges on complexity and connectivity in embedded systems
Model transformations to satisfy all-configurations-transitions on statecharts
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Using program data-state scarcity to guide automatic test data generation
Software Quality Control
A trajectory-based strict semantics for program slicing
Theoretical Computer Science
Testability transformation: program transformation to improve testability
Formal methods and testing
Mutation-driven generation of unit tests and oracles
Proceedings of the 19th international symposium on Software testing and analysis
An alternative characterization of weak order dependence
Information Processing Letters
The relationship between search based software engineering and predictive modeling
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
A baseline method for search-based software engineering
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
Configuration strategies for evolutionary testing
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Black-box system testing of real-time embedded systems using random and search-based testing
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Information and Software Technology
Evolutionary repair of faulty software
Applied Soft Computing
FlagRemover: A testability transformation for transforming loop-assigned flags
ACM Transactions on Software Engineering and Methodology (TOSEM)
Transition coverage testing for simulink/stateflow models using messy genetic algorithms
Proceedings of the 13th annual conference on Genetic and evolutionary computation
A multiple-population genetic algorithm for branch coverage test data generation
Software Quality Control
Strong higher order mutation-based test data generation
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
EvoSuite: automatic test suite generation for object-oriented software
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Information and Software Technology
Ten years of search based software engineering: a bibliometric analysis
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Bytecode testability transformation
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Search based software engineering
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Why the virtual nature of software makes it ideal for search based optimization
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Ordering mutants to minimise test effort in mutation testing
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Combining search-based and constraint-based testing
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Automated web application testing using search based software engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Survey: A survey on search-based software design
Computer Science Review
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Test suite generation with memetic algorithms
Proceedings of the 15th annual conference on Genetic and evolutionary computation
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
| Hi-index | 0.02 |
Abstract--A testability transformation is a source-to-source transformation that aims to improve the ability of a given test generation method to generate test data for the original program. This paper introduces testability transformation, demonstrating that it differs from traditional transformation, both theoretically and practically, while still allowing many traditional transformation rules to be applied. The paper illustrates the theory of testability transformation with an example application to evolutionary testing. An algorithm for flag removal is defined and results are presented from an empirical study which show how the algorithm improves both the performance of evolutionary test data generation and the adequacy level of the test data so-generated.