LURCH


Related Terms
Definition

LURCH is a software design debugging tool that uses a nondeterministic algorithm to quickly explore the reachable states of a software model.

By performing a partial and random search, LURCH looks for faults in the model and reports the pathways leading to the faults.