On the public citation graph
Programs That Test Themselves
0 signed · 82 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.1007/11916246_5openalex-snapshot
Are Practitioners Writing Contracts?
inferredcites →https://doi.org/10.1007/3-540-45575-2_29openalex-snapshot
Specification Based Testing: Towards Practice
inferredcites →https://doi.org/10.1007/978-3-540-73770-4_7openalex-snapshot
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation
inferredcites →https://doi.org/10.1109/iceccs.1999.802856openalex-snapshot
Criteria for generating specification-based tests
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/issre.2008.18openalex-snapshot
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports
inferredcites →https://doi.org/10.1109/mc.2008.306openalex-snapshot
Seven Principles of Software 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/1287624.1287685openalex-snapshot
Contract driven development = test driven development - writing test cases
inferredcites →https://doi.org/10.1145/1321631.1321698openalex-snapshot
Efficient unit test case minimization
inferredcites →https://doi.org/10.1145/75309.75319openalex-snapshot
Approaches to specification-based testing
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.1627openalex-snapshot
Evaluating code‐based test input generator tools
inferred← citeshttps://doi.org/10.1007/978-3-031-34518-0_13openalex-snapshot
Right and Wrong: Ten Choices in Language Design
inferred← citeshttps://doi.org/10.1007/978-3-319-10431-7_6openalex-snapshot
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations
inferred← citeshttps://doi.org/10.1007/978-3-319-15201-1_9openalex-snapshot
A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics
inferred← citeshttps://doi.org/10.1007/978-3-319-21215-9_6openalex-snapshot
Software Validation via Model Animation
inferred← citeshttps://doi.org/10.1007/978-3-642-13784-6_3openalex-snapshot
Reconciling Offshore Outsourcing with Model Based Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-15057-9_9openalex-snapshot
Specifying Reusable Components
inferred← citeshttps://doi.org/10.1007/978-3-642-15585-7_1openalex-snapshot
Automatic Testing and Fixing for Eiffel
inferred← citeshttps://doi.org/10.1007/978-3-642-24559-6_40openalex-snapshot
A Language for Test Case Refinement in the Test Template Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-24690-6_26openalex-snapshot
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques
inferred← citeshttps://doi.org/10.1007/978-3-642-34281-3_33openalex-snapshot
Demonic Testing of Concurrent Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-39742-4_31openalex-snapshot
Applying Search in an Automatic Contract-Based Testing Tool
inferred← citeshttps://doi.org/10.1007/978-3-642-54624-2_14openalex-snapshot
Synthesis of Infinite-State Abstractions and Their Use for Software Validation
inferred← citeshttps://doi.org/10.1007/s11334-009-0113-4openalex-snapshot
URDAD as a semi-formal approach to analysis and design
inferred← citeshttps://doi.org/10.1016/j.jss.2017.06.017openalex-snapshot
Contract-based testing for PHP with Praspel
inferred← citeshttps://doi.org/10.1016/j.scico.2013.11.006openalex-snapshot
Alias calculus, change calculus and frame inference
inferred← citeshttps://doi.org/10.1109/ase.2011.6100080openalex-snapshot
Code-based automated program fixing
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/aswec.2010.29openalex-snapshot
Scenario-Based Validation: Beyond the User Requirements Notation
inferred← citeshttps://doi.org/10.1109/aswec.2013.32openalex-snapshot
Unifying Configuration Management with Merge Conflict Detection and Awareness Systems
inferred← citeshttps://doi.org/10.1109/icacci.2018.8554801openalex-snapshot
Design By Contract Methodology
inferred← citeshttps://doi.org/10.1109/icse.2013.6606572openalex-snapshot
What good are strong specifications?
inferred← citeshttps://doi.org/10.1109/icst.2010.34openalex-snapshot
Satisfying Test Preconditions through Guided Object Selection
inferred← citeshttps://doi.org/10.1109/sibircon48586.2019.8958211openalex-snapshot
Seamless Object-Oriented Requirements
inferred← citeshttps://doi.org/10.1109/tmpa.2013.22openalex-snapshot
Generating unit tests using static analysis and contracts
inferred← citeshttps://doi.org/10.1109/tmpa.2013.7163725openalex-snapshot
Generating unit tests using static analysis and contracts
inferred← citeshttps://doi.org/10.1109/tse.2011.105openalex-snapshot
Automatically Generating Test Cases for Specification Mining
inferred← citeshttps://doi.org/10.1109/tse.2014.2312918openalex-snapshot
Automated Fixing of Programs with Contracts
inferred← citeshttps://doi.org/10.1109/tse.2016.2625248openalex-snapshot
Automatic Contract Insertion with CCBot
inferred← citeshttps://doi.org/10.1145/1831708.1831716openalex-snapshot
Automated fixing of programs with contracts
inferred← citeshttps://doi.org/10.1145/1831708.1831719openalex-snapshot
Generating test cases for specification mining
inferred← citeshttps://doi.org/10.1145/2023607.2023635openalex-snapshot
Reducing the number of unit tests with design by contract
inferred← citeshttps://doi.org/10.1145/2393596.2393635openalex-snapshot
Test input generation using dynamic programming
inferred← citeshttps://doi.org/10.1145/2480362.2480590openalex-snapshot
The search for the laws of automatic random testing
inferred← citeshttps://doi.org/10.1145/2856636.2856663openalex-snapshot
Reliability by Construction using Design by Contract Methodology
inferred← citeshttps://doi.org/10.1145/3448975openalex-snapshot
The Role of Formalism in System Requirements
inferred← citeshttps://doi.org/10.1145/3453483.3454054openalex-snapshot
Automated conformance testing for JavaScript engines via deep compiler fuzzing
inferred← citeshttps://doi.org/10.1145/3728915openalex-snapshot
FANDANGO: Evolving Language-Based Testing
inferred← citeshttps://doi.org/10.13140/rg.2.2.29708.05762openalex-snapshot
Formality in software requirements
inferred← citeshttps://doi.org/10.17760/d20002848openalex-snapshot
Foundations for behavioral higher-order contracts
inferred← citeshttps://doi.org/10.22028/d291-26007openalex-snapshot
Mining and checking object behavior
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2021/5/13openalex-snapshot
Finding Bugs with Specification-Based Testing is Easy!
inferred← citeshttps://doi.org/10.26021/2253openalex-snapshot
Improving Object Oriented Software Contracts
inferred← citeshttps://doi.org/10.29007/5jlwopenalex-snapshot
The MINERVA Software Development Process
inferred← citeshttps://doi.org/10.34961/3542openalex-snapshot
Utilizing multicore architectures to enhance software verification in real-time embedded systems
inferred← citeshttps://doi.org/10.36001/phmconf.2010.v2i1.1942openalex-snapshot
A Framework for Integrating Requirements-Based Design and Diagnosis
inferred← citeshttps://doi.org/10.3929/ethz-a-006154473openalex-snapshot
Applying data mining to contract inference
inferred← citeshttps://doi.org/10.3929/ethz-a-007568944openalex-snapshot
Automatic version control system for distributed software development
inferred← citeshttps://doi.org/10.3929/ethz-a-010394773openalex-snapshot
Correctness and Execution of Concurrent Object-Oriented Programs
inferred← citeshttps://doi.org/10.3929/ethz-a-010487200openalex-snapshot
Narrowing the gap between verification and systematic testing
inferred← citeshttps://doi.org/10.4018/978-1-61350-438-3.ch009openalex-snapshot
Model-Driven Testing with Test Sheets
inferred← citeshttps://doi.org/10.4018/978-1-61350-516-8.ch005openalex-snapshot
Architectural Models for Reliable Multi-User Interfaces
inferred← citeshttps://doi.org/10.4204/eptcs.149.1openalex-snapshot
Proceedings 1st Workshop on Formal Integrated Development Environment
inferred← citeshttps://doi.org/10.4236/jsea.2013.610a005openalex-snapshot
Traceability in Acceptance Testing
inferred← citeshttps://doi.org/10.48550/arxiv.1105.0768openalex-snapshot
Collaborative Software Development on the Web
inferred← citeshttps://doi.org/10.48550/arxiv.1911.02564openalex-snapshot
The role of formalism in system requirements (full version)
inferred← citeshttps://doi.org/10.5220/0002873304280435openalex-snapshot
MODEL–DRIVEN SYSTEM TESTING OF SERVICE ORIENTED SYSTEMS - A Standard-aligned Approach based on Independent System and Test Models
inferred← citeshttps://doi.org/10.5555/2486788.2486823openalex-snapshot
What good are strong specifications
inferred← citeshttps://doi.org/10.70675/4f7568d6zb3ebz4720zad28zd8fc086352b8openalex-snapshot
Seamless Object-Oriented Requirements
inferred← citeshttps://doi.org/10.70675/b9e60d5ez93cfz4bbcza224z2accf1ce1154openalex-snapshot
Fastest : improving and supporting the Test Template Framework
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.