Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
As we move to developing object-oriented programs, the complexity traditionally found in functions and procedures is moving to the connections among components. Different faults o...
The aim of this work is to propose and discuss a technique which allows for classifying the defects found in metallic components on the basis of a non-destructive Remote-Field Edd...
S. Barcherini, L. Cipiccia, M. Maggi, Simone Fiori...
Nowadays the increasing complexity of cars has become a major challenge due to the growing rate of electronic components and software. This trend has an impact on all phases of the...
Models meant for logic verification and simulation are often used for ATPG. For custom digital circuits, these models contain many tristate devices, which leads to lower fault co...