Test oracle automation for medical image processing of three-dimensional models
Support to the automation of testing oracles for programs with graphical output
Software test and validation: theoretical studies and applications
Construction of dynamic models of the cerebral circulation for electrical impedanc...