Abstract State Machines 1988-1998: Commented ASM Bibliography
Egon Boerger, James K. Huggins
Abstract
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.
Create a lesson
Related papers
DeepGroundRepair: From API-Grounded Generation to Shape-Aware Repair for Deep Learning Programs
Xiangyue Ma, Zhen Wang, Xuhui Lu et al.
Domain-Knowledge Driven Configuration Tuning of Kubernetes Workloads
Federico Imberti, Luca Cavagnis, Stefano Cereda et al.
Software Testing Meets Bayesian Workflow: A Literature-Driven Artifact Study of Probabilistic Programs
Oleg Jarma, Maja Dall, Raúl Pardo et al.
When Agent Evaluation Becomes Unreliable: An Empirical Study of Oracle Failures and Configuration-Dependent Measurement in an LLM Agent Benchmark
Junjie Chen
BRQGen: Towards Adaptive Completeness Assessment and Follow-Up Question Generation for Bug Reports
Tevfik Emre Sungur, Akif Emre Köşüş, Uğurcan Doğruçam et al.
Grounding Deep Learning Framework Testing in Data Flow
Jiatao Ge, Yanzhou Mu, Yinglong Zou et al.