A unified framework for evaluating test criteria in model-checking-assisted test case generation

2013 ◽  
Vol 16 (5) ◽  
pp. 823-834 ◽  
Author(s):  
Bolong Zeng ◽  
Li Tan
Keyword(s):  
Model Checking ◽  
Test Case Generation ◽  
Test Case ◽  
Unified Framework ◽  
Test Criteria

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