On the public citation graph

Proceedings of the international conference on Reliable software -

https://doi.org/10.1145/800027
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.
Claim with ORCID
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.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/(sici)1097-024x(200001)30:1<61::aid-spe292>3.0.co;2-9openalex-snapshot
Automated test-data generation for exception conditions
inferred← citeshttps://doi.org/10.1002/9781118310052.ch13openalex-snapshot
Design for Trustworthiness
inferred← citeshttps://doi.org/10.1007/11940197_3openalex-snapshot
A Symbolic Framework for Model-Based Testing
inferred← citeshttps://doi.org/10.1007/978-0-387-09657-5_11openalex-snapshot
A Brief History of Choosing First Programming Languages
inferred← citeshttps://doi.org/10.1007/978-1-84800-261-6_2openalex-snapshot
Multiagent-Based Fault Tolerance Management for Robustness
inferred← citeshttps://doi.org/10.1007/978-3-030-37309-2_20openalex-snapshot
Using Augmented Genetic Algorithm for Search-Based Software Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-30569-9_3openalex-snapshot
The Spec# Programming System: An Overview
inferred← citeshttps://doi.org/10.1007/978-3-540-73066-8_6openalex-snapshot
Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware
inferred← citeshttps://doi.org/10.1007/978-3-540-75524-1_2openalex-snapshot
The Construction of Multi-agent Systems as an Engineering Discipline
inferred← citeshttps://doi.org/10.1007/978-3-642-00434-6_4openalex-snapshot
Neon: A Library for Language Usage Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-00587-9_4openalex-snapshot
Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels
inferred← citeshttps://doi.org/10.1007/978-3-642-04846-3_9openalex-snapshot
Tamper-Tolerant Software: Modeling and Implementation
inferred← citeshttps://doi.org/10.1007/978-3-642-15346-4_19openalex-snapshot
BPM-in-the-Large – Towards a Higher Level of Abstraction in Business Process Management
inferred← citeshttps://doi.org/10.1007/978-3-642-17551-0_11openalex-snapshot
Migrating Legacy Assets through SOA to Realize Network Enabled Capability
inferred← citeshttps://doi.org/10.1007/978-3-642-31739-2_7openalex-snapshot
Autonomic Workflow and Business Process Modelling for Networked Enterprises
inferred← citeshttps://doi.org/10.1007/978-3-642-37395-4_19openalex-snapshot
Skating to Where the Puck Is Going: Future Systems and Software Engineering Opportunities and Challenges
inferred← citeshttps://doi.org/10.1007/978-3-662-00409-8_76openalex-snapshot
Methoden und Ergebnisse von Projektanalysen — dargestellt am Beispiel von Software-Entwicklungsprojekten
inferred← citeshttps://doi.org/10.1007/978-94-009-7019-9_8openalex-snapshot
Deductive Synthesis of the Unification Algorithm
inferred← citeshttps://doi.org/10.1007/978-981-13-1162-8_4openalex-snapshot
Software Reliability Models Considering Fault Dependency
inferred← citeshttps://doi.org/10.1007/s10664-008-9077-5openalex-snapshot
Toward an understanding of bug fix patterns
inferred← citeshttps://doi.org/10.1007/s10664-011-9191-7openalex-snapshot
Effort estimation of FLOSS projects: a study of the Linux kernel
inferred← citeshttps://doi.org/10.1007/s13173-012-0059-5openalex-snapshot
An exception handling system for service component architectures
inferred← citeshttps://doi.org/10.1016/0004-3702(85)90083-9openalex-snapshot
Top-down synthesis of divide-and-conquer algorithms
inferred← citeshttps://doi.org/10.1016/0011-684x(85)90299-0openalex-snapshot
Concepts of an integrated project support environment
inferred← citeshttps://doi.org/10.1016/0026-2714(78)91139-3openalex-snapshot
Estimating software reliability from test data
inferred← citeshttps://doi.org/10.1016/0026-2714(82)90038-5openalex-snapshot
Software reliability - bibliography
inferred← citeshttps://doi.org/10.1016/0026-2714(89)90566-0openalex-snapshot
Improving reliability in computer based systems
inferred← citeshttps://doi.org/10.1016/0096-0551(77)90002-9openalex-snapshot
Pointers and data abstractions in high level languages—I: Language proposals
inferred← citeshttps://doi.org/10.1016/0143-8174(84)90028-3openalex-snapshot
Incorporation of execution time concept in several software reliability models
inferred← citeshttps://doi.org/10.1016/0164-1212(79)90002-5openalex-snapshot
Partitioning considerations for complex computer based weapon systems
inferred← citeshttps://doi.org/10.1016/0164-1212(79)90005-0openalex-snapshot
Evaluating software development by error analysis: The data from the Architecture Research Facility
inferred← citeshttps://doi.org/10.1016/0164-1212(79)90007-4openalex-snapshot
ASSET: A life cycle verification and visibility system
inferred← citeshttps://doi.org/10.1016/0164-1212(79)90024-4openalex-snapshot
Software error detection model with applications
inferred← citeshttps://doi.org/10.1016/0164-1212(79)90033-5openalex-snapshot
Optimum release time for software systems based on reliability and cost criteria
inferred← citeshttps://doi.org/10.1016/0164-1212(81)90021-2openalex-snapshot
Functional programming analysis
inferred← citeshttps://doi.org/10.1016/0164-1212(83)90003-1openalex-snapshot
Seven basic principles of software engineering
inferred← citeshttps://doi.org/10.1016/0164-1212(83)90026-2openalex-snapshot
Modeling and projection in software development
inferred← citeshttps://doi.org/10.1016/0164-1212(85)90004-4openalex-snapshot
Applications of symbolic evaluation
inferred← citeshttps://doi.org/10.1016/0164-1212(91)90020-7openalex-snapshot
Generation of ADA and PL/1 prototypes from abstract data type specifications
inferred← citeshttps://doi.org/10.1016/0164-1212(93)90013-nopenalex-snapshot
On the notion of object
inferred← citeshttps://doi.org/10.1016/0164-1212(94)00101-4openalex-snapshot
AIDA: A dynamic analyzer for Ada programs
inferred← citeshttps://doi.org/10.1016/0360-8352(86)90164-6openalex-snapshot
Software reliability
inferred← citeshttps://doi.org/10.1016/b978-0-08-034801-8.50013-1openalex-snapshot
Multi-Version Software Development
inferred← citeshttps://doi.org/10.1016/j.anucene.2025.111364openalex-snapshot
Object-oriented petri nets for reliability assessment and sensitivity analysis of safety-critical nuclear power plant systems
inferred← citeshttps://doi.org/10.1016/j.datak.2023.102263openalex-snapshot
Increase development productivity by domain-specific conceptual modeling
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.05.051openalex-snapshot
Symbolic Model-based Test Selection
inferred← citeshttps://doi.org/10.1016/j.future.2012.03.012openalex-snapshot
HOPE: A Hybrid Optimistic checkpointing and selective Pessimistic mEssage logging protocol for large scale distributed systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.07.019openalex-snapshot
How influential has academic and industrial research been in current software life cycles? A retrospective analysis of four mainstream activities
inferred← citeshttps://doi.org/10.1016/j.infsof.2014.07.012openalex-snapshot
Infeasible path generalization in dynamic symbolic execution
inferred← citeshttps://doi.org/10.1016/j.jsc.2014.09.030openalex-snapshot
Synthesis of list algorithms by mechanical proving
inferred← citeshttps://doi.org/10.1016/j.jss.2010.04.063openalex-snapshot
A software integration approach for designing and assessing dependable embedded systems
inferred← citeshttps://doi.org/10.1016/j.jss.2013.08.014openalex-snapshot
Assessing the reliability, validity and acceptance of a classification scheme of usability problems (CUP)
inferred← citeshttps://doi.org/10.1016/j.jss.2016.07.033openalex-snapshot
A Formal Approach to implement java exceptions in cooperative systems
inferred← citeshttps://doi.org/10.1016/j.parco.2011.10.010openalex-snapshot
Analyzing fault aware collective performance in a process fault tolerant MPI
inferred← citeshttps://doi.org/10.1016/j.peva.2004.04.003openalex-snapshot
An analytical approach to architecture-based software performance and reliability prediction
inferred← citeshttps://doi.org/10.1016/j.robot.2023.104424openalex-snapshot
An exploratory study of software engineering in heavy-duty mobile machine automation
inferred← citeshttps://doi.org/10.1016/j.scico.2009.12.006openalex-snapshot
Formalization of an architectural model for exception handling coordination based on CA action concepts
inferred← citeshttps://doi.org/10.1016/j.tcs.2013.11.003openalex-snapshot
An observationally complete program logic for imperative higher-order functions
inferred← citeshttps://doi.org/10.1016/j.tcs.2021.01.037openalex-snapshot
Calculational design of a regular model checker by abstract interpretation
inferred← citeshttps://doi.org/10.1016/s0169-7161(88)07007-5openalex-snapshot
5 Software reliability models
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)65869-5openalex-snapshot
Experience with Computers on Some UK Power Plants
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)65881-6openalex-snapshot
Safety Program Validation by Means of Control Checking
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)67471-8openalex-snapshot
Systematic Error Treatment in Real Time Software
inferred← citeshttps://doi.org/10.1017/s0956796813000117openalex-snapshot
Refactoring tools for functional languages
inferred← citeshttps://doi.org/10.1038/s41598-025-04102-4openalex-snapshot
Multi release software reliability modelling incorporating fault generation in detection process and fault dependency with change point in correction process
inferred← citeshttps://doi.org/10.1049/sej.1988.0029openalex-snapshot
Symbolic execution systems—a review
inferred← citeshttps://doi.org/10.1080/10157891.1988.10472819openalex-snapshot
Understanding and Controlling Software Costs
inferred← citeshttps://doi.org/10.1109/c-m.1981.220339openalex-snapshot
Tutorial Series 5 Software Design
inferred← citeshttps://doi.org/10.1117/12.2056883openalex-snapshot
Experiences with the design and construction of wideband spectral line and pulsar instrumentation with CASPER hardware and software: the digital backend system
inferred← citeshttps://doi.org/10.1145/1047915.1047919openalex-snapshot
Improving the reliability of commodity operating systems
inferred← citeshttps://doi.org/10.1145/1067629.806530openalex-snapshot
Overview of the Hydra Operating System development
inferred← citeshttps://doi.org/10.1145/1189256.1189257openalex-snapshot
Recovering device drivers
inferred← citeshttps://doi.org/10.1145/242223.242288openalex-snapshot
Strategic directions in software quality
inferred← citeshttps://doi.org/10.1145/310663.310667openalex-snapshot
Estimation of software reliability by stratified sampling
inferred← citeshttps://doi.org/10.1145/3789692.3789753openalex-snapshot
Modeling the Probability of Online Service Delivery in Mass Service Systems
inferred← citeshttps://doi.org/10.11606/t.55.2017.tde-28092017-162339openalex-snapshot
Uma abordagem para geração de dados de teste para o teste de mutação utilizando técnicas baseadas em busca
inferred← citeshttps://doi.org/10.11606/t.55.2019.tde-04012019-112931openalex-snapshot
Formal mutation testing in Circus process algebra
inferred← citeshttps://doi.org/10.1177/003754979105600407openalex-snapshot
An expert simulator for allocating the quality assurance effort in software development
inferred← citeshttps://doi.org/10.1177/1748006x211033713openalex-snapshot
Modelling software reliability growth through generalized inflection S-shaped fault reduction factor and optimal release time
inferred← citeshttps://doi.org/10.1186/s41072-019-0054-5openalex-snapshot
Toward implementing a fully automated truck guidance system at a seaport: identifying the roles, costs and benefits of logistics stakeholders
inferred← citeshttps://doi.org/10.1371/journal.pone.0028956openalex-snapshot
A Federated Design for a Neurobiological Simulation Engine: The CBI Federated Software Architecture
inferred← citeshttps://doi.org/10.14257/ijmue.2014.9.11.08openalex-snapshot
On Autonomic Self Healing Architecture for Resiliency in Cyber Physical System
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.