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.
Gudemann, M., Mariani, L. (2021). Preface to the special issue on improving software quality through program analysis. SOFTWARE QUALITY JOURNAL, 29(3), 595-596 [10.1007/s11219-021-09563-0].
Preface to the special issue on improving software quality through program analysis
Mariani L.
2021
Abstract
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
10281-395078_VoR.pdf
accesso aperto
Tipologia di allegato:
Publisher’s Version (Version of Record, VoR)
Licenza:
Creative Commons
Dimensione
482.11 kB
Formato
Adobe PDF
|
482.11 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
