Refined Simulation Techniques for the Trace Assertion Method

Krzysztof Stencel

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.