| SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata | 4 | 0.42 | 2021 |
| Transition Algebra for Software Testing | 0 | 0.34 | 2021 |
| Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers | 0 | 0.34 | 2020 |
| LSTM-based deep learning for spatial-temporal software testing. | 1 | 0.35 | 2020 |
| Testbeds and Research Infrastructures for the Development of Networks and Communications - 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings | 0 | 0.34 | 2019 |
| Location-Based Test Case Prioritization for Software Embedded in Mobile Devices Using the Law of Gravitation. | 0 | 0.34 | 2019 |
| Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things. | 0 | 0.34 | 2018 |
| A Novel Self-Adaptive VM Consolidation Strategy Using Dynamic Multi-Thresholds in IaaS Clouds. | 2 | 0.36 | 2018 |
| Automated Quantitative Verification For Service-Based System Design: A Visualization Transform Tool Perspective | 2 | 0.38 | 2018 |
| The Cuckoo Search and Integer Linear Programming Based Approach to Time-Aware Test Case Prioritization Considering Execution Environment. | 0 | 0.34 | 2018 |
| Research Review on Web Service Composition Testing. | 0 | 0.34 | 2018 |
| A Framework for Multi-view Reconciliation and for Medical Devices Personalization. | 0 | 0.34 | 2017 |
| An Empirical Study On Clustering Approach Combining Fault Prediction For Test Case Prioritization | 0 | 0.34 | 2017 |
| Research on service recommendation reliability in mobile computing | 0 | 0.34 | 2017 |
| Applying Probabilistic Model Checking To Service Discovery Framework | 0 | 0.34 | 2016 |
| Applying Assemble Clustering Algorithm and Fault Prediction to Test Case Prioritization | 0 | 0.34 | 2016 |
| Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking | 1 | 0.34 | 2016 |
| Context-Based Service Recommendation System Using Probability Model in Mobile Devices | 1 | 0.36 | 2016 |
| Classification Of Wine Quality With Imbalanced Data | 0 | 0.34 | 2016 |
| Instant-Based and State-Based Analysis of Infinite Logical Clock. | 0 | 0.34 | 2016 |
| 基于历史信息的自适应测试用例优先级技术 (Self-adaptive Test Case Prioritization Based on History Information). | 0 | 0.34 | 2015 |
| The Interchange Format of Tabular Expressions Using XML. | 0 | 0.34 | 2015 |
| Survivability prediction of web system based on log statistics | 1 | 0.37 | 2015 |
| Formal specification and reasoning for situated multi-agent system | 0 | 0.34 | 2015 |
| A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking | 3 | 0.45 | 2015 |
| Modeling and Testing of GUIs Using IOLTS | 0 | 0.34 | 2014 |
| An Implementation Framework for Optimizing Test Case Generation Using Model Checking. | 0 | 0.34 | 2014 |
| The Design and Implementation of a Modeling Tool for Regular Expressions | 1 | 0.35 | 2014 |
| Service Reconfiguration Architecture Based on Probabilistic Modeling Checking | 1 | 0.35 | 2014 |
| An approach to service dynamic reconfiguration using probabilistic model checking | 0 | 0.34 | 2013 |
| Scenario specification based testing model generation | 0 | 0.34 | 2013 |
| Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving | 1 | 0.34 | 2013 |
| A Quantitative Model-Based Selection of Web Service Reconfiguration | 0 | 0.34 | 2013 |
| Concept analysis based approach to statistical web testing | 1 | 0.36 | 2013 |
| Theory of Test Modeling Based on Regular Expressions | 2 | 0.39 | 2013 |
| Usage-pattern based Statistical Web Testing and Reliability Measurement. | 0 | 0.34 | 2013 |
| Research on the dynamic reconfiguration of Web application using two-phase compatibility verification | 2 | 0.38 | 2013 |
| Introducing Agents in Multi-agent System with Superposition Refinement | 1 | 0.35 | 2013 |
| An Approach to Modeling and Verifying Router-Based Network | 0 | 0.34 | 2012 |
| Test Suite Reduction Using Weighted Set Covering Techniques | 5 | 0.56 | 2012 |
| Probabilistic Timed Model Checking for Atomic Web Service | 1 | 0.35 | 2011 |
| A Pattern-Based Approach to Formal Specification Construction. | 0 | 0.34 | 2011 |
| Test Generation for Web Applications Using Model-Checking | 0 | 0.34 | 2010 |
| A pattern system to support refining informal ideas into formal expressions | 3 | 0.43 | 2010 |
| A New Approach to Generating High Quality Test Cases | 7 | 0.51 | 2010 |
| The application of Moodle in computer English teaching | 0 | 0.34 | 2010 |
| Modeling and Verifying Web Service Applications with Time Constraints | 0 | 0.34 | 2010 |
| Reasoning on Formalizing WS-CDL Mobility Using Process Algebra | 0 | 0.34 | 2010 |
| Verifying Web Services Composition Based on Interface Automata Using SPIN | 6 | 0.53 | 2010 |
| Towards Practical Modeling of Web Applications and Generating Tests | 1 | 0.34 | 2010 |
