Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 23)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030414177, 9783030414184

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41418-4_8 ◽

2020 ◽

pp. 99-109

Author(s):

Bin Yu ◽

Jinhui Liu ◽

Ming Lei ◽

Yong Yu ◽

Hao Chen

Keyword(s):

Runtime Verification ◽

Multiple Threads

Download Full-text

Metamorphic Testing in Fault Localization of Model Transformations

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41418-4_20 ◽

2020 ◽

pp. 299-314

Author(s):

Keke Du ◽

Mingyue Jiang ◽

Zuohua Ding ◽

Hongyun Huang ◽

Ting Shu

Keyword(s):

Fault Localization ◽

Model Transformations ◽

Metamorphic Testing

Download Full-text

Combining Model Learning and Model Checking to Analyze Java Libraries

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41418-4_18 ◽

2020 ◽

pp. 259-278

Author(s):

Shahbaz Ali ◽

Hailong Sun ◽

Yongwang Zhao

Keyword(s):

Model Checking ◽

Model Learning

Download Full-text

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

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41418-4_14 ◽

2020 ◽

pp. 187-204

Author(s):

Eiichi Muramoto ◽

Kazuhiro Ogata ◽

Yoichi Shinoda

Keyword(s):

Model Checking ◽

Formal Specification ◽

Ride Sharing

Download Full-text

Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41418-4_1 ◽

2020 ◽

pp. 3-12

Author(s):

Yanjun Wen ◽

Ji Wang

Download Full-text

Distortion and Faults in Machine Learning Software

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41418-4_3 ◽

2020 ◽

pp. 29-41

Author(s):

Shin Nakajima

Keyword(s):

Machine Learning ◽

Learning Software

Download Full-text

A Planning Approach Based on APTL

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41418-4_9 ◽

2020 ◽

pp. 113-122

Author(s):

Haiyang Wang ◽

Yao Liu

Keyword(s):

Planning Approach

Download Full-text

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

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41418-4_5 ◽

2020 ◽

pp. 61-72

Author(s):

Jin Cui ◽

Xu Lu ◽

Buwen Liang

Keyword(s):

Multi Level

Download Full-text

Regression Models for Performance Ranking of Configurable Systems: A Comparative Study

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41418-4_17 ◽

2020 ◽

pp. 243-258

Author(s):

Yuntianyi Chen ◽

Yongfeng Gu ◽

Lulu He ◽

Jifeng Xuan

Keyword(s):

Comparative Study ◽

Regression Models ◽

Configurable Systems ◽

Performance Ranking

Download Full-text

Prediction of Function Removal Propagation in Linux Evolution

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41418-4_16 ◽

2020 ◽

pp. 227-242

Author(s):

Lei Wang ◽

Guoxiong Chen ◽

Liang Li

Keyword(s):

Prediction Of Function

Download Full-text

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads

Metamorphic Testing in Fault Localization of Model Transformations

Combining Model Learning and Model Checking to Analyze Java Libraries

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

Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction

Distortion and Faults in Machine Learning Software

A Planning Approach Based on APTL

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

Regression Models for Performance Ranking of Configurable Systems: A Comparative Study

Prediction of Function Removal Propagation in Linux Evolution

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science
Latest Publications