Testing Using Masdacs