International Journal on Software Tools for Technology Transfer, Volume 14

Volume 14, Number 1, February 2012

Volume 14, Number 2, April 2012

Regular Model Checking

Volume 14, Number 3, June 2012

Runtime Verification

Volume 14, Number 4, August 2012

ICTSS 2010

Volume 14, Number 5, October 2012

SW-Diversity

Volume 14, Number 6, November 2012

MTM