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期
关键词：
All Open Access; Hybrid Gold;
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 条
  • [1] Preface to the special issue on improving software quality through program analysis
    Matthias Güdemann
    Leonardo Mariani
    [J]. Software Quality Journal, 2021, 29 : 595 - 596
  • [2] Improving Software Quality through Program Analysis
    Zhu, Jianlin
    Huang, Jin
    Zhou, Daicui
    Zhang, Guoping
    [J]. INTERNATIONAL CONFERENCE ON COMPUTING IN HIGH ENERGY AND NUCLEAR PHYSICS 2012 (CHEP2012), PTS 1-6, 2012, 396
  • [3] Preface to the special section on improving software quality through formal methods
    Falcone, Ylies
    Mariani, Leonardo
    [J]. SOFTWARE QUALITY JOURNAL, 2020, 28 (02) : 693 - 694
  • [4] Preface to the special section on improving software quality through formal methods
    Yliès Falcone
    Leonardo Mariani
    [J]. Software Quality Journal, 2020, 28 : 693 - 694
  • [5] PREFACE TO THE SPECIAL ISSUE ON SOFTWARE ENGINEERING
    Bubak, Marian
    Malawski, Maciej
    Slota, Renata G.
    [J]. COMPUTING AND INFORMATICS, 2021, 40 (04) : 729 - 733
  • [6] Preface to Special Issue on Software Verification
    Hoare, C. A. R.
    Misra, Jayadev
    [J]. ACM COMPUTING SURVEYS, 2009, 41 (04)
  • [7] Preface to the special issue on Numerical Software: Design, Analysis and Verification
    Gil, Amparo
    Muller, Jean-Michel
    Segura, Javier
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 90 : 1 - 1
  • [8] Special Issue: Improving Photosynthesis Preface
    Leegood, Richard C.
    Long, Stephen P.
    [J]. JOURNAL OF EXPERIMENTAL BOTANY, 2013, 64 (03) : 707 - 708
  • [9] Special Issue on Improving Healthcare Outcomes Through Health Informatics Preface
    Zhang, Ning Jackie
    Wan, Thomas T. H.
    [J]. INTERNATIONAL JOURNAL OF HEALTHCARE TECHNOLOGY AND MANAGEMENT, 2015, 15 (01) : 1 - 3
  • [10] Special Issue on Software Health of Software Ecosystems Preface
    Constantinou, Eleni
    Di Nucci, Dario
    Kula, Raula Gaikovina
    Rocha, Henrique
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2022, 218
12345