scholarly journals Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization

2019 ◽  
Author(s):  
Martin Diller ◽  
Adam Wyner ◽  
Hannes Strass
2021 ◽  
Author(s):  
Moez Krichen ◽  
Seifeddine Mechti

<div>We propose a new model-based testing approach which takes as input a set of requirements described in Arabic Controlled Natural Language (CNL) which is a subset of the Arabic language generated by a specific grammar. The semantics of the considered requirements is defined using the Case Grammar Theory (CTG). The requirements are translated into Transition Relations which serve as an input for test cases generation tools.</div>


2021 ◽  
Author(s):  
Moez Krichen ◽  
Seifeddine Mechti

<div>We propose a new model-based testing approach which takes as input a set of requirements described in Arabic Controlled Natural Language (CNL) which is a subset of the Arabic language generated by a specific grammar. The semantics of the considered requirements is defined using the Case Grammar Theory (CTG). The requirements are translated into Transition Relations which serve as an input for test cases generation tools.</div>


Sign in / Sign up

Export Citation Format

Share Document