Automatic detection of software defects: an industrial experience. - Sergio Gandini; Danilo Ravotto; Walter Ruzzarin; Ernesto Sánchez 001; Giovanni Squillero; Alberto Paolo Tonda (GECCO, 2009)

A Framework for Automated Detection of Power-related Software Errors in Industrial Verification Processes. - Stefano Gandini; Walter Ruzzarin; Ernesto Sánchez 001; Giovanni Squillero; Alberto Paolo Tonda (J. Electron. Test., 2010)