11:0611:06, 20 February 2015diffhist+955 N
PROBPATH
Created page with '{{DISPLAYTITLE:The ProB Search Path}} Starting with version 1.5 of ProB, how the parser resolves files references from machines can be customized. By default ProB will try to f…'
09:3609:36, 28 February 2012diffhist+3,335 N
Test Case Generation
Created page with ' Constraint Based Test case generation allows to explore the state space for a machine and generate traces of operations that cover certain user defined operations and meet a giv…'