A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Model-based testing of a highly programmable system
Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257)
The paradigm of model-based testing shifts the focus of testing from writing individual test cases to developing a model from which a test suite can be generated automatically. We report on our experience with model-based testing of a highly programmable system that implements intelligent telephony services in the U.S. telephone network. Our approach used automatic test-case generation technology to develop sets of self-checking test cases based on a machine-readable specification of the
doi:10.1109/issre.1998.730876
dblp:conf/issre/DalalJKLL98
fatcat:qf4xr4gktzbghnsishotgnjbjq