On the public citation graph

Proceedings 17th IEEE International Conference on Automated Software Engineering,

0 signed · 50 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/9781118930960.ch3openalex-snapshot
Multihierarchy/Multiview Software Architectures
inferred← citeshttps://doi.org/10.1002/smr.520openalex-snapshot
Studying clone evolution using incremental clone detection
inferred← citeshttps://doi.org/10.1002/spe.452openalex-snapshot
A framework for table driven testing of Java classes
inferred← citeshttps://doi.org/10.1007/978-3-030-22888-0_1openalex-snapshot
A Flexible and Efficient Approach to Component Test in Time-Critical Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-031-07297-0_8openalex-snapshot
A Survey on Applications, Challenges, and Meta-Heuristic-Based Solutions in Wireless Sensor Network
inferred← citeshttps://doi.org/10.1007/978-3-319-11164-3_19openalex-snapshot
On-Line Monitoring for Temporal Logic Robustness
inferred← citeshttps://doi.org/10.1007/978-3-540-45069-6_26openalex-snapshot
Efficient Image Computation in Infinite State Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-73370-6_7openalex-snapshot
Some Solutions to the Ignoring Problem
inferred← citeshttps://doi.org/10.1007/978-3-642-03034-5_8openalex-snapshot
Combining DSLs and Ontologies Using Metamodel Integration
inferred← citeshttps://doi.org/10.1007/978-3-642-29645-1_3openalex-snapshot
Interoperability of Software Engineering Metamodels
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_22openalex-snapshot
Combining Time and Frequency Domain Specifications for Periodic Signals
inferred← citeshttps://doi.org/10.1007/978-3-642-33666-9_35openalex-snapshot
Generation of Operational Transformation Rules from Examples of Model Transformations
inferred← citeshttps://doi.org/10.1007/978-981-16-8896-6_6openalex-snapshot
Plagiarism Detection of Online Submissions Using High Level Fuzzy Petri Nets in Pandemic Times
inferred← citeshttps://doi.org/10.1007/s10009-004-0171-8openalex-snapshot
Efficient BDDs for bounded arithmetic constraints
inferred← citeshttps://doi.org/10.1007/s10588-012-9138-6openalex-snapshot
Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking
inferred← citeshttps://doi.org/10.1007/s10664-013-9285-5openalex-snapshot
Labeling source code with information retrieval methods: an empirical study
inferred← citeshttps://doi.org/10.1007/s10703-012-0181-1openalex-snapshot
Modeling and visualizing object-oriented programs with Codecharts
inferred← citeshttps://doi.org/10.1007/s10851-006-8532-4openalex-snapshot
Specification and synthesis of hybrid automata for physics-based animation
inferred← citeshttps://doi.org/10.1007/s11334-013-0228-5openalex-snapshot
Prioritizing test scenarios from UML communication and activity diagrams
inferred← citeshttps://doi.org/10.1007/s11432-019-2859-8openalex-snapshot
Quality assessment of crowdsourced test cases
inferred← citeshttps://doi.org/10.1007/s11704-013-2047-0openalex-snapshot
Supporting feature model refinement with updatable view
inferred← citeshttps://doi.org/10.1007/s11704-016-5131-4openalex-snapshot
Major motivations for extract method refactorings: analysis based on interviews and change histories
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.1007/s11704-018-8254-yopenalex-snapshot
Towards functional verifying a family of systemC TLMs
inferred← citeshttps://doi.org/10.1007/s11859-008-0415-8openalex-snapshot
A testing method for Web services composition based on data-flow
inferred← citeshttps://doi.org/10.1016/b978-0-12-818366-3.00010-1openalex-snapshot
The application of artificial intelligence in software engineering
inferred← citeshttps://doi.org/10.1016/j.cola.2022.101174openalex-snapshot
MoTrans-BDI: Leveraging the Beliefs-Desires-Intentions agent architecture for collaborative model transformation by example
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.02.070openalex-snapshot
A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.05.033openalex-snapshot
Deriving Available Behavior All Out from Incompatible Component Compositions
inferred← citeshttps://doi.org/10.1016/j.eswa.2008.10.027openalex-snapshot
A systematic review of software fault prediction studies
inferred← citeshttps://doi.org/10.1016/j.infsof.2005.07.003openalex-snapshot
A method for assigning a value to a communication protocol test case
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.08.002openalex-snapshot
Applying a smoothing filter to improve IR-based traceability recovery processes: An empirical investigation
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.04.011openalex-snapshot
Towards a mutation analysis of IoT protocols
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.06.006openalex-snapshot
PTL: A model transformation language based on logic programming
inferred← citeshttps://doi.org/10.1016/j.jpdc.2023.104801openalex-snapshot
Distributed runtime verification of metric temporal properties
inferred← citeshttps://doi.org/10.1016/j.jss.2012.11.045openalex-snapshot
Automated test data generation for branch testing using genetic algorithm: An improved approach using branch ordering, memory and elitism
inferred← citeshttps://doi.org/10.1016/j.jss.2013.10.056openalex-snapshot
Using SPIN for automated debugging of infinite executions of Java programs
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.06.021openalex-snapshot
Robustness of temporal logic specifications for continuous-time signals
inferred← citeshttps://doi.org/10.1016/j.vehcom.2021.100352openalex-snapshot
A process algebraic mutation framework with application to a vehicle charging protocol
inferred← citeshttps://doi.org/10.1016/s0065-2458(01)80015-2openalex-snapshot
Working with UML: A software design process based on inspections for the unified modeling language
inferred← citeshttps://doi.org/10.1145/1081706.1081712openalex-snapshot
ASTEC
inferred← citeshttps://doi.org/10.1145/1230800.1230802openalex-snapshot
Disjunctive image computation for software verification
inferred← citeshttps://doi.org/10.1145/1394209.1394229openalex-snapshot
CoDePA
inferred← citeshttps://doi.org/10.1145/3771275openalex-snapshot
Automatic Rule Checking for Microservices: Supporting Security Analysis with Explainability
inferred← citeshttps://doi.org/10.11606/t.55.2017.tde-26092017-160607openalex-snapshot
Uma abordagem para representação de resultados formais na UML
inferred← citeshttps://doi.org/10.1177/0037549705052227openalex-snapshot
Variable Structure in DEVS Component-Based Modeling and Simulation
inferred← citeshttps://doi.org/10.14232/phd.10723openalex-snapshot
Towards Visualization of Unit Test and Source Code Relations
inferred← citeshttps://doi.org/10.14429/dsj.72.17228openalex-snapshot
Generic Methodology for Formal Verification of UML Models
inferred← citeshttps://doi.org/10.4304/jsw.7.1.133-140openalex-snapshot
A Novel Approach to Construct Object-Oriented System Dependence Graph and Algorithm Design
inferred← citeshttps://doi.org/10.5381/jot.2020.19.2.a9openalex-snapshot
Dynamic Virtual Network Embedding: Using Incremental Model Transformation and Integer Linear Programming Techniques.
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.