Structured Object-Oriented Formal Language and Method

1. Front Matter

   Pages i-ix

   PDF

2. Testing and Debugging

   1. Front Matter

      Pages 1-1

      PDF

   2. Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction

      • Yanjun Wen, Ji Wang

      Pages 3-12

   3. A Formal Technique for Concurrent Generation of Software’s Functional and Security Requirements in SOFL Specifications

      • Busalire Emeka, Shaoying Liu

      Pages 13-28

   4. Distortion and Faults in Machine Learning Software

      • Shin Nakajima

      Pages 29-41

   5. A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude

      • Canh Minh Do, Kazuhiro Ogata

      Pages 42-58

3. Formal Verification

   1. Front Matter

      Pages 59-59

      PDF

   2. An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL

      • Jin Cui, Xu Lu, Buwen Liang

      Pages 61-72

   3. Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework

      • Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao, Xinfeng Shu

      Pages 73-87

   4. UMC4M: A Verification Tool via Program Execution

      • Meng Wang, Junfeng Tian, Hong Zhang

      Pages 88-98

   5. Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads

      • Bin Yu, Jinhui Liu, Ming Lei, Yong Yu, Hao Chen

      Pages 99-109

4. Problem Solving

   1. Front Matter

      Pages 111-111

      PDF

   2. A Planning Approach Based on APTL

      • Haiyang Wang, Yao Liu

      Pages 113-122

   3. Solving Constraint Optimization Problems Based on Mathematica and Abstraction

      • Guoteng Pan, Mengjun Li, Guodong Ou

      Pages 123-140

   4. A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge

      • Xu Lu, Jin Cui, Yansong Dong, Wensheng Wang, Runzhe Ma, Yifeng Li et al.

      Pages 141-154

   5. Formal Development and Verification of Reusable Component in PAR Platform

      • Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo

      Pages 155-166

   6. A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction

      • Xu Qin, Shaoying Liu, Zhang Tao

      Pages 167-186

   7. Formal Specification and Model Checking of a Ride-sharing System in Maude

      • Eiichi Muramoto, Kazuhiro Ogata, Yoichi Shinoda

      Pages 187-204

   8. Model Checking Python Programs with MSVL

      • Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao

      Pages 205-224

5. Software Analysis and Evolution

   1. Front Matter

      Pages 225-225

      PDF

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.

• architecting
• architecture verification and validation
• artificial intelligence
• computer hardware
• computer networks
• computer programming
• computer science
• computer systems
• distributed computer systems
• embedded systems
• engineering
• formal logic
• internet
• mathematics
• object-oriented programming
• software
• software architecture
• software design
• software engineering
• software quality

• School of Computer Engineering and Science, Shanghai University, Shanghai, China

  Huaikou Miao

• Institute of Computing Theory and Technology, Xidian University, Xi'an, China

  Cong Tian

• Hosei University, Tokyo, Japan

  Shaoying Liu

• Xidian University, Xi'an, China

  Zhenhua Duan

Policies and ethics