On the public citation graph
Investigating the use of analysis contracts to improve the testability of object‐oriented code
0 signed · 79 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.4380210704openalex-snapshot
A fortran language system for mutation‐based software testing
inferredcites →https://doi.org/10.1002/stvr.238openalex-snapshot
Investigating the effectiveness of object‐oriented testing strategies using the mutation method
inferredcites →https://doi.org/10.1016/b978-0-408-03741-9.50028-3openalex-snapshot
Software testing techniques
inferredcites →https://doi.org/10.1109/32.341844openalex-snapshot
A practical approach to programming with assertions
inferredcites →https://doi.org/10.1109/52.73748openalex-snapshot
Predicting where faults can hide from testing
inferredcites →https://doi.org/10.1109/issre.2000.885856openalex-snapshot
Building trust into OO components using a genetic analogy
inferredcites →https://doi.org/10.1109/issre.2001.989479openalex-snapshot
An empirical evaluation of statistical testing designed from UML state diagrams: the flight guidance system case study
inferredcites →https://doi.org/10.1109/metric.2001.915535openalex-snapshot
Robustness and diagnosability of OO systems designed by contracts
inferredcites →https://doi.org/10.1109/ms.2001.936221openalex-snapshot
Reliable objects: lightweight testing for oo languages
inferredcites →https://doi.org/10.1145/256175.256180openalex-snapshot
Electronic performance support systems
inferredcites →https://doi.org/10.1145/263244.263270openalex-snapshot
On testable object-oriented programming
inferredcites →https://doi.org/10.1145/62959.62964openalex-snapshot
The category-partition method for specifying and generating functional tests
inferredcites →https://doi.org/10.1201/9781420048131.axhopenalex-snapshot
Software Testing Techniques
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.410openalex-snapshot
Improving the coverage criteria of UML state machines using data flow analysis
inferred← citeshttps://doi.org/10.1007/11663430_2openalex-snapshot
Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java
inferred← citeshttps://doi.org/10.1007/3-540-45441-1_15openalex-snapshot
A UML-Based Approach to System Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-24617-6_17openalex-snapshot
VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile
inferred← citeshttps://doi.org/10.1007/978-3-540-75542-5_3openalex-snapshot
Testable Requirements for Offshore Outsourcing
inferred← citeshttps://doi.org/10.1007/978-3-642-01156-6_28openalex-snapshot
Software Verification — A Scalable, Model-Driven, Empirically Grounded Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-37057-1_12openalex-snapshot
Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks
inferred← citeshttps://doi.org/10.1007/s10515-012-0102-yopenalex-snapshot
Automated verification of model transformations based on visual contracts
inferred← citeshttps://doi.org/10.1007/s11334-017-0306-1openalex-snapshot
Predicting different levels of the unit testing effort of classes using source code metrics: a multiple case study on open-source software
inferred← citeshttps://doi.org/10.1016/b978-0-12-800160-8.00003-6openalex-snapshot
Automated Test Oracles
inferred← citeshttps://doi.org/10.1016/bs.adcom.2017.06.004openalex-snapshot
Advances in Model-Based Testing of Graphical User Interfaces
inferred← citeshttps://doi.org/10.1016/j.cl.2018.04.005openalex-snapshot
SAwUML – UML-based, contractual software architectures and their formal analysis using SPIN
inferred← citeshttps://doi.org/10.1016/j.infsof.2005.09.003openalex-snapshot
A measurement framework for object-oriented software testability
inferred← citeshttps://doi.org/10.1016/j.infsof.2011.06.009openalex-snapshot
Automating image segmentation verification and validation by learning test oracles
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.jss.2021.110933openalex-snapshot
On introducing automatic test case generation in practice: A success story and lessons learned
inferred← citeshttps://doi.org/10.1109/confluence.2016.7508094openalex-snapshot
An estimation of software testability using fuzzy logic
inferred← citeshttps://doi.org/10.1109/csa.2008.66openalex-snapshot
Test by Contract for UML-Based Software Component Testing
inferred← citeshttps://doi.org/10.1109/csmr.2013.26openalex-snapshot
A Study on the Relation between Antipatterns and the Cost of Class Unit Testing
inferred← citeshttps://doi.org/10.1109/esem.2007.24openalex-snapshot
Evaluating the Impact of Adaptive Maintenance Process on Open Source Software Quality
inferred← citeshttps://doi.org/10.1109/esem.2007.40openalex-snapshot
A Critical Analysis of Empirical Research in Software Testing
inferred← citeshttps://doi.org/10.1109/esem.2007.8openalex-snapshot
First International Symposium on Empirical Software Engineering and Measurement-TOC
inferred← citeshttps://doi.org/10.1109/esem.2011.9openalex-snapshot
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software
inferred← citeshttps://doi.org/10.1109/ic2e.2015.70openalex-snapshot
SuperContra: Cross-Language, Cross-Runtime Contracts as a Service
inferred← citeshttps://doi.org/10.1109/iccsii.2012.6454577openalex-snapshot
On the effect of aspect-oriented refactoring on testability of classes: A case study
inferred← citeshttps://doi.org/10.1109/icecet65726.2026.11632373openalex-snapshot
Object-Oriented Development of an Energy Harvesting Framework Using Linear Programming: A Case Study
inferred← citeshttps://doi.org/10.1109/icis.2008.70openalex-snapshot
Enhancing Data Flow Testing of Classes through Design by Contract
inferred← citeshttps://doi.org/10.1109/ickecs65700.2025.11034863openalex-snapshot
A Framework for Automated Software Testing using Machine Learning and Artificial Intelligence
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00156openalex-snapshot
Increasing the Effectiveness of Automatically Generated Tests by Improving Class Observability
inferred← citeshttps://doi.org/10.1109/icsess.2018.8663719openalex-snapshot
Toward Design-by-Contract Based Generative Tool for Object-Oriented System
inferred← citeshttps://doi.org/10.1109/icsm.2004.1357823openalex-snapshot
A controlled experiment on the impact of the object constraint language in UML-based maintenance
inferred← citeshttps://doi.org/10.1109/icsm.2005.55openalex-snapshot
Instrumenting contracts with aspect-oriented programming to increase observability and support debugging
inferred← citeshttps://doi.org/10.1109/icst.2011.50openalex-snapshot
An Empirical Evaluation of Assertions as Oracles
inferred← citeshttps://doi.org/10.1109/icstw.2008.27openalex-snapshot
Model transformation testing: oracle issue
inferred← citeshttps://doi.org/10.1109/icstw.2018.00037openalex-snapshot
Test Automation - Automation of What?
inferred← citeshttps://doi.org/10.1109/issre.2008.9openalex-snapshot
Concurrent Contracts for Java in JML
inferred← citeshttps://doi.org/10.1109/itict.2005.1609664openalex-snapshot
Evaluating Web applications testability by combining metrics and analogies
inferred← citeshttps://doi.org/10.1109/qsic.2014.46openalex-snapshot
A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts
inferred← citeshttps://doi.org/10.1109/sccc.2016.7835998openalex-snapshot
Identifying characteristics of Java methods that may influence branch coverage: An exploratory study on open source projects
inferred← citeshttps://doi.org/10.1109/seaa.2015.47openalex-snapshot
Testability and Software Robustness: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1109/sera54885.2022.9806754openalex-snapshot
Automatic Detection of Interaction Errors
inferred← citeshttps://doi.org/10.1109/tse.2005.105openalex-snapshot
An experimental investigation of formality in UML-based development
inferred← citeshttps://doi.org/10.1109/tse.2006.79openalex-snapshot
Design by Contract to Improve Software Vigilance
inferred← citeshttps://doi.org/10.1109/tse.2010.32openalex-snapshot
Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments
inferred← citeshttps://doi.org/10.1109/tse.2014.2339829openalex-snapshot
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software
inferred← citeshttps://doi.org/10.1109/tse.2014.2372785openalex-snapshot
The Oracle Problem in Software Testing: A Survey
inferred← citeshttps://doi.org/10.1142/s0218194016500091openalex-snapshot
Input Contract Testing of Graphical User Interfaces
inferred← citeshttps://doi.org/10.1145/1022494.1022541openalex-snapshot
Empirical studies of software testing techniques
inferred← citeshttps://doi.org/10.1145/1134285.1134300openalex-snapshot
Automated, contract-based user testing of commercial-off-the-shelf components
inferred← citeshttps://doi.org/10.1145/1668862.1668869openalex-snapshot
Improving the testability of object oriented software through software contracts
inferred← citeshttps://doi.org/10.1145/3540250.3549086openalex-snapshot
Perfect is the enemy of test oracle
inferred← citeshttps://doi.org/10.1145/3832783.3834341openalex-snapshot
Quantum Squeeziness: An Information Theoretical Metric for Quantum Software Testability
inferred← citeshttps://doi.org/10.1145/566171.566183openalex-snapshot
Investigating the use of analysis contracts to support fault isolation in object oriented code
inferred← citeshttps://doi.org/10.1587/transinf.2014edp7364openalex-snapshot
Model-Based Contract Testing of Graphical User Interfaces
inferred← citeshttps://doi.org/10.22215/etd/2009-09134openalex-snapshot
Learning a test Oracle towards automating image segmentation evaluation
inferred← citeshttps://doi.org/10.22215/etd/2010-09548openalex-snapshot
Assessing, comparing, and combining state machine-based testing and structural testing : a series of experiments
inferred← citeshttps://doi.org/10.22215/etd/2010-09638openalex-snapshot
Assessing the effectiveness of design contracts as test oracles in the detection of faults in concurrent object-oriented software
inferred← citeshttps://doi.org/10.22215/etd/2014-10300openalex-snapshot
A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts
inferred← citeshttps://doi.org/10.3166/tsi.29.537-569openalex-snapshot
Construction de tests qualifiés de transformations de modèles
inferred← citeshttps://doi.org/10.3923/jse.2010.122.136openalex-snapshot
Predicting Testability of Eclipse: A Case Study
inferred← citeshttps://doi.org/10.4236/jsea.2012.57060openalex-snapshot
Empirical Analysis of Object-Oriented Design Metrics for Predicting Unit Testing Effort of Classes
inferred← citeshttps://doi.org/10.47749/t/unicamp.2005.375291openalex-snapshot
Um metodo de testes para componentes tolerantes a falhas
inferred← citeshttps://doi.org/10.5120/19835-1694openalex-snapshot
Software Testability: Recovering from 2 Decades of Research
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.