On the public citation graph

Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering

https://doi.org/10.1145/288195
0 signed · 54 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/smr.1659openalex-snapshot
An empirical study of the effect of file editing patterns on software quality
inferred← citeshttps://doi.org/10.1002/smr.1916openalex-snapshot
Model refactoring by example: A multi‐objective search based software engineering approach
inferred← citeshttps://doi.org/10.1007/0-387-28918-6_17openalex-snapshot
Mobile Systems Development: A Literature Review
inferred← citeshttps://doi.org/10.1007/978-3-540-32275-7_20openalex-snapshot
Evaluating QBFs via Symbolic Skolemization
inferred← citeshttps://doi.org/10.1007/978-3-642-24485-8_37openalex-snapshot
Automatic Derivation of Utility Functions for Monitoring Software Requirements
inferred← citeshttps://doi.org/10.1007/978-3-642-24690-6_16openalex-snapshot
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
inferred← citeshttps://doi.org/10.1007/978-3-642-33119-0_15openalex-snapshot
Automatically RELAXing a Goal Model to Cope with Uncertainty
inferred← citeshttps://doi.org/10.1007/s11432-019-2720-1openalex-snapshot
Learning a graph-based classifier for fault localization
inferred← citeshttps://doi.org/10.1007/s11704-015-4334-4openalex-snapshot
BIFER: a biphasic trace filter approach to scalable prediction of concurrency errors
inferred← citeshttps://doi.org/10.1007/s11704-015-4409-2openalex-snapshot
Source code fragment summarization with small-scale crowdsourcing based features
inferred← citeshttps://doi.org/10.1007/s11704-017-6015-yopenalex-snapshot
Combined classifier for cross-project defect prediction: an extended empirical study
inferred← citeshttps://doi.org/10.1016/b978-0-12-411519-4.00020-3openalex-snapshot
Boa
inferred← citeshttps://doi.org/10.1016/b978-0-12-800162-2.00002-6openalex-snapshot
Exploiting Hardware Monitoring in Software Engineering
inferred← citeshttps://doi.org/10.1016/j.datak.2011.01.001openalex-snapshot
Formal modelling of organisational goals based on performance indicators
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.04.003openalex-snapshot
Towards a Small Model Theorem for Data Independent Systems in Alloy
inferred← citeshttps://doi.org/10.1016/j.infsof.2014.09.006openalex-snapshot
An empirical analysis of package-modularization metrics: Implications for software fault-proneness
inferred← citeshttps://doi.org/10.1016/j.infsof.2015.12.005openalex-snapshot
Distributed software development in an offshore outsourcing project: A case study of source code evolution and quality
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.09.008openalex-snapshot
RINGA: Design and verification of finite state machine for self-adaptive software at runtime
inferred← citeshttps://doi.org/10.1016/j.infsof.2021.106766openalex-snapshot
Developers’ viewpoints to avoid bug-introducing changes
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.09.011openalex-snapshot
Relating two automata-based models of orchestration and choreography
inferred← citeshttps://doi.org/10.1016/j.jss.2007.08.025openalex-snapshot
Documenting after the fact: Recovering architectural design decisions
inferred← citeshttps://doi.org/10.1016/j.jss.2012.11.055openalex-snapshot
AFChecker: Effective model checking for context-aware adaptive applications
inferred← citeshttps://doi.org/10.1016/j.jss.2013.10.019openalex-snapshot
Recovering test-to-code traceability using slicing and textual analysis
inferred← citeshttps://doi.org/10.1016/j.jss.2013.11.1077openalex-snapshot
Sustainability of Open Source software communities beyond a fork: How and why has the LibreOffice project evolved?
inferred← citeshttps://doi.org/10.1016/j.jss.2013.12.033openalex-snapshot
Uncertainty handling in goal-driven self-optimization – Limiting the negative effect on adaptation
inferred← citeshttps://doi.org/10.1016/j.jss.2014.06.039openalex-snapshot
Comparing model-based and dynamic event-extraction based GUI testing techniques: An empirical study
inferred← citeshttps://doi.org/10.1016/j.jss.2014.12.042openalex-snapshot
Semi-automatic architectural pattern identification and documentation using architectural primitives
inferred← citeshttps://doi.org/10.1016/j.jss.2015.06.037openalex-snapshot
Exploiting traceability uncertainty among artifacts and code
inferred← citeshttps://doi.org/10.1016/j.jss.2017.03.010openalex-snapshot
A method to localize faults in concurrent C programs
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112140openalex-snapshot
SynthoMinds: Bridging human programming intuition with retrieval, analogy, and reasoning in program synthesis
inferred← citeshttps://doi.org/10.1016/j.scico.2009.05.001openalex-snapshot
Integration testing of Object-Oriented and Aspect-Oriented programs: A structural pairwise approach for Java
inferred← citeshttps://doi.org/10.1016/j.scico.2010.12.007openalex-snapshot
rbFeatures: Feature-oriented programming with Ruby
inferred← citeshttps://doi.org/10.1016/j.scico.2013.05.007openalex-snapshot
Automated verification of design patterns: A case study
inferred← citeshttps://doi.org/10.1016/j.scico.2013.10.007openalex-snapshot
Modular type checking of anchored exception declarations
inferred← citeshttps://doi.org/10.1016/j.scico.2015.03.005openalex-snapshot
Relational symbolic execution of SQL code for unit testing of database programs
inferred← citeshttps://doi.org/10.1016/j.scico.2017.09.005openalex-snapshot
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs
inferred← citeshttps://doi.org/10.1016/j.scico.2018.10.004openalex-snapshot
Exploring the frequency and change proneness of dynamic feature pattern instances in PHP applications
inferred← citeshttps://doi.org/10.1016/j.scico.2019.05.002openalex-snapshot
A large-scale empirical exploration on refactoring activities in open source software projects
inferred← citeshttps://doi.org/10.1080/0952813x.2021.1871664openalex-snapshot
A tuned feed-forward deep neural network algorithm for effort estimation
inferred← citeshttps://doi.org/10.1145/3276604.3276617openalex-snapshot
Migrating business logic to an incremental computing DSL: a case study
inferred← citeshttps://doi.org/10.1145/3314221.3314635openalex-snapshot
Sparse record and replay with controlled scheduling
inferred← citeshttps://doi.org/10.1145/3315508.3329975openalex-snapshot
Neural query expansion for code search
inferred← citeshttps://doi.org/10.1145/3324884.3416627openalex-snapshot
A deep multitask learning approach for requirements discovery and annotation from open forum
inferred← citeshttps://doi.org/10.1145/3377811.3380356openalex-snapshot
Detection of hidden feature requests from massive chat messages via deep siamese network
inferred← citeshttps://doi.org/10.1145/3487062openalex-snapshot
Why Do Developers Reject Refactorings in Open-Source Projects?
inferred← citeshttps://doi.org/10.1145/3540250.3549177openalex-snapshot
First come first served: the impact of file position on code review
inferred← citeshttps://doi.org/10.1145/3569936openalex-snapshot
DAISY: Dynamic-Analysis-Induced Source Discovery for Sensitive Data
inferred← citeshttps://doi.org/10.1145/3573074.3573088openalex-snapshot
Supporting the Task-driven Skill Identification in Open Source Project Issue Tracking Systems
inferred← citeshttps://doi.org/10.1145/3616496openalex-snapshot
Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks
inferred← citeshttps://doi.org/10.1145/3632405openalex-snapshot
Predicting Nonfunctional Requirement Violations in Autonomous Systems
inferred← citeshttps://doi.org/10.1145/3678517openalex-snapshot
End-Users Know Best: Identifying Undesired Behavior of Alexa Skills Through User Review Analysis
inferred← citeshttps://doi.org/10.1145/3696630.3728525openalex-snapshot
Drop the Golden Apples: Identifying Third-Party Reuse by DB-Less Software Composition Analysis
inferred← citeshttps://doi.org/10.1145/3731569.3764813openalex-snapshot
PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation
inferred← citeshttps://doi.org/10.1145/3767159openalex-snapshot
Exploring Development Methods for Reactive Synthesis Specifications
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.