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", ACM SIGSOFT Software Engineering Notes, vol. 30, no. 4, 2005.

Bibtex Entry:

@ARTICLE{Robinson-Mallett2005a,
  author = {Robinson-Mallett, Ch. and Liggesmeyer, P. and Mücke, T. and Goltz,
	U.},
  title = {Generating Optimal Distinguishing Sequences with a Model Checker},
  journal = {ACM SIGSOFT Software Engineering Notes},
  year = {2005},
  volume = {30},
  number = {4}
}