AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Model-based optimization of testing through reduction of stimuli
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
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
Computation of Minimal Sensor Sets for Conditional Testability Requirements
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Specifying the worst case: orthogonal modeling of hardware errors
Proceedings of the eighteenth international symposium on Software testing and analysis
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
Hazard-based selection of test cases
Proceedings of the 6th International Workshop on Automation of Software Test
Hi-index | 0.00 |
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consuming. We present the foundations and results of a case study to automate the generation of tests for control software of vehicle control units based on a specification of requirements in terms of finite state machines. This case study builds upon our previous work on generation of tests for physical systems based on relational behavior models. In order to apply the respective algorithms, the finite state machine representation is transformed into a relational model. We present the transformation, the application of the test generation algorithm to a real example, and discuss the results and some specific challenges regarding software testing.