1. Program verification and testing technologies

   • Tiziana Margaria
   • Zongyan Qiu
   • Hongli Yang

   Introduction 25 June 2014 Pages: 335 - 337

2. Formal verification and simulation for platform screen doors and collision avoidance in subway control systems

   • Huixing Fang
   • Jianqi Shi
   • Alexandre David

   TASE 12 27 May 2014 Pages: 339 - 361

   

3. Expressive program verification via structured specifications

   • Cristian Gherghina
   • Cristina David
   • Wei-Ngan Chin

   TASE 12 28 March 2014 Pages: 363 - 380

   

4. Automated verification of the FreeRTOS scheduler in Hip/Sleek

   • João F. Ferreira
   • Cristian Gherghina
   • Wei-Ngan Chin

   Tase 12 18 March 2014 Pages: 381 - 397

   

5. Quantitative and qualitative analysis of SysML activity diagrams

   • Yosr Jarraya
   • Mourad Debbabi

   TASE 12 11 June 2014 Pages: 399 - 419

   

6. Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study

   • Ender Yüksel
   • Hanne Riis Nielson
   • Heqing Huang

   TASE 12 27 April 2014 Pages: 421 - 435

   

7. Model-based test generation using extended symbolic grammars

   • Hai-Feng Guo
   • Mahadevan Subramaniam

   TASE 12 26 April 2014 Pages: 437 - 455