Volume 11, Issue 3 | International Journal on Software Tools for Technology Transfer

Search all International Journal on Software Tools for Technology Transfer articles

Volume 11, Issue 3

July 2009

Filter by

Volume:

Sort by

Date published:

New to old Old to new

8 articles in this issue

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