SFPVV2026

Accepted Papers and Presentations

The following papers and presentations have been accepted for SFPVV2026. See the Tentative Program for the presentation schedule.

The order below does not indicate the presentation order.

Regular Paper Track (15 papers) Presentation Track (8 presentations)

Regular Paper Track 15 papers

  • Operational Semantics of Recursive Quantum Programs

    Canh Minh Do and Kazuhiro Ogata

  • Layered Semi-Formal Specifications for Repository-Level Code Generation

    Yuxiang Shang and Shaoying Liu

  • An Automated Approach to Lemma Discovery in the OTS/CafeOBJ Method

    Phuong Thu Nguyen, Canh Minh Do and Kazuhiro Ogata

  • Exploiting Discrete Structures for Constrained Adversarial Attacks on Tree Ensembles

    Takumi Kubo, Takahisa Toda and Hisashi Koga

  • Efficient Formal Verification of Measurement-Based Quantum Computation by Branch Reduction Based on Structural Checking

    Ryuichi Nagoshi and Tsubasa Takagi

  • pysrat: A Python Package for Metrics-Based Software Reliability Growth Models

    Hiroyuki Okamura, Junjun Zheng and Tadashi Dohi

  • Adjoint-Based Gradient Computation for Non-Homogeneous Markov Process Software Reliability Models with Grouped Failure Data

    Kaixuan Tao, Hiroyuki Okamura, Junjun Zheng and Tadashi Dohi

  • Failure-Epoch Probabilistic Rewriting Semantics for Dynamic Fault Trees

    Jiani Dai, Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi, Yepeng Ding and Shaoying Liu

  • Exploring the Interaction between Machine Learning Algorithms and Oversampling Algorithms in Software Bug Prediction

    Youmeng He, Tadashi Dohi, Jingchi Wu, Junjun Zheng and Hiroyuki Okamura

  • Generalized Information Criteria for NHPP-Based Software Reliability Models with Least Squares Estimation

    Jingchi Wu, Tadashi Dohi, Junjun Zheng and Hiroyuki Okamura

  • New Insights into Software Fault-Count Prediction: Beyond Classical Plug-in Prediction

    Jingchi Wu, Tadashi Dohi, Junjun Zheng and Hiroyuki Okamura

  • Establishing Behavioral Baselines from LLM-Generated Oracle-Free Probes

    Kinari Nishiura and Osamu Mizuno

  • Ambiguity Detection Method for Requirements Specification using Contextual Information

    Risa Ishii, Motoshi Saeki and Atsushi Sawada

  • Modeling and Reliability Analysis of V2V Communications under DoS Attacks

    Junjun Zheng, Hiroyuki Okamura, Wei Li and Tadashi Dohi

  • Formal Verification of Spiral and Windmill Routing for Image-Processing Networks-on-Chip

    Shotaro Nagaoka, Tomoyuki Yokogawa and Masafumi Kondo

Presentation Track 8 presentations

  • Modelling and Formalization of a Braking System in IEEE 1474-2025

    Hisashi Mori, Shutaro Ouchi, Yuta Wada, Masaaki Takeyasu and Florian Faissole

  • Impact of EVM Bytecode Obfuscation on Vulnerability Detection

    Koshiro Shimamoto, Chihiro Kado and Tatsuhiro Tsuchiya

  • Knowledge-Graph-Based Retrieval-Augmented Code Generation for Private Libraries

    Kotaro Akasaka and Shingo Takada

  • Diagnosing Interacting Uncertainty in a Neuroadaptive Loop

    Seungil Yang

  • Feasibility Evaluation of Unreasonable Requirements Detection in RFPs Using LLMs

    Ryota Mizutani, Hayato Maruta, Yukasa Murakami, Masateru Tsunoda and Akito Monden

  • Revisiting the Effects of Identifier Normalization and Fine-Tuning on Vulnerability Detection: The Role of Code Formatting

    Sousuke Amasaki and Tomoyuki Yokogawa

  • Model Checking Complex Branching Scenarios in Strategy Games

    Toma Nose, Tomoyuki Yokogawa, Sousuke Amasaki

  • Context-aware Vulnerability Prioritization: A Systematic Literature Review of Severity Scoring, Exploit Prediction and Decision Support Gaps

    Samodi Fernando, Hideto Ogasawara

← Back to SFPVV2026 home Registration