×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [constraint solver]
Home >
constraint solver
Bullet User Manual
1.280 views
Bullet User Manual
56 views
Bullet Physic Engine SDK
98 views
Software quality with Code Contracts and PEX - CodeCamp16oct2010
1.296 views
Are homes smart if they are aware?
156 views
Artificial Intelligence 15. Constraint Satisfaction Problems Course V231 Department of Computing Imperial College, London Jeremy Gow.
218 views
Aug./Sept. 2009 Data Mutation Software Testing 1 Data Mutation Testing -- A Method for Automated Generation of Structurally Complex Test Cases Hong Zhu.
212 views
Sept 2008 1 Data Mutation Testing Applied to a Modelling Tool Hong Zhu Dept. of Computing, Oxford Brookes Univ., Oxford, UK Email:
[email protected]
@brookes.ac.uk.
212 views
Génération de jeux de test pour les programmes de règles 1 er juillet 2009 ILOG Chair of Software Engineering Freiburg Universität Bruno Berstel
[email protected]
.
213 views
1 Symbolic Execution Kevin Wallace, CSE504 2010-04-28.
220 views
1 Constraints and Logic Programming In principle, all the referred to problems may be solved with logic programming (LP) alone. After all, finite domains.
114 views
Aug./Sept. 2009 Data Mutation Software Testing
546 views
Next >