Gordon Fraser, Angelo Gargantini. Experiments on the Test Case Length in Specification Based Test Case Generation. In Dimitris Dranidis, Stephen P. Masticola, Paul A. Strooper, editors, Proceedings of the 4th International Workshop on Automation of Software Test, AST 2009, Vancouver, BC, Canada, May 18-19, 2009. pages 18-26, IEEE, 2009. [doi]
Abstract is missing.