The Category-Partition Method for Specifying and Generating Functional Tests. - Thomas J. Ostrand; Marc J. Balcer (Commun. ACM, 1988)

Automatic Generation of Test Scripts from Formal Test Specifications. - Marc J. Balcer; William M. Hasling; Thomas J. Ostrand (Symposium on Testing, Analysis, and Verification, 1989)

Executable UML - A Foundation for Model-Driven Architecture. - Stephen J. Mellor; Marc J. Balcer (Addison-Wesley, 2002)