Bullet User Manual
Bullet Physic Engine SDK
Software quality with Code Contracts and PEX - CodeCamp16oct2010
Are homes smart if they are aware?
Artificial Intelligence 15. Constraint Satisfaction Problems Course V231 Department of Computing Imperial College, London Jeremy Gow.
Aug./Sept. 2009 Data Mutation Software Testing 1 Data Mutation Testing -- A Method for Automated Generation of Structurally Complex Test Cases Hong Zhu.
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.
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].
1 Symbolic Execution Kevin Wallace, CSE504 2010-04-28.
1 Constraints and Logic Programming In principle, all the referred to problems may be solved with logic programming (LP) alone. After all, finite domains.
Aug./Sept. 2009 Data Mutation Software Testing