PINCETTE - Validating Changes and Upgrades in Networked Software

Pamela Farries, Ajitha Rajan

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

PINCETTE is a STREP project under the European Community’s 7th Framework Programme [FP7/2007-2013]. The project focuses on detecting failures resulting from software changes, thus improving the reliability of networked software systems. The goal of the project is to produce technology for efficient
and scalable verification of complex evolving networked software systems, based on integration of static and dynamic analysis and verification algorithms, and the accompanying methodology. The resulting technology will also provide quality metrics to measure the thoroughness of verification. The PINCETTE consortium is composed of the following partners: IBM Israel, University of Oxford, Universita della Svizzera Italiana (USI), Universita degli Studi di Milano-Bicocca (UniMiB), Technical Research Center of Finland (VTT), ABB, and Israeli Aerospace Industries (IAI).
Original languageEnglish
Number of pages1
JournalERCIM News
Issue number88
Publication statusPublished - 2012


Dive into the research topics of 'PINCETTE - Validating Changes and Upgrades in Networked Software'. Together they form a unique fingerprint.

Cite this