1. Using UML collaboration diagrams for static checking and test generation;Abdurazik,2000
2. Testing for linear errors in non-linear computer programs;Afifi,1992
3. Using Z specifications in category partition testing;Amla,1992
4. Using formal methods to derive test frames in category-partition testing;Ammann,1994
5. Using scenarios in deficiency-driven requirements engineering;Anderson,1993