Abstract is missing.
- Capturing System Designs with Formal Executable SpecificationsJosé Meseguer. 1-32 [doi]
- Towards Large Language Model Guided Kernel Direct FuzzingXie Li, Zhaoyue Yuan, Zhenduo Zhang, Youcheng Sun, Lijun Zhang 0001. 33-42 [doi]
- DeepCRCEval: Revisiting the Evaluation of Code Review Comment GenerationJunyi Lu, Xiaojia Li, Zihan Hua, Lei Yu, Shiqi Cheng, Li Yang 0015, Fengjun Zhang, Chun Zuo. 43-64 [doi]
- VOCE: A Virtual On-Call Engineer for Automated Alert Incident Analysis Using a Large Language ModelJia Chen, Xiaolei Chen, Jie Shi, Peng Wang 0027, Wei Wang 0009. 65-88 [doi]
- Hybridize Functions: A Tool for Automatically Refactoring Imperative Deep Learning Programs to Graph ExecutionRaffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh 0001, Nan Jia, Anita Raja. 89-100 [doi]
- Compositional Learning for Synchronous Parallel AutomataMahboubeh Samadi, Aryan Bastany, Hossein Hojjat. 101-121 [doi]
- Symbolic State Partitioning for Reinforcement LearningMohsen Ghaffari 0002, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski. 122-144 [doi]
- Formal Architectural Patterns for Adaptive Robotic SoftwareJames Baxter 0001, Bert Van Acker, Morten Haahr Kristensen, Thomas Wright, Ana Cavalcanti 0001, Cláudio Gomes 0001. 145-165 [doi]
- RoboScene: Notation for Formal Verification of Human-Robot InteractionHolly Hendry, Ana Cavalcanti 0001, Cade McCall, Mark Chattington. 166-187 [doi]
- Stochastic Timed Graph Transformation SystemsSven Schneider 0001, Maria Maximova, Holger Giese. 188-213 [doi]
- Prove your Colorings: Formal Verification of Cache Coloring of Bao HypervisorAxel Ferréol, Laurent Corbin, Nikolai Kosmatov. 214-235 [doi]
- Reasoning about Substitutability at the Level of JVM BytecodeMarco Paganoni, Carlo A. Furia. 236-256 [doi]
- Advances in Automatic Software Testing: Test-Comp 2025Dirk Beyer 0001. 257-274 [doi]
- Fizzer with Local Space Fuzzing - (Competition Contribution)Martin Jonás, Jan Strejcek, Marek Trtík. 275-280 [doi]
- ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution)Chenfeng Wei, Tong Wu, Rafael Sa Menezes, Fedor Shmarov, Fatimah Aljaafari, Sangharatna Godboley, Kaled M. Alshmrany, Rosiane de Freitas, Lucas C. Cordeiro. 281-286 [doi]