default search action
Software Testing, Verification & Reliability (STVR), Volume 18
Volume 18, Number 1, March 2008
- Jeff Offutt:
Editorial: The journal impact factor. 1-3
- Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
:
Modular formal verification of specifications of concurrent systems. 5-28 - Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch
Simulated time for host-based testing with TTCN-3. 29-49 - Lihua Duan, Jessica Chen:
Error-preserving reductions on communication protocols. 51-68
Volume 18, Number 2, June 2008
- Mark Harman
Editorial: Testing practice and research. 69-70
- Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski, Paul Baker, Dominic Evans:
Quality assurance for TTCN-3 test specifications. 71-97 - Neil Walkinshaw
Automated discovery of state transitions and their functions in source code. 99-121
Volume 18, Number 3, September 2008
- Jeff Offutt:
Editorial: Science Fiction and Fantasy. 123-124
- Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence:
IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing. 125-148 - Garrett Kent Kaminski, Gregory Williams, Paul Ammann:
Reconciling perspectives of software logic testing. 149-188
- 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
Volume 18, Number 4, December 2008
- Jeff Offutt:
Editorial: Software testing is an elephant. 191-192
- Supaporn Kansomkeat, Wanchai Rivepiboon:
An analysis technique to increase testability of object-oriented components. 193-219 - Jyh-Wen Ho, Chih-Chiang Fang, Yeu-Shiang Huang
The determination of optimal software release times at different confidence levels with consideration of learning effects. 221-249
- Richard F. Paige:
Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700. 251-252
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 19:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: