Pascal Van Hentenryck, Laurent Michel, and Yves Deville. Numerica. A modeling language for global optimization. The MIT Press, Cambridge, Massachusetts, London, England, 1997.  Home/Search   Document Not in Database   Summary   Related Articles

....b or a path p of a program P (with integer, boolean and float variables) generate a test input i such that P when executed on i will cause s, b or p to be traversed. To solve this problem, we use a constraint solving approach based on a simple consistency notion, generalizing Box consistency [HMD97] to integer, float and boolean variables. Path coverage criteria is the basic bloc of our method. For branch and statement criteria, paths reaching the specified branch or statement are dynamically constructed using consistency techniques, and the path coverage method is applied on these paths to ....

....specificities of solving a path constraint compared to classical interval based constraint solving. First, a path constraint is under constrained; there usually exists many test inputs traversing the specified path while we are interested by finding one of them. Existing systems, such as Numerica [HMD97] are not always appropriate for under constrained systems as they try to generate all the solutions. Second, a path constraint involves both integer, boolean and float variables. There exists systems combining solvers. For instance, Prolog IV [BT95] and CLP(BNR) BOV95] handle integer, boolean and ....

[Article contains additional citation context not shown here]

Pascal Van Hentenryck, Laurent Michel, and Yves Deville. Numerica. A modeling language for global optimization. The MIT Press, Cambridge, Massachusetts, London, England, 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC