Skip to main content

Validating Changes and Upgrades in Networked Software

1st July 2010 to 30th June 2013

The vision of PINCETTE is to solve the problem of high cost of changes by introducing an automated framework and methodology, and a mix of technologies to identify the impact of changes that derive from intra-component changes (due to error fixing and functionality enhancement) and from component replacement within a single product and a product family. This methodology improves the reliability of networked software by implementing an innovative solution for the automatic detection, localization, and repair of program bugs.

Principal Investigator

Daniel Kroening


Ajitha Rajan
Nassim Seghir

Share this: