Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification.

Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett

Browse the full FASE paper archive.