Citation Impact
Citing Papers
Instrumenting Programs With Flag Variables For Test Data Search By Genetic Algorithms
2002
Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria
1994
Assertion-oriented automated test data generation
1996
A software reliability assessment based on a structural and behavioral analysis of programs
1976
An integrated system for program testing using weak mutation and data flow analysis
1985
Fitness Function Design To Improve Evolutionary Structural Testing
2002
Software processes are software too
1987
Guidelines for conducting and reporting case study research in software engineering
2008 Standout
Mutation testing from probabilistic and stochastic finite state machines
2009
Automated test data generation for programs with procedures
1996
Software quality assurance: Testing and validation
1980 StandoutNobel
High performance software testing on SIMD machines
1991
Test generation from LOTOS specifications
1991
Automatic Planning of Manipulator Transfer Movements
1981
Randomized Kinodynamic Planning
2001 Standout
Improved serial algorithms for mutation analysis
1993
Spatial Planning: A Configuration Space Approach
1983 Standout
Program testing by specification mutation
1985
Applicability of modified condition/decision coverage to software testing
1994
Groupware: some issues and experiences
1991 Standout
The TAME project: towards improvement-oriented software environments
1988 Standout
A Test Design Methodology for Protocol Testing
1987
Constraint-based automatic test data generation
1991
Inferring extended finite state machine models from software executions
2015
The state of the art in end-user software engineering
2011 Standout
A Fortran 77 interpreter for mutation analysis
1987
Regression test selection for C++ software
2000
The dynamic domain reduction procedure for test data generation
1999
Symbolic execution and program testing
1976 Standout
A metrics suite for object oriented design
1994 Standout
Meta-Analytic review of leader–member exchange theory: Correlates and construct issues.
1997 Standout
The program dependence graph in a software development environment
1984
Motor Schema — Based Mobile Robot Navigation
1989 Standout
An Approach to Program Testing
1975
Measuring software design complexity
1988
Module test case generation
1989
Probabilistic roadmaps for path planning in high-dimensional configuration spaces
1996 Standout
A probabilistic remark on algebraic program testing
1978
Randomized Algorithms
1995 Standout
Verification and validation of simulation models
1995 Standout
Evolutionary test environment for automatic structural testing
2001
Mutation Testing from Probabilistic Finite State Machines
2007
Mutation testing—its origin and evolution
1993
Testing Software Design Modeled by Finite-State Machines
1978 Standout
PIE: a dynamic failure-based technique
1992
Concepts and criteria to assess acceptability of simulation studies
1981
System Development Project Effectiveness: Problem‐Solving Competence as a Moderator Variable*
1989
Survey of intrusion detection systems: techniques, datasets and challenges
2019 Standout
Regression testing minimization, selection and prioritization: a survey
2012 Standout
Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact
2005 Standout
Formal Analysis of Coupling Hypothesis for Logical Faults
2006
Interprocedural slicing using dependence graphs
1990 Standout
Validation, Verification, and Testing of Computer Software
1982
Mutation Operators for Spreadsheets
2008
Prioritizing test cases for regression testing
2001 Standout
A Methodology for Collecting Valid Software Engineering Data
1984
On Testing Non-Testable Programs
1982
Generic lifecycle support in the ALMA environment
1988
Hints on Test Data Selection: Help for the Practicing Programmer
1978 Standout
On the Automated Generation of Program Test Data
1976
Automatic mutation test input data generation via ant colony
2007
A Systematic Literature Review on Fault Prediction Performance in Software Engineering
2011 Standout
MuJava: an automated class mutation system
2004
Cleanroom Software Development: An Empirical Evaluation
1987
Using program slicing to assist in the detection of equivalent mutants
1999
Fault detection effectiveness of mutation and data flow testing
1995
The design of real-time systems: from specification to implementation and verification
1991
Investigations of the software testing coupling effect
1992
An empirical evaluation of weak mutation
1994
An Analysis and Survey of the Development of Mutation Testing
2010 Standout
Reducing the cost of mutation testing: An empirical study
1995
Principles and methods of testing finite state machines-a survey
1996 Standout
Automated software test data generation
1990
A methodology for test selection
1990
Semantics guided regression test cost reduction
1997
Selecting Software Test Data Using Data Flow Information
1985
Bibliographical review on reconfigurable fault-tolerant control systems
2008 Standout
Dynamic method for software test data generation
1992
Estimating software fault-proneness for tuning testing activities
2000
A System to Generate Test Data and Symbolically Execute Programs
1976
Comparing the Effectiveness of Software Testing Strategies
1987
Basic concepts and taxonomy of dependable and secure computing
2004 Standout
Constructing specifications by combining parallel elaborations
1989
The chaining approach for software test data generation
1996
A fortran language system for mutation‐based software testing
1991
Verification and validation in computational fluid dynamics
2002 Standout
Integrating techniques and tools for testing automation
2006
A Domain Strategy for Computer Program Testing
1980
SELECT—a formal system for testing and debugging programs by symbolic execution
1975
Relationship-based approach to leadership: Development of leader-member exchange (LMX) theory of leadership over 25 years: Applying a multi-level multi-domain perspective
1995 Standout
A theoretical study of fault coupling
2000
Search‐based software test data generation: a survey
2004 Standout
Experimental results from an automatic test case generator
1993
Two notions of correctness and their relation to testing
1982
A Meta-Analysis of Antecedents and Consequences of Leader-Member Exchange
2011 Standout
Fault-Based Testing of Database Application Programs with Conceptual Data Model
2006
Decreasing the cost of mutation testing with second‐order mutants
2008
Test-data generation using genetic algorithms
1999
Goal-directed requirements acquisition
1993 Standout
Generating test data for distributed software using the chaining approach
1996
Fault coupling in finite bijective functions
1995
The program dependence graph and its use in optimization
1987 Standout
Works of William E. Howden being referenced
Functional program testing and analysis
1986
Completeness criteria for testing elementary program functions
1981
Theoretical and empirical studies of program testing
1978
Contemporary software development environments
1981
Methodology for the Generation of Program Test Data
1975
Applicability of Software Validation Techniques to Scientific Programs
1980
Lindenmayer grammars and symbolic testing
1978
A functional approach to program testing and analysis
1986
Methodology for the automatic generation of program test data
1974
Tutorial : software testing & validation techniques
1981
Reliability of the Path Analysis Testing Strategy
1976
Weak Mutation Testing and Completeness of Test Sets
1982
Theoretical and Empirical Studies of Program Testing
1978
Functional testing and design abstractions
1979
Symbolic Testing and the DISSECT Symbolic Evaluation System
1977
The sofa problem
1968
An evaluation of the effectiveness of symbolic testing
1978
Two-dimensional program design
1986
Algebraic program testing
1978
Functional Program Testing
1980
Contemporary software development environments
1982
The Theory and Practice of Foundation Testing
1985