Generating Optimal Distinguishing Sequences with a Model Checker

Robinson-Mallett, Ch.; Liggesmeyer, P.; Mücke, T.; Goltz, U.

by Ch. Robinson-Mallett, P. Liggesmeyer, T. Mücke, U. Goltz

Reference:

C. Robinson-Mallett et al., "Generating Optimal Distinguishing Sequences with a Model Checker", in 1st International Workshop on Advances in Model-Based Testing - A-MOST 2005.

Bibtex Entry:

@INPROCEEDINGS{Robinson-Mallett2005,
  author = {Robinson-Mallett, Ch. and Liggesmeyer, P. and Mücke, T. and Goltz,
	U.},
  title = {Generating Optimal Distinguishing Sequences with a Model Checker},
  booktitle = {1st International Workshop on Advances in Model-Based Testing - A-MOST
	2005},
  year = {2005}
}