Refined Simulation Techniques for the Trace Assertion Method
Software Engineering Research Group
CRL, McMaster University,
Hamilton, Ontario, Canada L8S 4K1
This paper presents algorithms that build prototypes from trace specifications automatically.
Algorithms used by these prototypes are also described. The main issue is how to solve systems of trace
equations that may occur in tables used in the Trace Assertion Method.