1. A high-level modeling language for the efficient design, implementation, and testing of Android applications

   • Mohamad Jaber
   • Yliès Falcone
   • Mostafa El-Katerji

   Regular Paper 08 November 2016 Pages: 1 - 18

   

2. The role of user requirements in data repository design

   • Ilyès Boukhari
   • Stéphane Jean
   • Ladjel Bellatreche

   Regular Paper 25 November 2016 Pages: 19 - 34

   

3. Exact finite-state machine identification from scenarios and temporal properties

   • Vladimir Ulyantsev
   • Igor Buzhinsky
   • Anatoly Shalyto

   Regular Paper 18 November 2016 Pages: 35 - 55

   

4. TSTL: the template scripting testing language

   • Josie Holmes
   • Alex Groce
   • James O’Brien

   Regular Paper 02 December 2016 Pages: 57 - 78

   

5. Mining parametric temporal logic properties in model-based design for cyber-physical systems

   • Bardh Hoxha
   • Adel Dokhanchi
   • Georgios Fainekos

   Regular Paper 03 February 2017 Pages: 79 - 93

   

6. Software engineering practices and Simulink: bridging the gap

   • Vera Pantelic
   • Steven Postma
   • Alan Wassyng

   Regular Paper 08 March 2017 Pages: 95 - 117