M
M. J. Balcer
Researcher at Princeton University
Publications - 2
Citations - 955
M. J. Balcer is an academic researcher from Princeton University. The author has contributed to research in topics: Test script & Test harness. The author has an hindex of 2, co-authored 2 publications receiving 936 citations.
Papers
More filters
Journal ArticleDOI
The category-partition method for specifying and generating fuctional tests
Thomas J. Ostrand,M. J. Balcer +1 more
TL;DR: A method for creating functional test suites has been developed in which a test engineer analyzes the system specification, writes a series of formal test specifications, and then uses a generator tool to produce test descriptions from which test scripts are written.
Proceedings ArticleDOI
Automatic generation of test scripts from formal test specifications
TL;DR: TSL is a language for writing formal test specifications of the functions of a software system that has been used to test commercial software in a production environment.