On the public citation graph

Generative transformations and patterns in LLM-native approaches for software verification and falsification

https://doi.org/10.2139/ssrn.5624902
0 signed · 64 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 this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-47910-4_21openalex-snapshot
Design Patterns: Abstraction and Reuse of Object-Oriented Design
inferredcites →https://doi.org/10.1007/978-1-4612-0931-7openalex-snapshot
The Temporal Logic of Reactive and Concurrent Systems
inferredcites →https://doi.org/10.1007/978-3-031-70245-7_9openalex-snapshot
Towards Generating Executable Metamorphic Relations Using Large Language Models
inferredcites →https://doi.org/10.1007/978-3-662-03811-6openalex-snapshot
Principles of Program Analysis
inferredcites →https://doi.org/10.1007/s10664-015-9387-3openalex-snapshot
A contextual approach towards more accurate duplicate bug report detection and ranking
inferredcites →https://doi.org/10.1017/cbo9780511809163openalex-snapshot
Introduction to Software Testing
inferredcites →https://doi.org/10.1109/access.2023.3265731openalex-snapshot
Enhancing Bug Localization Using Phase-Based Approach
inferredcites →https://doi.org/10.1109/icse.2007.37openalex-snapshot
Feedback-Directed Random Test Generation
inferredcites →https://doi.org/10.1109/icstw64639.2025.10962470openalex-snapshot
Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
inferredcites →https://doi.org/10.1109/jproc.2020.2993293openalex-snapshot
Software Vulnerability Detection Using Deep Neural Networks: A Survey
inferredcites →https://doi.org/10.1109/msp.2004.111openalex-snapshot
Static analysis for security
inferredcites →https://doi.org/10.1109/saner56733.2023.00038openalex-snapshot
Slice-Based Code Change Representation Learning
inferredcites →https://doi.org/10.1109/saner56733.2023.00070openalex-snapshot
Large Language Models: The Next Frontier for Variable Discovery within Metamorphic Testing?
inferredcites →https://doi.org/10.1109/sse67621.2025.00028openalex-snapshot
On the Challenges of Fuzzing Techniques via Large Language Models
inferredcites →https://doi.org/10.1109/tse.2010.62openalex-snapshot
An Analysis and Survey of the Development of Mutation Testing
inferredcites →https://doi.org/10.1109/tse.2010.98openalex-snapshot
Automated Abstractions for Contract Validation
inferredcites →https://doi.org/10.1109/tse.2014.2372785openalex-snapshot
The Oracle Problem in Software Testing: A Survey
inferredcites →https://doi.org/10.1109/tse.2016.2521368openalex-snapshot
A Survey on Software Fault Localization
inferredcites →https://doi.org/10.1109/tse.2017.2785841openalex-snapshot
Coverage-Based Greybox Fuzzing as Markov Chain
inferredcites →https://doi.org/10.1109/tse.2018.2827384openalex-snapshot
A Systematic Evaluation of Static API-Misuse Detectors
inferredcites →https://doi.org/10.1109/tse.2021.3087402openalex-snapshot
Deep Learning Based Vulnerability Detection: Are We There Yet?
inferredcites →https://doi.org/10.1109/tse.2023.3334955openalex-snapshot
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation
inferredcites →https://doi.org/10.1109/tse.2024.3368208openalex-snapshot
Software Testing With Large Language Models: Survey, Landscape, and Vision
inferredcites →https://doi.org/10.1109/tse.2024.3382365openalex-snapshot
ChatGPT vs SBST: A Comparative Assessment of Unit Test Suite Generation
inferredcites →https://doi.org/10.1109/tse.2024.3397822openalex-snapshot
Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models
inferredcites →https://doi.org/10.1109/tse.2024.3470333openalex-snapshot
Multitask-Based Evaluation of Open-Source LLM on Software Vulnerability
inferredcites →https://doi.org/10.1109/tse.2025.3562025openalex-snapshot
LLMorpheus: Mutation Testing Using Large Language Models
inferredcites →https://doi.org/10.1145/1052883.1052895openalex-snapshot
Finding bugs is easy
inferredcites →https://doi.org/10.1145/1065010.1065036openalex-snapshot
DART
inferredcites →https://doi.org/10.1145/1592434.1592438openalex-snapshot
Software model checking
inferredcites →https://doi.org/10.1145/177492.177726openalex-snapshot
The temporal logic of actions
inferredcites →https://doi.org/10.1145/2408776.2408795openalex-snapshot
Symbolic execution for software testing
inferredcites →https://doi.org/10.1145/2644805openalex-snapshot
In defense of soundiness
inferredcites →https://doi.org/10.1145/2931037.2931054openalex-snapshot
Sapienz: multi-objective automated testing for Android applications
inferredcites →https://doi.org/10.1145/3038912.3052649openalex-snapshot
Performance Monitoring and Root Cause Analysis for Cloud-hosted Web Applications
inferredcites →https://doi.org/10.1145/3626111.3628205openalex-snapshot
PROSPER
inferredcites →https://doi.org/10.1145/3627703.3629553openalex-snapshot
Automatic Root Cause Analysis via Large Language Models for Cloud Incidents
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/3643762openalex-snapshot
CORE: Resolving Code Quality Issues using LLMs
inferredcites →https://doi.org/10.1145/3643763openalex-snapshot
Towards AI-Assisted Synthesis of Verified Dafny Methods
inferredcites →https://doi.org/10.1145/3643769openalex-snapshot
Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM
inferredcites →https://doi.org/10.1145/3643787.3648036openalex-snapshot
Software Vulnerability and Functionality Assessment using Large Language Models
inferredcites →https://doi.org/10.1145/3643795.3648396openalex-snapshot
Unit Test Generation using Generative AI : A Comparative Performance Analysis of Autogeneration Tools
inferredcites →https://doi.org/10.1145/3650212.3680354openalex-snapshot
Domain Adaptation for Code Model-Based Unit Test Case Generation
inferredcites →https://doi.org/10.1145/3650212.3680355openalex-snapshot
How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
inferredcites →https://doi.org/10.1145/3660771openalex-snapshot
A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization
inferredcites →https://doi.org/10.1145/3660773openalex-snapshot
A Deep Dive into Large Language Models for Automated Bug Localization and Repair
inferredcites →https://doi.org/10.1145/3660783openalex-snapshot
Evaluating and Improving ChatGPT for Unit Test Generation
inferredcites →https://doi.org/10.1145/3660791openalex-snapshot
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
inferredcites →https://doi.org/10.1145/3660810openalex-snapshot
ClarifyGPT: A Framework for Enhancing LLM-Based Code Generation via Requirements Clarification
inferredcites →https://doi.org/10.1145/3661167.3661216openalex-snapshot
Using Large Language Models to Generate JUnit Tests: An Empirical Study
inferredcites →https://doi.org/10.1145/3664646.3664777openalex-snapshot
Effectiveness of ChatGPT for Static Analysis: How Far Are We?
inferredcites →https://doi.org/10.1145/3676641.3716022openalex-snapshot
KernelGPT: Enhanced Kernel Fuzzing via Large Language Models
inferredcites →https://doi.org/10.1145/3689736openalex-snapshot
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
inferredcites →https://doi.org/10.1145/3729398openalex-snapshot
CoverUp: Effective High Coverage Test Generation for Python
inferredcites →https://doi.org/10.1145/96267.96279openalex-snapshot
An empirical study of the reliability of UNIX utilities
inferredcites →https://doi.org/10.1162/coli_a_00492openalex-snapshot
Language Model Behavior: A Comprehensive Survey
inferredcites →https://doi.org/10.1162/tacl_a_00502openalex-snapshot
On Decoding Strategies for Neural Text Generators
inferredcites →https://doi.org/10.1162/tacl_a_00638openalex-snapshot
Lost in the Middle: How Language Models Use Long Contexts
inferredcites →https://doi.org/10.14722/ndss.2024.24556openalex-snapshot
Large Language Model guided Protocol Fuzzing
inferredcites →https://doi.org/10.14722/ndss.2025.241357openalex-snapshot
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
inferredcites →https://doi.org/10.18653/v1/2023.acl-long.108openalex-snapshot
Instruction Induction: From Few Examples to Natural Language Task Descriptions
inferredcites →https://doi.org/10.18653/v1/d15-1044openalex-snapshot
A Neural Attention Model for Abstractive Sentence Summarization

What points at this work

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

inferred← citeshttps://doi.org/10.1145/3832783.3834545openalex-snapshot
Let’s Chat about Design: A Transformation-Oriented Viewpoint for LLM-Native Software
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.