- Jin Cui, Xu Lu, Buwen Liang:
An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL. SOFL+MSVL 2019: 61-72 - Canh Minh Do
, Kazuhiro Ogata:
A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude. SOFL+MSVL 2019: 42-58 - Keke Du, Mingyue Jiang, Zuohua Ding, Hongyun Huang, Ting Shu:
Metamorphic Testing in Fault Localization of Model Transformations. SOFL+MSVL 2019: 299-314 - Busalire Onesmus Emeka, Shaoying Liu:
A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications. SOFL+MSVL 2019: 13-28 - Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo:
Formal Development and Verification of Reusable Component in PAR Platform. SOFL+MSVL 2019: 155-166 - Muhammad Jahanzeb Khan, Ruoyu Wang, Daniel Sun, Guoqiang Li:
Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning. SOFL+MSVL 2019: 279-295 - Xu Lu, Jin Cui, Yansong Dong, Wensheng Wang, Runzhe Ma, Yifeng Li, Qing Feng:
A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge. SOFL+MSVL 2019: 141-154 - Chengying Mao, Mengting Quan, Zhilei Chen, Tsong Yueh Chen:
Adaptive Random Testing by Bisection and Comprehensive Distance. SOFL+MSVL 2019: 328-344 - Eiichi Muramoto, Kazuhiro Ogata, Yoichi Shinoda:
Formal Specification and Model Checking of a Ride-sharing System in Maude. SOFL+MSVL 2019: 187-204 - Shin Nakajima:
Distortion and Faults in Machine Learning Software. SOFL+MSVL 2019: 29-41 - Guoteng Pan, Mengjun Li, Guodong Ou:
Solving Constraint Optimization Problems Based on Mathematica and Abstraction. SOFL+MSVL 2019: 123-140 - Baoyi Pan, Ting Shu, Jinsong Xia, Zuohua Ding, Mingyue Jiang:
A Fault Localization Method Based on Dynamic Failed Execution Blocks. SOFL+MSVL 2019: 315-327 - Xu Qin, Shaoying Liu, Tao Zhang:
A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction. SOFL+MSVL 2019: 167-186 - Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao:
Model Checking Python Programs with MSVL. SOFL+MSVL 2019: 205-224 - Lei Wang, Guoxiong Chen, Liang Li:
Prediction of Function Removal Propagation in Linux Evolution. SOFL+MSVL 2019: 227-242 - Haiyang Wang, Yao Liu:
A Planning Approach Based on APTL. SOFL+MSVL 2019: 113-122 - Meng Wang, Junfeng Tian, Hong Zhang:
UMC4M: A Verification Tool via Program Execution. SOFL+MSVL 2019: 88-98 - Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao, Xinfeng Shu:
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework. SOFL+MSVL 2019: 73-87 - Yanjun Wen, Ji Wang:
Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction. SOFL+MSVL 2019: 3-12 - Bin Yu, Jinhui Liu, Ming Lei, Yong Yu, Hao Chen:
Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads. SOFL+MSVL 2019: 99-109 - Jing Zhao, Tianran Dong, Yang Cheng, Yanbin Wang:
CMM: A Combination-Based Mutation Method for SQL Injection. SOFL+MSVL 2019: 345-361 - Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya:
Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11392, Springer 2019, ISBN 978-3-030-13650-5 [contents] - 2018
- Chong Bai:
State-of-the-Art and Future Trends of Blockchain Based on DAG Structure. SOFL+MSVL 2018: 183-196 - Johan van der Berg, Stefan Gruner:
Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL. SOFL+MSVL 2018: 125-145 - Zhoujie Du, Huaikou Miao:
Research Review on Web Service Composition Testing. SOFL+MSVL 2018: 39-51 - Shaoying Liu:
Software Construction Monitoring and Predicting for Human-Machine Pair Programming. SOFL+MSVL 2018: 3-20 - Ai Liu, Shun Wang, Yi Li, Meng Sun:
On Semantics for Mediator: A Coalgebraic Perspective. SOFL+MSVL 2018: 146-165 - Shin Nakajima:
Dataset Diversity for Metamorphic Testing of Machine Learning Software. SOFL+MSVL 2018: 21-38 - Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao:
Model Checking Java Programs with MSVL. SOFL+MSVL 2018: 89-107 - Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu:
A Blockchain Implementation of an Attendance Management System. SOFL+MSVL 2018: 169-182
