Learn More
This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria. This approach is embedded in the LEIRIOS Test Designer tool and is currently deployed in domains such as Enterprise IT and electronic(More)
There have been anecdotal reports of an association between coeliac disease and epilepsy with cerebral calcifications that resemble those of the Sturge-Weber syndrome. A series of patients who had epilepsy with calcifications, in whom coeliac disease (CD) was incidentally observed, prompted us to study this association. 43 patients (15 male, age range(More)
This paper presents a model-based framework for the symbolic animation of object-oriented specifications. A customized set-theo-retic solver is used to simulate the execution of the system and handle constraints on state variables. We define a framework for animating object-oriented specifications with dynamic object creations, interactions and inheritance.(More)
This paper describes the LEIRIOS Smart Testing™ approach to the functional validation of a subpart of the StarUML case study. This model-based testing process for test automation is shown from start to end: from functional requirements to the publication of generated tests in a test repository and automatic execution of scripts with a test execution(More)
(3)LEIRIOS Technologies 18 rueAlain Savary 25000Besançon France {charbonnier, Abstract :T hisp aperp resents an originalm odel-based testinga pproacht hatt akes a UMLb ehavioral view of thes ystemu ndert esta nd automaticallyg enerates test cases and executable test scriptso nt he basiso fm odel coverage criteria. Thisa pproach is embeddedi nt he LTGm(More)