On the public citation graph
On the number and nature of faults found by random testing
0 signed · 93 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/spe.597openalex-snapshot
Generation of test sequences from formal specifications: GSM 11‐11 standard case study
inferredcites →https://doi.org/10.1002/spe.602openalex-snapshot
JCrasher: an automatic robustness tester for Java
inferredcites →https://doi.org/10.1007/11531142_1openalex-snapshot
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming
inferredcites →https://doi.org/10.1007/11531142_22openalex-snapshot
Eclat: Automatic Generation and Classification of Test Inputs
inferredcites →https://doi.org/10.1007/11558569_18openalex-snapshot
Jartege: A Tool for Random Generation of Unit Tests for Java Classes
inferredcites →https://doi.org/10.1007/11916246_5openalex-snapshot
Are Practitioners Writing Contracts?
inferredcites →https://doi.org/10.1007/3-540-60406-5_25openalex-snapshot
An empirical evaluation of three defect-detection techniques
inferredcites →https://doi.org/10.1007/3-540-63531-9_19openalex-snapshot
Comparing and combining software defect detection techniques: A replicated empirical study
inferredcites →https://doi.org/10.1007/978-3-540-30569-9_3openalex-snapshot
The Spec# Programming System: An Overview
inferredcites →https://doi.org/10.1016/b978-0-408-03741-9.50028-3openalex-snapshot
Software testing techniques
inferredcites →https://doi.org/10.1016/s0164-1212(96)00154-9openalex-snapshot
All-uses vs mutation testing: An experimental comparison of effectiveness
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/32.177364openalex-snapshot
Orthogonal defect classification-a concept for in-process measurements
inferredcites →https://doi.org/10.1109/32.238581openalex-snapshot
An experimental comparison of the effectiveness of branch testing and data flow testing
inferredcites →https://doi.org/10.1109/32.6194openalex-snapshot
An applicable family of data flow testing criteria
inferredcites →https://doi.org/10.1109/32.62448openalex-snapshot
Partition testing does not inspire confidence (program testing)
inferredcites →https://doi.org/10.1109/32.815325openalex-snapshot
Partition testing vs. random testing: the influence of uncertainty
inferredcites →https://doi.org/10.1109/32.83906openalex-snapshot
Analyzing partition testing strategies
inferredcites →https://doi.org/10.1109/ase.2006.13openalex-snapshot
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing
inferredcites →https://doi.org/10.1109/hase.2004.1281742openalex-snapshot
Specification test coverage adequacy criteria = specification test generation in adequacy criteria?
inferredcites →https://doi.org/10.1109/icse.2007.37openalex-snapshot
Feedback-Directed Random Test Generation
inferredcites →https://doi.org/10.1109/icst.2008.20openalex-snapshot
On the Predictability of Random Tests for Object-Oriented Software
inferredcites →https://doi.org/10.1109/ieeestd.2010.5399061openalex-snapshot
IEEE Standard Classification for Software Anomalies
inferredcites →https://doi.org/10.1109/isese.2004.13openalex-snapshot
Assuring fault classification agreement - an empirical evaluation
inferredcites →https://doi.org/10.1109/isese.2004.1334897openalex-snapshot
Assuring fault classification agreement - an empirical evaluation
inferredcites →https://doi.org/10.1109/issre.2002.1173287openalex-snapshot
Inter-class mutation operators for Java
inferredcites →https://doi.org/10.1109/issre.2008.18openalex-snapshot
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports
inferredcites →https://doi.org/10.1109/tse.1984.5010257openalex-snapshot
An Evaluation of Random Testing
inferredcites →https://doi.org/10.1109/tse.1987.232881openalex-snapshot
Comparing the Effectiveness of Software Testing Strategies
inferredcites →https://doi.org/10.1109/tse.2006.79openalex-snapshot
Design by Contract to Improve Software Vigilance
inferredcites →https://doi.org/10.1145/1007512.1007533openalex-snapshot
On the analytical comparison of testing techniques
inferredcites →https://doi.org/10.1145/1062455.1062529openalex-snapshot
One evaluation of model-based testing and its automation
inferredcites →https://doi.org/10.1145/1145735.1145737openalex-snapshot
When only random testing will do
inferredcites →https://doi.org/10.1145/1145735.1145741openalex-snapshot
Tool support for randomized unit testing
inferredcites →https://doi.org/10.1145/1273463.1273476openalex-snapshot
Experimental assessment of random testing for object-oriented software
inferredcites →https://doi.org/10.1145/1317471.1317478openalex-snapshot
Research issues in software fault categorization
inferredcites →https://doi.org/10.1145/167049.167069openalex-snapshot
Targeting safety-related errors during software requirements analysis
inferredcites →https://doi.org/10.1145/226295.226317openalex-snapshot
A semantic model of program faults
inferredcites →https://doi.org/10.1145/229000.226317openalex-snapshot
A semantic model of program faults
inferredcites →https://doi.org/10.1145/267580.267590openalex-snapshot
Software unit test coverage and adequacy
inferredcites →https://doi.org/10.1145/267896.267915openalex-snapshot
Comparing and combining software defect detection techniques
inferredcites →https://doi.org/10.1145/271771.271785openalex-snapshot
On random and partition testing
inferredcites →https://doi.org/10.1145/271775.271785openalex-snapshot
On random and partition testing
inferredcites →https://doi.org/10.1145/302405.302467openalex-snapshot
Dynamically discovering likely program invariants to support program evolution
inferredcites →https://doi.org/10.1145/96267.96279openalex-snapshot
An empirical study of the reliability of UNIX utilities
inferredcites →https://doi.org/10.1201/9781420048131.axhopenalex-snapshot
Software Testing Techniques
inferredcites →https://doi.org/10.5555/257734.257766openalex-snapshot
Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria
inferredcites →https://doi.org/10.5860/choice.32-0639openalex-snapshot
Encyclopedia of software engineering
inferredcites →https://doi.org/10.6084/m9.figshare.27043420openalex-snapshot
Why Do Computers Stop and What Can Be Done About It?
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.1600openalex-snapshot
A general modeling and analysis framework for software fault detection and correction process
inferred← citeshttps://doi.org/10.1007/978-3-030-14687-0_19openalex-snapshot
Detection of Inconsistent Contracts Through Modular Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-55754-6_12openalex-snapshot
A Validation Methodology for OCaml-to-PVS Translation
inferred← citeshttps://doi.org/10.1007/978-3-031-19756-7_2openalex-snapshot
Software System Documentation: Coherent Description of Software System Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-41533-3_6openalex-snapshot
A Generic Fault Model for Quality Assurance
inferred← citeshttps://doi.org/10.1007/978-3-642-54804-8_17openalex-snapshot
Automatic Program Repair by Fixing Contracts
inferred← citeshttps://doi.org/10.1007/978-981-13-1162-8_5openalex-snapshot
General Order Statistics-Based Model
inferred← citeshttps://doi.org/10.1016/bs.adcom.2018.03.015openalex-snapshot
Mutation Testing Advances: An Analysis and Survey
inferred← citeshttps://doi.org/10.1016/bs.adcom.2021.01.002openalex-snapshot
Evaluating software testing techniques: A systematic mapping study
inferred← citeshttps://doi.org/10.1016/j.eswa.2019.04.070openalex-snapshot
An expert system for checking the correctness of memory systems using simulation and metamorphic testing
inferred← citeshttps://doi.org/10.1016/j.jss.2018.05.010openalex-snapshot
Mutomvo: Mutation testing framework for simulated cloud and HPC environments
inferred← citeshttps://doi.org/10.1109/ase.2011.6100094openalex-snapshot
Stateful testing: Finding more errors in code and contracts
inferred← citeshttps://doi.org/10.1109/icse.2017.61openalex-snapshot
An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation That Avoids the Unreliable Clean Program Assumption
inferred← citeshttps://doi.org/10.1109/icsme.2017.47openalex-snapshot
How do Developers Test Android Applications?
inferred← citeshttps://doi.org/10.1109/mobilesoft.2015.11openalex-snapshot
Exploiting the Saturation Effect in Automatic Random Testing of Android Applications
inferred← citeshttps://doi.org/10.1109/sies.2015.7185048openalex-snapshot
Building an interactive test development environment for cyclic executive systems
inferred← citeshttps://doi.org/10.1109/tse.2011.121openalex-snapshot
Random Testing: Theoretical Results and Practical Implications
inferred← citeshttps://doi.org/10.1109/tse.2014.2312918openalex-snapshot
Automated Fixing of Programs with Contracts
inferred← citeshttps://doi.org/10.1109/tse.2022.3214796openalex-snapshot
PopArt: Ranked Testing Efficiency
inferred← citeshttps://doi.org/10.1111/rego.70056openalex-snapshot
“I Paid A Bribe”—Lessons and Insights From Crowdsourced Corruption Reporting in India
inferred← citeshttps://doi.org/10.1145/1831708.1831716openalex-snapshot
Automated fixing of programs with contracts
inferred← citeshttps://doi.org/10.1145/1831708.1831736openalex-snapshot
Formal analysis of the effectiveness and predictability of random testing
inferred← citeshttps://doi.org/10.1145/1868328.1868332openalex-snapshot
A baseline method for search-based software engineering
inferred← citeshttps://doi.org/10.1145/2166929.2166938openalex-snapshot
Challenges to support automated random testing for dynamically typed languages
inferred← citeshttps://doi.org/10.1145/2480362.2480590openalex-snapshot
The search for the laws of automatic random testing
inferred← citeshttps://doi.org/10.1145/3276531openalex-snapshot
Test generation for higher-order functions in dynamic languages
inferred← citeshttps://doi.org/10.1145/3339836openalex-snapshot
Developing and Evaluating Objective Termination Criteria for Random Testing
inferred← citeshttps://doi.org/10.1145/3708521openalex-snapshot
Metamorphic Relation Generation: State of the Art and Research Directions
inferred← citeshttps://doi.org/10.15439/2014f152openalex-snapshot
A Comparison of Three Black-Box Optimization Approaches for Model-Based Testing
inferred← citeshttps://doi.org/10.3233/jifs-189701openalex-snapshot
A cost-effective adaptive random testing algorithm for object-oriented software testing
inferred← citeshttps://doi.org/10.35537/10915/34969openalex-snapshot
Enfoque para pruebas de unidad basado en la generación aleatoria de objetos
inferred← citeshttps://doi.org/10.4204/eptcs.149.1openalex-snapshot
Proceedings 1st Workshop on Formal Integrated Development Environment
inferred← citeshttps://doi.org/10.48550/arxiv.1801.06268openalex-snapshot
How do Developers Test Android Applications?
inferred← citeshttps://doi.org/10.70675/4c2a17b6zd6f3z4c8fza8a4zb2528e7f5a11openalex-snapshot
Recherche de vulnérabilités logicielles par combinaison d'analyses de code binaire et de frelatage (Fuzzing)
inferred← citeshttps://doi.org/10.70675/4f7568d6zb3ebz4720zad28zd8fc086352b8openalex-snapshot
Seamless Object-Oriented Requirements
inferred← citeshttps://doi.org/10.7763/lnse.2014.v2.139openalex-snapshot
Dirt Spot Sweeping Random Strategy
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.