Model-based systems in the automotive industry
AI Magazine
Test Strategy Generation Using Quantified CSPs
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Using Model Counting to Find Optimal Distinguishing Tests
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Adventures in Model-based Reasoning
Proceedings of the 2006 conference on Rob Milne: A Tribute to a Pioneering AI Scientist, Entrepreneur and Mountaineer
Fault-model-based test generation for embedded software
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Model-based optimization of testing through reduction of stimuli
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
FRACTAL: efficient fault isolation using active testing
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Constraint-based optimal testing using DNNF graphs
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
A model-based active testing approach to sequential diagnosis
Journal of Artificial Intelligence Research
Hi-index | 0.00 |