An Implementation Framework for Optimizing Test Case Generation Using Model Checking

2015 ◽  
pp. 3-16
Author(s):  
Longhui Chang ◽  
Huaikou Miao ◽  
Gongzheng Lu
Keyword(s):  
Model Checking ◽  
Test Case Generation ◽  
Test Case ◽  
Implementation Framework

scholarly journals Preface to the special issue on improving software quality through program analysis

2021 ◽  
Author(s):  
Matthias Güdemann ◽  
Leonardo Mariani
Keyword(s):  
Data Mining ◽  
Model Checking ◽  
Software Quality ◽  
Program Analysis ◽  
Combine Model ◽  
Test Case Generation ◽  
Functional Equivalence ◽  
Test Case ◽  
Special Issue ◽  
Software Applications

AbstractThis special issue is dedicated to the presentation of novel results in the scope of program analysis, verification, and testing of software to improve its quality. The papers included in the special issue present approaches that successfully combine model-based test case generation, reasoning about functional equivalence, data mining, classification, and the combination of abstraction with model-checking, to address real software applications in realistic settings.

Sign in / Sign up

Export Citation Format

Share Document