Guest Editor’s introduction Mike HincheyTiziana MargariaBernhard Steffen Editorial 20 June 2009 Pages: 173 - 174
An automated testing experiment for layered embedded C code Boutheina ChetaliQuang-Huy Nguyen Regular Paper 20 March 2009 Pages: 175 - 185
Model checking C source code for embedded systems Bastian SchlichStefan Kowalewski Regular Paper 19 March 2009 Pages: 187 - 202
Flexibility in modeling languages and tools: a call to arms Eric Van WykMats Per Erik Heimdahl Regular Paper 15 April 2009 Pages: 203 - 215
System-on-chip design by proof-based refinement Dominique CansellDominique MéryCyril Proch Regular Paper 24 March 2009 Pages: 217 - 238
Encoding a process algebra using the Event B method Yamine Ait-AmeurMickael BaronJean-Marc Mota Regular Paper 18 March 2009 Pages: 239 - 253
Satisfiability solving for software verification David DéharbeSilvio Ranise Regular Paper 24 March 2009 Pages: 255 - 260
Formalizing interoperability for test case generation purpose Alexandra DesmoulinCésar Viho Regular Paper 24 March 2009 Pages: 261 - 267