Learn More
The complete design and realization of an underwater manipulation system composed by two cooperating arms has been one of the main goals which has been recently attained at the end of the AMADEUS Phase II project: a three years lasting reserch activity, funded by the European Community within the framework of the MAST III program on Marine Technology(More)
ERTMS is the European Railway Traffic Management System. The CENELEC EN50128 guidelines for software development of safety critical system require that the software produced is verified by providing a set of tests covering the 100% of the code. This requirement, however, substantially increases the costs associated to the Testing phase, since it may(More)
Software Testing via Coverage Analysis is the most used technique for software verification in industry, but, since manual generation is involved, remains one of the most expensive process of the software development. Many tools have been proposed for the automatic test generation: on one hand they reduce the cost of the testing generation process, on the(More)
  • 1