Model-based testing of software for automation systems using heuristics and coverage criterion

Software and Systems Modeling - The aim of this work is to increase the confidence on software for automation systems defining a coverage criterion to measure the quality level of generated tests...     

Formal modeling of biomedical signal acquisition systems: source of evidence for certification

Software and Systems Modeling - Biomedical signal acquisition systems are software-intensive medical systems composed of processors, transducers, amplifiers, filters, and converters. We present in...