Abstract The 12th edition of the Competition on Software Verification (SV-COMP 2023) is again largest overview tools for software verification, evaluating 52 verification systems from 34 teams 10 countries. Besides providing an state art in automatic goal competition to establish standards, provide a platform exchange developers such tools, educate PhD students reproducibility approaches and be...

The IEEE 12th International Conference on Software Testing, Verification & Validation (ICST 2019) was held in Xi'an, China. aim of the ICST conference is to bring together researchers and practitioners who study theory, techniques, technologies, applications that concern all aspects software testing, verification, validation systems. program committee rigorously reviewed 110 full papers using a...

BACKGROUND Commercially available software for cardiovascular image analysis often has limited functionality and frequently lacks the careful validation that is required for clinical studies. We have already implemented a cardiovascular image analysis software package and released it as freeware for the research community. However, it was distributed as a stand-alone application and other resea...