Deriving path expressions recursively. - Antonia Bertolino; Martina Marré (WPC, 1993)

A Meaningful Bound for Branch Testing (Abstract). - Antonia Bertolino; Martina Marré (ISSTA, 1994)

Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. - Antonia Bertolino; Martina Marré (IEEE Trans. Software Eng., 1994)

Reducing and Estimating the Cost of Test Coverage Criteria. - Martina Marré; Antonia Bertolino (ICSE, 1996)

Unconstrained Duals and Their Use in Achieving All-Uses Coverage. - Martina Marré; Antonia Bertolino (ISSTA, 1996)

How Many Paths are Needed for Branch Testing? - Antonia Bertolino; Martina Marré (J. Syst. Softw., 1996)

A Homogeneous Framework to Measure Data Quality. - Monica Bobrowski; Martina Marré; Daniel Yankelevich (IQ, 1999)

A NEAT Approach for Data Quality Assessment - Industrial Experiences using a DQ Assessment Methodology. - Monica Bobrowski; Martina Marré; Daniel Yankelevich (Information and Database Quality, 2002)

Using Spanning Sets for Coverage Testing. - Martina Marré; Antonia Bertolino (IEEE Trans. Software Eng., 2003)