The Integration of Testing and Program Verification: A Position Paper

Petra van den Bos; Marieke Huisman

doi:10.1007/978-3-031-15629-8_28

The Integration of Testing and Program Verification: A Position Paper

Petra van den Bos, Marieke Huisman

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

1 Citation (Scopus)

81 Downloads (Pure)

Abstract

Formal analysis techniques for software systems are becoming more and more powerful, and have been used on non-trivial examples. We argue that the next step forward is to combine these different techniques in a single framework, which makes it possible to (i) analyse different parts of the system with different techniques, (ii) apply different techniques on a single component, and (iii) seamlessly combine the results of the various analysis. We describe our vision of how this integration can be achieved for the analysis techniques of testing and deductive verification. We end with an overview of research challenges that need to be addressed to achieve this vision.

Original language	English
Title of host publication	A Journey from Process Algebra via Timed Automata to Model Learning
Subtitle of host publication	Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Editors	Nils Jansen, Mariëlle Stoelinga, Petra van den Bos
Place of Publication	Cham
Publisher	Springer
Pages	524–538
Number of pages	15
ISBN (Electronic)	978-3-031-15629-8
ISBN (Print)	978-3-031-15628-1
DOIs	https://doi.org/10.1007/978-3-031-15629-8_28
Publication status	Published - 2022

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	13560
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

22/3 OA procedure

Access to Document

10.1007/978-3-031-15629-8_28

ArticleFinal published version, 315 KBLicence: Taverne

1 Citations
1 Book editing

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Jansen, N., Stoelinga, M. & van den Bos, P., 2022, Cham: Springer. 580 p. (Lecture Notes in Computer Science; vol. 13560)
Research output: Book/Report › Book editing › Academic

Open Access
File

61 Downloads (Pure)

Cite this

Bos, P. V. D., & Huisman, M. (2022). The Integration of Testing and Program Verification: A Position Paper. In N. Jansen, M. Stoelinga, & P. van den Bos (Eds.), A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (pp. 524–538). (Lecture Notes in Computer Science; Vol. 13560). Springer. https://doi.org/10.1007/978-3-031-15629-8_28

Bos, Petra van den ; Huisman, Marieke. / The Integration of Testing and Program Verification : A Position Paper. A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. editor / Nils Jansen ; Mariëlle Stoelinga ; Petra van den Bos. Cham : Springer, 2022. pp. 524–538 (Lecture Notes in Computer Science).

@inbook{3ef7af167b974ae69ab1e8d7fd0c774f,

title = "The Integration of Testing and Program Verification: A Position Paper",

abstract = "Formal analysis techniques for software systems are becoming more and more powerful, and have been used on non-trivial examples. We argue that the next step forward is to combine these different techniques in a single framework, which makes it possible to (i) analyse different parts of the system with different techniques, (ii) apply different techniques on a single component, and (iii) seamlessly combine the results of the various analysis. We describe our vision of how this integration can be achieved for the analysis techniques of testing and deductive verification. We end with an overview of research challenges that need to be addressed to achieve this vision.",

keywords = "22/3 OA procedure",

author = "Bos, {Petra van den} and Marieke Huisman",

year = "2022",

doi = "10.1007/978-3-031-15629-8_28",

language = "English",

isbn = "978-3-031-15628-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "524–538",

editor = "Nils Jansen and Mari{\"e}lle Stoelinga and {van den Bos}, Petra",

booktitle = "A Journey from Process Algebra via Timed Automata to Model Learning",

address = "Germany",

}

Bos, PVD & Huisman, M 2022, The Integration of Testing and Program Verification: A Position Paper. in N Jansen, M Stoelinga & P van den Bos (eds), A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol. 13560, Springer, Cham, pp. 524–538. https://doi.org/10.1007/978-3-031-15629-8_28

The Integration of Testing and Program Verification: A Position Paper. / Bos, Petra van den ; Huisman, Marieke.
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. ed. / Nils Jansen; Mariëlle Stoelinga; Petra van den Bos. Cham: Springer, 2022. p. 524–538 (Lecture Notes in Computer Science; Vol. 13560).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - The Integration of Testing and Program Verification

T2 - A Position Paper

AU - Bos, Petra van den

AU - Huisman, Marieke

PY - 2022

Y1 - 2022

N2 - Formal analysis techniques for software systems are becoming more and more powerful, and have been used on non-trivial examples. We argue that the next step forward is to combine these different techniques in a single framework, which makes it possible to (i) analyse different parts of the system with different techniques, (ii) apply different techniques on a single component, and (iii) seamlessly combine the results of the various analysis. We describe our vision of how this integration can be achieved for the analysis techniques of testing and deductive verification. We end with an overview of research challenges that need to be addressed to achieve this vision.

AB - Formal analysis techniques for software systems are becoming more and more powerful, and have been used on non-trivial examples. We argue that the next step forward is to combine these different techniques in a single framework, which makes it possible to (i) analyse different parts of the system with different techniques, (ii) apply different techniques on a single component, and (iii) seamlessly combine the results of the various analysis. We describe our vision of how this integration can be achieved for the analysis techniques of testing and deductive verification. We end with an overview of research challenges that need to be addressed to achieve this vision.

KW - 22/3 OA procedure

U2 - 10.1007/978-3-031-15629-8_28

DO - 10.1007/978-3-031-15629-8_28

M3 - Chapter

SN - 978-3-031-15628-1

T3 - Lecture Notes in Computer Science

SP - 524

EP - 538

BT - A Journey from Process Algebra via Timed Automata to Model Learning

A2 - Jansen, Nils

A2 - Stoelinga, Mariëlle

A2 - van den Bos, Petra

PB - Springer

CY - Cham

ER -

Bos PVD , Huisman M. The Integration of Testing and Program Verification: A Position Paper. In Jansen N, Stoelinga M, van den Bos P, editors, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Cham: Springer. 2022. p. 524–538. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-15629-8_28

The Integration of Testing and Program Verification: A Position Paper

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Research output

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Cite this