An Incremental Approach to Functional Diagnosis. - Luca Amati; Cristiana Bolchini; Laura Frigerio; Fabio Salice; William Eklow; Arnold Suvatne; Eugenio Brambilla; Federico Franzoso; Michele Martin (DFT, 2009)

A Formal Condition to Stop an Incremental Automatic Functional Diagnosis. - Luca Amati; Cristiana Bolchini; Fabio Salice; Federico Franzoso (DSD, 2010)

Improving fault diagnosis accuracy by automatic test set modification. - Luca Amati; Cristiana Bolchini; Fabio Salice; Federico Franzoso (ITC, 2010)