scholarly journals Incremental test case generation using bounded model checking: an application to automatic rating

2014 ◽  
Vol 17 (3) ◽  
pp. 339-349 ◽  
Author(s):  
Grzegorz Anielak ◽  
Grzegorz Jakacki ◽  
Sławomir Lasota
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Test Case Generation ◽  
Test Case ◽  
Incremental Test

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