International Journal on Software Tools for Technology Transfer (STTT), Volume 11

Volume 11, Number 1, February 2009

• Antti Valmari:
  Software model checking is a rich research field. 1-11
  
• Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan:
  Parallel and distributed model checking in Eddy. 13-25
  
• Klaus Dräger, Bernd Finkbeiner, Andreas Podelski:
  Directed model checking with distance-preserving abstractions. 27-37
  
• Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente:
  Partial-order reduction for general state exploring algorithms. 39-51
  
• Saswat Anand, Corina S. Pasareanu, Willem Visser:
  Symbolic execution with abstraction. 53-67
  
• Alessandro Armando, Jacopo Mantovani, Lorenzo Platania:
  Bounded model checking of software using SMT solvers instead of SAT solvers. 69-83
  

Volume 11, Number 2, April 2009

• Michael Huth, Orna Grumberg:
  Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification. 85-94
  
• Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady:
  An abstraction-based decision procedure for bit-vector arithmetic. 95-104
  
• Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
  A low-level memory model and an accompanying reachability predicate. 105-116
  
• Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen:
  Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. 117-131
  
• Lili Tan:
  The worst-case execution time tool challenge 2006. 133-152
  
• Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber:
  Automated implementation of complex distributed algorithms specified in the IOA language. 153-171
  

Volume 11, Number 3, July 2009

• Mike Hinchey, Tiziana Margaria, Bernhard Steffen:
  Guest Editor's introduction. 173-174
  
• Boutheina Chetali, Quang Huy Nguyen:
  An automated testing experiment for layered embedded C code. 175-185
  
• Bastian Schlich, Stefan Kowalewski:
  Model checking C source code for embedded systems. 187-202
  
• Eric Van Wyk, Mats Per Erik Heimdahl:
  Flexibility in modeling languages and tools: a call to arms. 203-215
  
• Dominique Cansell, Dominique Méry, Cyril Proch:
  System-on-chip design by proof-based refinement. 217-238
  
• Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota:
  Encoding a process algebra using the Event B method. 239-253
  
• David Déharbe, Silvio Ranise:
  Satisfiability solving for software verification. 255-260
  
• Alexandra Desmoulin, César Viho:
  Formalizing interoperability for test case generation purpose. 261-267