Here is the basic usage model of encruft.

Transition probabilities are assigned as follows:

[Enter]	100% Invoke [Main Window, No File]
[Main Window, No File]	40% Open [Main Window, File] 40% New [Main Window, File] 10% Save [Main Window, File] 5% IOError [Main Window, File] 5% Exit [Exit]
[Main Window, File]	2% Open [Main Window, File] 2% New [Main Window, File] 2% Save [Main Window, File] 86% Edit [Main Window, File, Edits] 2% Rename [Main Window, File, Edits] l% IOError [Main Window, File] 5% Exit [Exit]
[Main Window, File, Edits]	2% Open [Main Window, File] 2% New [Main Window, File] 2% Save [Main Window, File] 85% Edit [Main Window, File, Edits] 2% Rename [Main Window, File] 2% Revert [Main Window, File] l% SaveErrorAbort [Main Window, File] l% IOError [Main Window, File] l% IO_Save_Error [Main Window, File] 5% Exit [Exit]

Arc coverage test cases were generated as well as ten random test cases.