A high-level modeling language for the efficient design, implementation, and testing of Android applications Mohamad JaberYliès FalconeMostafa El-Katerji Regular Paper 08 November 2016 Pages: 1 - 18
The role of user requirements in data repository design Ilyès BoukhariStéphane JeanLadjel Bellatreche Regular Paper 25 November 2016 Pages: 19 - 34
Exact finite-state machine identification from scenarios and temporal properties Vladimir UlyantsevIgor BuzhinskyAnatoly Shalyto Regular Paper 18 November 2016 Pages: 35 - 55
TSTL: the template scripting testing language Josie HolmesAlex GroceJames O’Brien Regular Paper 02 December 2016 Pages: 57 - 78
Mining parametric temporal logic properties in model-based design for cyber-physical systems Bardh HoxhaAdel DokhanchiGeorgios Fainekos Regular Paper 03 February 2017 Pages: 79 - 93
Software engineering practices and Simulink: bridging the gap Vera PantelicSteven PostmaAlan Wassyng Regular Paper 08 March 2017 Pages: 95 - 117