Model-based optimization of testing through reduction of stimuli

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 593-598

  Struss, P ^a,b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b OCC'M Software ^*  (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL BASED OPTIMIZATION; PHYSICAL SYSTEMS; PRACTICAL IMPORTANCE; THEORETICAL FOUNDATIONS;

ALGORITHMS; ARTIFICIAL INTELLIGENCE;

AUTOMATIC TEST PATTERN GENERATION;

EID: 84880898579     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. th International Joint conference on Artificial Intelligence IJCAI-07, Hyderabad, India, 2007
2. McIlraith, S., Reiter, R.: On Tests for Hypothetical Reasoning. In: W. Hamscher, J. de Kleer und L. Console (Hg.). Readings in Model-based Diagnosis: Diagnosis of Designed Artifacts Based on Descriptions of their Structure and Function. Morgan Kaufmann, San Mateo, 1992
3. www.occm.de
4. Strobel, T., Ein Algorithmus zur Optimierung automatischer, modellbasierter Testfallgenerierung, Diploma Thesis, Techn. Univ. Munich, 2004 (in German)
5. Struss, P.: Testing Physical Systems. In: Proceedings of AAAI-94, Seattle, USA, 1994.
6. Struss, P.: Testing for Discrimination of Diagnoses. In: Working Papers of the 5th International Workshop on Principles of Diagnosis (DX-94), New Paltz, USA, 1994.
7. Vatcheva, I., de Jong, H., Mars, N.: Selection of Perturbation Experiments for Model Discrimination. Proceeddings of ECAI-02, 2002