Standout Papers
Citation Impact
Citing Papers
Assertion-oriented automated test data generation
1996
Finding security vulnerabilities in java applications with static analysis
2005 Standout
Using symbolic execution for verifying safety-critical systems
2001
The selection of transport and handling resources in logistics centers using Multi-Attributive Border Approximation area Comparison (MABAC)
2014 Standout
Noise in the nervous system
2008 Standout
Automated test data generation for programs with procedures
1996
Software quality assurance: Testing and validation
1980 StandoutNobel
Methodology for the Generation of Program Test Data
1975
DART
2005 Standout
The way forward for unifying dynamic test-case generation: The optimisation-based approach
1998
Representations for Rigid Solids: Theory, Methods, and Systems
1980 Standout
Probing C 60
1988 StandoutScienceNobel
Theoretical studies of icosahedral C60 and some related species
1986 Standout
Principles and Practices of Interconnection Networks
2004 Standout
The state of the art in end-user software engineering
2011 Standout
Photophysics of buckminsterfullerene and other carbon cluster ions
1988 StandoutNobel
The dynamic domain reduction procedure for test data generation
1999
Majority decision functions of up to six variables
1962
Symbolic execution and program testing
1976 Standout
An automated framework for structural test-data generation
2002
Linear Recursive Sequences
1968
An Approach to Program Testing
1975
Algebraic Codes for Data Transmission
2003
Complex Chaotic Systems and Emergent Phenomena
1998
An introduction to matched filters
1960
Verification and validation of simulation models
1995 Standout
Dynamic verification of operating system decisions
1973
Testing Software Design Modeled by Finite-State Machines
1978 Standout
Static analysis of programs as an aid to debugging
1983
On the number of distinct functional graphs of affine-linear transformations over finite fields
2013
Regression testing minimization, selection and prioritization: a survey
2012 Standout
Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact
2005 Standout
Automated test-data generation for exception conditions
2000
Reliability of the Path Analysis Testing Strategy
1976
Collaboration Processes: Inside the Black Box
2006 Standout
Validation, Verification, and Testing of Computer Software
1982
The protection of information in computer systems
1975 Standout
Hints on Test Data Selection: Help for the Practicing Programmer
1978 Standout
Transition Count Testing of Combinational Logic Circuits
1976
Two Algorithms for Determining Volumes of Convex Polyhedra
1979
On the Automated Generation of Program Test Data
1976
Automatic Generation of Floating-Point Test Data
1976
All-uses vs mutation testing: An experimental comparison of effectiveness
1997
Fault detection effectiveness of mutation and data flow testing
1995
Localization via ultra-wideband radios: a look at positioning aspects for future sensor networks
2005 Standout
An Analysis and Survey of the Development of Mutation Testing
2010 Standout
An analysis of errors and their causes in system programs
1975
Reducing the cost of mutation testing: An empirical study
1995
Mining of Massive Datasets
2011 Standout
Nonrandom binary superimposed codes
1964
Automated software test data generation
1990
An experimental implementation of the kernel/domain architecture
1973
Automatic autonomous vision-based power line inspection: A review of current status and the potential role of deep learning
2018 Standout
The UV absorption spectrum of C60 (buckminsterfullerene): A narrow band at 3860 Å
1987 StandoutNobel
An Introduction To Compressive Sampling
2008 Standout
Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures
1979 Standout
Dynamic method for software test data generation
1992
A System to Generate Test Data and Symbolically Execute Programs
1976
Rehybridization and π-orbital alignment: the key to the existence of spheroidal carbon clusters
1986 StandoutNobel
The chaining approach for software test data generation
1996
Spectral analysis of graphs by cyclic automorphism subgroups
1981
A Domain Strategy for Computer Program Testing
1980
A static analyzer for finding dynamic programming errors
2000
Introduction to Finite Fields and their Applications
1994 Standout
Built-In Self-Test Techniques
1985 Standout
Self-Assembly at All Scales
2002 StandoutScience
Search‐based software test data generation: a survey
2004 Standout
Ups of buckminsterfullerene and other large clusters of carbon
1987 StandoutNobel
An experimental comparison of the effectiveness of branch testing and data flow testing
1993
Test-data generation using genetic algorithms
1999
Mathematical Properties of the Banzhaf Power Index
1979 StandoutNobel
The program dependence graph and its use in optimization
1987 Standout
Works of B. Elspas being referenced
A Bound on the Run Measure of Switching Functions
1964
An Assessment of Techniques for Proving Program Correctness
1972
Self-Complementary Symmetry Types of Boolean Functions
1960
The Theory of Autonomous Linear Sequential Networks
1959 Standout
Single-error-correcting codes for constant-weight data words
1965
A note on<tex>p</tex>-nary adjacent-error-correcting codes
1960
Graphs with circulant adjacency matrices
1970
SELECT—a formal system for testing and debugging programs by symbolic execution
1975
Software Reliability
1971