Abstract is missing.
- A Methodology for Rating Maintainability Metrics of SOFL Formal SpecificationsYu Du, Shaoying Liu. 1-14 [doi]
- An Executable Operational Semantics of Quantum Programs and Its ApplicationCanh Minh Do, Kazuhiro Ogata 0001. 15-31 [doi]
- Automated Software Test Input Generation with Diffusion ModelsYujin Zhu, Xiujing Guo, Hiroyuki Okamura, Tadashi Dohi. 32-48 [doi]
- Blockchain Solutions for Cash-on-Delivery: Utilizing Encrypted NFTs, Smart Contracts, and IPFS TechnologyPhan Hoang Tuan Trung, Tran Dang Khoa, Nghiem Pham Thanh, Tran Ba Nam, Nguyen Thi Kim Ngan, Doan Minh Hieu, Loc Van Cao Phu. 49-63 [doi]
- Revolutionizing Animal Health Privacy: Blockchain and Encrypted NFTsPhan Hoang Tuan Trung, Tran Dang Khoa, Nghiem Pham Thanh, Tran Ba Nam, Nguyen Thi Kim Ngan, Doan Minh Hieu, Loc Van Cao Phu. 64-78 [doi]
- Improving and Evaluating Sparse Decision-Based Black-Box Attacks and DefensesJonas Brager Jacobsen, Jingyue Li, Mathias Lundteigen Mohus. 79-96 [doi]
- Recovery of Trace Links Between a SOFL Formal Specification and Its Corresponding Incomplete Java CodeJiandong Li, Shaoying Liu, Zhi Jin. 97-114 [doi]
- S3DA: A 3D Point Cloud Based PCB Solder Defect Detection AlgorithmYilongfei Xu, Zhewei Wang, Jinhao Liang, Yueling Zhang, Jincao Feng, Weikai Miao, Jiangtao Wang, Geguang Pu. 115-130 [doi]
- Consistency Naming Between Requirements Analysis and SpecificationsFumiko Nagoya. 131-140 [doi]
- A Framework for Standardized Partitioning Analysis in Integrated Modular Avionics SystemsJilu Zhang, Yong Cai 0002, Weikai Miao, Zhouyang Wang. 141-157 [doi]
- A Common Declarative Language for UML State Machine Representation, Model Transformation, and Interoperability of Visualization ToolsAli Jannatpour, Constantinos Constantinides. 158-176 [doi]
- The Three-Point Optimization Algorithm: A Novel Physics-Based Metaheuristic ApproachXiong Deng, Shaoying Liu, Yanli Liu. 177-188 [doi]
- Generating Simulink Models from Hybridised Event-B ModelsNeeraj Kumar Singh 0001, Guillaume Dupont, Yamine Aït Ameur, Marc Pantel. 189-207 [doi]
- Formal Specification and Model Checking of a Synchronous Leader Election Protocol in MaudeTomoyoshi Ogura, Canh Minh Do, Kazuhiro Ogata 0001. 208-225 [doi]
- Relational Denotational and Algebraic Semantics Based on UTPZhiru Hou, Huibiao Zhu. 226-244 [doi]
- ASTD Patterns for Integrated Continuous Anomaly Detection in Data LogsChaymae El Jabri, Marc Frappier, Pierre-Martin Tardif. 245-262 [doi]
- Towards a Novel Approach to Railway Safety Using STPA and Promise TheoryFelix Schaber, Atif Mashkoor, Michael Leuschel. 263-279 [doi]
- Functional Modelling of the Matroid and Application to the Knapsack ProblemZikang Wan, Zhen You, Chen Zhang, Zhengkang Zuo, Changjing Wang, Qimin Hu. 280-291 [doi]