The Integration of Testing and Program Verification: A Position Paper

Petra van den Bos, Marieke Huisman

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

42 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 languageEnglish
Title of host publicationA Journey from Process Algebra via Timed Automata to Model Learning
Subtitle of host publicationEssays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
EditorsNils Jansen, Mariëlle Stoelinga, Petra van den Bos
Place of PublicationCham
PublisherSpringer
Pages524–538
Number of pages15
ISBN (Electronic)978-3-031-15629-8
ISBN (Print)978-3-031-15628-1
DOIs
Publication statusPublished - 2022

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume13560
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • 22/3 OA procedure

Fingerprint

Dive into the research topics of 'The Integration of Testing and Program Verification: A Position Paper'. Together they form a unique fingerprint.

Cite this