QUEST

Full Title

A Quest for Reliability in Generic Software Components

Description

The main results of the project will be the development and integration of different techniques resulting into a push-button approach to reliability analysis of Java implementations of DAs. These techniques will be made available in the form of tools integrated in a popular Java IDE.

Funding Entity

FCT

Reference

PTDC/EIA-EIA/103103/2008

Start Date

01/01/2010

End Date

31/12/2012

Coordinator

FFCUL (LaSIGE)

Partners

FFCUL (LaSIGE), FEUP

Status

Closed