Abstract is missing.
- Software Construction Monitoring and Predicting for Human-Machine Pair ProgrammingShaoying Liu. 3-20 [doi]
- Dataset Diversity for Metamorphic Testing of Machine Learning SoftwareShin Nakajima. 21-38 [doi]
- Research Review on Web Service Composition TestingZhoujie Du, Huaikou Miao. 39-51 [doi]
- Runtime Verification Method for Social Network Security Based on Source Code InstrumentationXiaobing Wang, Wenxuan Guo, Liang Zhao, Xinfeng Shu. 55-70 [doi]
- Verification of SysML Activity Diagrams Using Hoare Logic and SOFLYufei Yin, Shaoying Liu, Yixiang Chen. 71-88 [doi]
- Model Checking Java Programs with MSVLXinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao. 89-107 [doi]
- Formal Specification and Verification for Real-Time Scheduling Based on PARZhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie. 108-122 [doi]
- Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFLJohan van der Berg, Stefan Gruner. 125-145 [doi]
- On Semantics for Mediator: A Coalgebraic Perspectiveai Liu, Shun Wang, Yi Li, Meng Sun. 146-165 [doi]
- A Blockchain Implementation of an Attendance Management SystemJingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang 0001, Ying Wu. 169-182 [doi]
- State-of-the-Art and Future Trends of Blockchain Based on DAG StructureChong Bai. 183-196 [doi]