e/LURCH

Information
has gloss	eng: LURCH is a tool for software design debugging 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.
lexicalization	eng: LURCH
instance of	(noun) a program that helps in locating and correcting programming errors debugger