Sciweavers

Share
ISSRE
2007
IEEE
8 years 8 months ago
Improving Constraint-Based Testing with Dynamic Linear Relaxations
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...
CAV
2003
Springer
108views Hardware» more  CAV 2003»
9 years 11 days ago
Linear Invariant Generation Using Non-linear Constraint Solving
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
Michael Colón, Sriram Sankaranarayanan, Hen...
AAIM
2009
Springer
101views Algorithms» more  AAIM 2009»
9 years 1 months ago
Integer Polyhedra for Program Analysis
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
Philip J. Charles, Jacob M. Howe, Andy King
ICCV
2003
IEEE
9 years 9 months ago
Scene Modeling Based on Constraint System Decomposition Techniques
We present a new approach to 3D scene modeling based on geometric constraints. Contrary to the existing methods, we can quickly obtain 3D scene models that respect the given const...
Marta Wilczkowiak, Gilles Trombettoni, Christophe ...
ICCV
2003
IEEE
9 years 9 months ago
Constraining Human Body Tracking
Our paper addresses the problem of enforcing constraints in human body tracking. A projection technique is derived to impose kinematic constraints on independent multi-body motion...
David Demirdjian, Teresa Ko, Trevor Darrell
books