{"type":"ScholarlyArticle","title":"Test Case Generation using KBS Strategy","authors":[{"name":"Laurence Vignollet","slug":"laurence-vignollet","given":"Laurence","family":"Vignollet","affiliation":""},{"name":"Ruddy Lelouche","slug":"ruddy-lelouche","given":"Ruddy","family":"Lelouche","affiliation":""}],"abstract":"The system we have developed, SYCOJET, automatically builds test cases making use of specific expert knowledge. In our first version, it uses the internal structure of the know ledge base to be tested, and implicitly assumes that the inference engine derives all that can be derived from the knowledge base and the problem data. Here we are concerned with how to take into account, in a second version of SYCOJET, the actual inference engine control strategy. This control strategy, included in the inference engine, is not in general explicited in a form accessible to the computer. In this paper, we investigate to what extent the .-.nowledge of the control strategy of the system being tested can be used to improve the \"quality\" of the test cases generated by SYCOJET.","doi":null,"url":"https://ijcai.org/proceedings/1993/68","pdf":"https://ijcai.org/proceedings/1993/0068.pdf","markdown":"https://ijcai.org/proceedings/1993/68.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/68","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Base Technology","track":"Knowledge Base Technology","number":68,"pages":{"first":483,"last":488},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}