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

Search all International Journal on Software Tools for Technology Transfer articles

Volume 18, Issue 3

June 2016

ICTSS 2013

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

Advances in test generation for testing software and systems
Hüsnü Yenigün
Cemal Yilmaz
Andreas Ulrich
Introduction 13 October 2015 Pages: 245 - 249
On adaptive experiments for nondeterministic finite state machines
Natalia Kushik
Khaled El-Fakih
Ana R. Cavalli
ICTSS 2013 21 November 2014 Pages: 251 - 264
Complete model-based equivalence class testing
Wen-ling Huang
Jan Peleska
ICTSS 2013 21 November 2014 Pages: 265 - 283
A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets
João Pascoal Faria
Ana C. R. Paiva
ICTSS 2013 09 December 2014 Pages: 285 - 304
Model-based testing for concurrent systems: unfolding-based test selection
Hernán Ponce de León
Stefan Haar
Delphine Longuet
ICTSS 2013 05 November 2014 Pages: 305 - 318
Generating test case chains for reactive systems
Peter Schrammel
Tom Melham
Daniel Kroening
ICTSS 2013 Open access 15 November 2014 Pages: 319 - 334
Automated test generation using model checking: an industrial evaluation
Eduard P. Enoiu
Adnan Čaušević
Paul Pettersson
ICTSS 2013 21 November 2014 Pages: 335 - 353