default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th SOFL+MSVL 2019: Shenzhen, China
- Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12028, Springer 2020, ISBN 978-3-030-41417-7
Testing and Debugging
- Yanjun Wen, Ji Wang:
Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction. 3-12 - Busalire Onesmus Emeka, Shaoying Liu:
A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications. 13-28 - Shin Nakajima:
Distortion and Faults in Machine Learning Software. 29-41 - Canh Minh Do
, Kazuhiro Ogata:
A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude. 42-58
Formal Verification
- Jin Cui, Xu Lu, Buwen Liang:
An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL. 61-72 - Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao, Xinfeng Shu:
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework. 73-87 - Meng Wang, Junfeng Tian, Hong Zhang:
UMC4M: A Verification Tool via Program Execution. 88-98 - Bin Yu, Jinhui Liu, Ming Lei, Yong Yu, Hao Chen:
Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads. 99-109
Problem Solving
- Haiyang Wang, Yao Liu:
A Planning Approach Based on APTL. 113-122 - Guoteng Pan, Mengjun Li, Guodong Ou:
Solving Constraint Optimization Problems Based on Mathematica and Abstraction. 123-140 - Xu Lu, Jin Cui, Yansong Dong, Wensheng Wang, Runzhe Ma, Yifeng Li, Qing Feng:
A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge. 141-154 - Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo:
Formal Development and Verification of Reusable Component in PAR Platform. 155-166 - Xu Qin, Shaoying Liu, Tao Zhang:
A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction. 167-186 - Eiichi Muramoto, Kazuhiro Ogata, Yoichi Shinoda:
Formal Specification and Model Checking of a Ride-sharing System in Maude. 187-204 - Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao:
Model Checking Python Programs with MSVL. 205-224
Software Analysis and Evolution
- Lei Wang, Guoxiong Chen, Liang Li:
Prediction of Function Removal Propagation in Linux Evolution. 227-242 - Yuntianyi Chen, Yongfeng Gu, Lulu He, Jifeng Xuan:
Regression Models for Performance Ranking of Configurable Systems: A Comparative Study. 243-258 - Shahbaz Ali, Hailong Sun, Yongwang Zhao:
Combining Model Learning and Model Checking to Analyze Java Libraries. 259-278 - Muhammad Jahanzeb Khan, Ruoyu Wang, Daniel Sun, Guoqiang Li:
Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning. 279-295
Software Analysis and Testing
- Keke Du, Mingyue Jiang, Zuohua Ding, Hongyun Huang, Ting Shu:
Metamorphic Testing in Fault Localization of Model Transformations. 299-314 - Baoyi Pan, Ting Shu, Jinsong Xia, Zuohua Ding, Mingyue Jiang:
A Fault Localization Method Based on Dynamic Failed Execution Blocks. 315-327 - Chengying Mao, Mengting Quan, Zhilei Chen, Tsong Yueh Chen:
Adaptive Random Testing by Bisection and Comprehensive Distance. 328-344 - Jing Zhao, Tianran Dong, Yang Cheng, Yanbin Wang:
CMM: A Combination-Based Mutation Method for SQL Injection. 345-361
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-28 00:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
