scholarly journals Introduction to the Software Quality and Maintainability special issue

2012 ◽  
Vol 20 (2) ◽  
pp. 263-264
Author(s):  
Yiannis Kanellopoulos ◽  
Rudolf Ferenc
2005 ◽  
Vol 13 (4) ◽  
pp. 327-328 ◽  
Author(s):  
Claes Wohlin ◽  
Lars Lundberg ◽  
Michael Mattsson

2018 ◽  
Vol 26 (2) ◽  
pp. 521-523
Author(s):  
Leandro L. Minku ◽  
Ayşe B. Bener ◽  
Burak Turhan

2018 ◽  
Vol 26 (3) ◽  
pp. 851-853
Author(s):  
Zijiang Yang ◽  
Ting Liu ◽  
Daniel Xiapu Luo ◽  
Chao Wang

2018 ◽  
Vol 26 (2) ◽  
pp. 657-660
Author(s):  
Emilia Mendes ◽  
Dietmar Winkler

2019 ◽  
Vol 112 ◽  
pp. 176-177
Author(s):  
Sebastiano Panichella ◽  
Emitza Guzman ◽  
Liliana Pasquale ◽  
Norbert Seyff ◽  
Andrea Di Sorbo

Author(s):  
Matthias Güdemann ◽  
Leonardo Mariani

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