publications:
- title: "Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs"
  author:
  - name: "Besnik Seljimi"
    link: "http://www.besnikselimi.com"
  - name: "Ioannis Parissis"
    link: "http://lcis.grenoble-inp.fr/le-laboratoire/ioannis-parissis-page-personnelle-253954.kjsp"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.49"
  abstract: "Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language. It makes possible to automatically generate test input sequences in conformance with a specification of the software external behavior and of guiding directives such as operational profiles and behavioral patterns. Lutess deals with software and specifications involving only boolean inputs and outputs. In this paper we propose an extension of Lutess, using Constraint Logic Programming (CLP), making possible to deal with numeric inputs and outputs. In particular, we define an appropriate execution model for test input generation and show how test data generation according to the main guiding facilities of Lutess can still be performed. Furthermore, operational profile based generation becomes more powerful thanks to the introduction of CLP solvers capabilities which make possible to associate occurrence probabilities to any boolean expression."
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.49"
  tags:
  - "programming languages"
  - "rule-based"
  - "meta programming"
  - "data-flow language"
  - "pattern language"
  - "meta-model"
  - "modeling language"
  - "language modeling"
  - "testing"
  - "language design"
  - "constraints"
  - "data-flow programming"
  - "data-flow"
  - "logic programming"
  - "programming"
  - "logic"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/SeljimiP06"
  cites: 0
  citedby: 0
  pages: "105-116"
  booktitle: "17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "SeljimiP06"
- title: "Automatic generation of test data generators for synchronous programs: Lutess V2"
  author:
  - name: "Besnik Seljimi"
    link: "http://www.besnikselimi.com"
  - name: "Ioannis Parissis"
    link: "http://lcis.grenoble-inp.fr/le-laboratoire/ioannis-parissis-page-personnelle-253954.kjsp"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1294921.1294923"
  abstract: "Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language widely used in safety critical domains such as avionics, energy and transport. Lutess automatically transforms the formal description of the program environment and properties to test generators that feed, on the fly, the program under test. A new version of Lutess has been recently developed, using Constraint Logic Programming. In this version, it is possible to take into account numeric input and output variables and to introduce hypotheses on the program under test. The input language of Lutess has been consequently extended. In this paper we present the new set of operators of the language and illustrate their execution semantics on a simple example."
  links:
    doi: "http://doi.acm.org/10.1145/1294921.1294923"
  tags:
  - "programming languages"
  - "semantics"
  - "meta programming"
  - "data-flow language"
  - "formal semantics"
  - "testing"
  - "language design"
  - "constraints"
  - "data-flow programming"
  - "data-flow"
  - "logic programming"
  - "programming"
  - "logic"
  - "Meta-Environment"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/SeljimiP07"
  cites: 0
  citedby: 0
  pages: "8-12"
  booktitle: "Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007"
  editor:
  - name: "Alan Hartman"
    link: "https://researchr.org/alias/alan-hartman"
  - name: "Mika Katara"
    link: "https://researchr.org/alias/mika-katara"
  - name: "Amit M. Paradkar"
    link: "https://researchr.org/alias/amit-m.-paradkar"
  publisher: "ACM"
  isbn: "978-1-59593-726-1"
  kind: "inproceedings"
  key: "SeljimiP07"