@inproceedings{TAV-1991-AvruninBCDW,
	author        = "George S. Avrunin and Ugo A. Buy and James C. Corbett and Laura K. Dillon and Jack C. Wileden",
	booktitle     = "{Proceedings of the Symposium on Testing, Analysis, and Verification}",
	doi           = "10.1145/120807.120823",
	pages         = "178--187",
	publisher     = "{ACM}",
	title         = "{Experiments with an Improved Constrained Expression Toolset}",
	year          = 1991,
}