Software Testing, Verification & Reliability (STVR), Volume 18

Volume 18, Number 1, March 2008

• Jeff Offutt:
  Editorial: The journal impact factor. 1-3
  Electronic Edition (link) BibTeX

• Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
  Modular formal verification of specifications of concurrent systems. 5-28
  Electronic Edition (link) BibTeX
• Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova:
  Simulated time for host-based testing with TTCN-3. 29-49
  Electronic Edition (link) BibTeX
• Lihua Duan, Jessica Chen:
  Error-preserving reductions on communication protocols. 51-68
  Electronic Edition (link) BibTeX

Volume 18, Number 2, June 2008

• Mark Harman, Zheng Li, Phil McMinn:
  Editorial: Testing practice and research. 69-70
  Electronic Edition (link) BibTeX

• Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski, Paul Baker, Dominic Evans:
  Quality assurance for TTCN-3 test specifications. 71-97
  Electronic Edition (link) BibTeX
• Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe:
  Automated discovery of state transitions and their functions in source code. 99-121
  Electronic Edition (link) BibTeX

Volume 18, Number 3, September 2008

• Jeff Offutt:
  Editorial: Science Fiction and Fantasy. 123-124
  Electronic Edition (link) BibTeX

• Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence:
  IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing. 125-148
  Electronic Edition (link) BibTeX
• Garrett Kaminski, Gregory Williams, Paul Ammann:
  Reconciling perspectives of software logic testing. 149-188
  Electronic Edition (link) BibTeX

• Gerald Lüttgen:
  Modeling and verification using UML Statecharts. By Doron Drusinsky. Published by Newnes Publishers, 2006, ISBN 0-7506-7617-5, 306 pages. 189-190
  Electronic Edition (link) BibTeX