Abstract is missing.
- Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in PracticeShaoying Liu, Shin Nakajima. 3-16 [doi]
- Theory of Test Modeling Based on Regular ExpressionsPan Liu, Huaikou Miao. 17-31 [doi]
- Integrating Separation Logic with PPTLXu Lu, Zhenhua Duan, Cong Tian, Hongjin Liu. 35-47 [doi]
- Improved Net Reductions for LTL $$\setminus $$ \ X Model CheckingYa Shi, Zhenhua Duan, Cong Tian, Hua Yang. 48-61 [doi]
- Formalizing and Implementing Types in MSVLXiaobing Wang, Zhenhua Duan, Liang Zhao. 62-75 [doi]
- Present-Future Form of Linear Time $$\mu $$ -CalculusYao Liu, Zhenhua Duan, Cong Tian, Bo Liu. 76-85 [doi]
- Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software ModelingWeikai Miao, Shaoying Liu. 89-103 [doi]
- A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional ScenariosShenghua Zhu, Shaoying Liu. 104-117 [doi]
- SOFL Specification Animation with Tool SupportMo Li, Shaoying Liu. 118-131 [doi]
- An Approach to Declaring Data Types for Formal SpecificationsXi Wang, Shaoying Liu. 135-153 [doi]
- Detection Method of the Second-Order SQL Injection in Web ApplicationsLu Yan, Xiaohong Li, Ruitao Feng, Zhiyong Feng, Jing Hu. 154-165 [doi]
- Applying SOFL to Constructing a Smart Traffic Light SpecificationWahyu Eko Sulistiono, Shaoying Liu. 166-174 [doi]
- Checking Internal Consistency of SOFL Specification: A Hybrid ApproachYuting Chen. 175-191 [doi]