1. Special section on testing and security of Web systems

   • Alessandro Marchetto

   Introduction 14 October 2008 Pages: 473 - 476

2. A case study-based comparison of web testing techniques applied to AJAX web applications

   • Alessandro Marchetto
   • Filippo Ricca
   • Paolo Tonella

   Special Section on WQVV 07 17 October 2008 Pages: 477 - 492

3. Healing Web applications through automatic workarounds

   • Antonio Carzaniga
   • Alessandra Gorla
   • Mauro Pezzè

   Special Section WQVV 07 21 October 2008 Pages: 493 - 502

4. Automated verification of access control policies using a SAT solver

   • Graham Hughes
   • Tevfik Bultan

   Special Section on WQVV 07 21 October 2008 Pages: 503 - 520

5. Modeling and proving functional completeness in formal verification of counting heads

   • Sebastian Kinder
   • Rolf Drechsler

   Regular Contribution 14 October 2008 Pages: 521 - 534