PINCETTE - Validating Changes and Upgrades in Networked Software.
Hana ChocklerGiovanni DenaroMeijia LingGrigory FedyukovichAntti Eero Johannes HyvärinenLeonardo MarianiAli MuhammadManuel OriolAjitha RajanOndrej SeryNatasha SharyginaMichael TautschnigPublished in: CSMR (2013)