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

被引：0

作者：

Guedemann, Matthias ^{[1
]}

Mariani, Leonardo ^{[2
]}

机构：

[1] Univ Appl Sci Munich, Lothstr 64, D-80335 Munich, Germany

[2] Univ Milano Bicocca, Viale Sarca 336, IT-20126 Milan, Italy

来源：

SOFTWARE QUALITY JOURNAL | 2021年 / 29卷 / 03期

关键词：

D O I：

10.1007/s11219-021-09563-0

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This 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.

引用

页码：595 / 596

页数：2

共 50 条

[41] Special issue: Software engineering: Systems and tools - Preface
Al-Ghamdi, J
Sarfraz, M
Ali, J
Ahmad, M
[J]. INFORMATION SCIENCES, 2002, 140 (3-4) : 193 - 194
[42] Preface to the special issue on software evolution, adaptability and variability
Zaidman, Andy
Brichau, Johan
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (12) : 1075 - 1077
[43] Special issue on software clones (IWSC'12) Preface
Inoue, Katsuro
Koschke, Rainer
Krinke, Jens
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 389 - 389
[44] Special Issue: Advancing beef quality and safety through research and innovation Preface
Duffy, Geraldine
[J]. MEAT SCIENCE, 2014, 97 (03) : 287 - 287
[45] Special issue - Quality control in pharmaceutical analysis separation methods - Preface
不详
[J]. PROCESS CONTROL AND QUALITY, 1997, 10 (1-2): : IX - IX
[46] Special Issue: Food Quality Evaluation Preface
Ritieni, Alberto
Rastrelli, Luca
Novellino, Ettore
[J]. FOOD CHEMISTRY, 2013, 140 (04) : 613 - 613
[47] Special issue: Environmental quality in watersheds - Preface
Mennella, VGG
Frarey, L
[J]. ENVIRONMENTAL MONITORING AND ASSESSMENT, 1996, 41 (02) : R3 - R4
[48] SPECIAL ISSUE: AIR QUALITY MANAGEMENT Preface
Incecik, Selahattin
Atimtay, Aysel T.
Choi, Hyo
[J]. INTERNATIONAL JOURNAL OF ENVIRONMENT AND POLLUTION, 2009, 39 (3-4) : 201 - 203
[49] SPECIAL ISSUE OF THE JOURNAL QUALITY AND QUANTITY - PREFACE
SARIS, WE
[J]. QUALITY & QUANTITY, 1990, 24 (04) : 343 - 344
[50] Special Issue: Trade-off Analysis of Software Quality Attributes
Claes Wohlin
Lars Lundberg
Michael Mattsson
[J]. Software Quality Journal, 2005, 13 : 327 - 328

← 1 2 3 4 5 →