INTRODUCTION This document describes the business benefits associated with outsourcing software testing. It is not uncommon in the software industry for developers to test their own code or for organisations to establish a dedicated in‐house testing department. The following highlights some of the issues associated with this approach, describes how TVS manages a client engagement and how an out...

We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations to test. It is shown that this requires in general a complex algorithmic comparable to model-checking. The principles of a prototype tool, called VTS, and based on the synthesis algorithms of TGV, are presented. We th...

4 Digital Object Identifier 10.1109/MDAT.2017.2737530 Date of current version: 13 September 2017.  This issue is focused on the special issue on “Emerging Challenges and Solutions in SoC Verification” from Guest Editors Magdy Abadir, Jayanta Bhadra, Wen Chen, and Li-C Wang. This special issue on verification is very timely, as new developments demand new verification techniques. For instance, ...

objectives: the aim of this study was to verify the treatment planning systems (tpss). the next aim was to validate imsure qa software for patient-specific qa in radiotherapy clinics.  material and methods: we used imsure qa software (standard imaging, v 3.5) for verification of 92 non-imrt plans (540 fields) in 10 radiotherapy clinics. to validate the imsure, dose measurement was performed in ...