Balzamo, M.; Marré, M.; Yankelevich, D. Structural Testing of Active DataBases. EJS 1998, 1, 1-20.