Sample traces using Type-Based Exploration
alisonparedes opened this issue · comments
Assign types (maybe contact Sheila to get source of how to do do this) to search nodes and sample uniformly from set of types to determine which node to search next.
Poster from SoCS