Iulian Ober Alain Kerbrat Specification and execution of tests using tMsc. 453-468 1999 conf/forte/1999 FORTE db/conf/forte/forte1999.html#OberK99