Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
The connection machine
Software testing and evaluation
Software testing and evaluation
Communications of the ACM - Special issue on parallelism
Functional program testing and analysis
Functional program testing and analysis
Modeling mutation on a vector processor
ICSE '88 Proceedings of the 10th international conference on Software engineering
Software—Practice & Experience
Concurrency enhancement through program unification: a performance analysis
Journal of Parallel and Distributed Computing
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
TEX: The Program
Algorithms + Data Structures = Programs
Algorithms + Data Structures = Programs
Computer Architecture and Parallel Processing
Computer Architecture and Parallel Processing
Parallel Computers Two: Architecture, Programming and Algorithms
Parallel Computers Two: Architecture, Programming and Algorithms
Exploiting Parallelism Across Program Execution: A Unification Technique and Its Analysis
IEEE Transactions on Parallel and Distributed Systems
A measure of test case completeness (software, engineering)
A measure of test case completeness (software, engineering)
Mutation analysis using mutant schemata
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Improved serial algorithms for mutation analysis
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Efficient mutation analysis: a new approach
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Mutation-based software testing using program schemata
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
A fault model and mutation testing of access control policies
Proceedings of the 16th international conference on World Wide Web
Testing techniques in software engineering
Testing techniques in software engineering
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Injecting mechanical faults to localize developer faults for evolving software
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
| Hi-index | 0.00 |
A method for high-performance, software testing, called mutant unification, is described. The method is designed to support program mutation on parallel machines based on the single instruction multiple data stream (SIMD) paradigm. Several parameters that affect the performance of unification have been identified and their effect on the time to completion of a mutation test cycle and speedup has been studied. Program mutation analysis provides an effective means for determining the reliability of large software systems and a systematic method for measuring the adequacy of test data. However, it is likely that testing large software systems using mutation is computation bound and prohibitive on traditional sequential machines. Current, implementations of mutation tools are unacceptably slow and are only suitable for testing relatively small programs. The proposed unification method provides a practical alternative to the current approaches. The method also opens up a new application domain for SIMD machines.