default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Testing, Verification & Reliability (STVR), Volume 13
Volume 13, Number 1, March 2003
- Derek Yates:
Editorial: Perhaps some parallels do converge? 1-2 - Cheer-Sun D. Yang, Lori L. Pollock:
All-uses testing of shared memory parallel programs. 3-24 - A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann:
Generating test data from state-based specifications. 25-53 - Isabel Evans
:
Book Reviews. 55-56 - Harry W. Agius:
Book Reviews. 56
Volume 13, Number 2, June 2003
- Martin R. Woodward:
Editorial: The merits of diversity. 63-64 - Sebastian G. Elbaum, Praveen Kallakuri, Alexey G. Malishevsky, Gregg Rothermel, Satya Kanduri:
Understanding the effects of changes on the cost-effectiveness of regression testing techniques. 65-83 - Feng-Zhong Zou:
A change-point perspective on the software failure process. 85-93 - Anneliese Amschler Andrews, Robert B. France, Sudipto Ghosh, Gerald Craig:
Test adequacy criteria for UML design models. 95-127 - David Hayman:
Book Reviews. 129 - Neil Thompson:
Book Reviews. 130-131
Volume 13, Number 3, September 2003
- Robert M. Hierons:
Editorial: Testing in the large through the small? 139-140 - Ricardo Anido, Ana R. Cavalli, Luiz A. Paula Lima Jr., Nina Yevtushenko:
Test suite minimization for testing in context. 141-155 - Vlad Rusu:
Combining formal verification and conformance testing for validating reactive systems. 157-180 - Nicoletta De Francesco, Giuseppe Lettieri:
Checking security properties by model checking. 181-196 - Robert M. Hierons:
Book Reviews. 197-198 - Paul Gerrard:
Book Reviews. 198-199
Volume 13, Number 4, December 2003
- Juan Carlos Augusto, Marc Roper:
Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003). 205-206 - Cyrille Artho, Klaus Havelund, Armin Biere:
High-level data races. 207-227 - Phong Tran, Jeffrey Gosper, Ian Gorton:
Evaluating the sustained performance of COTS-based messaging systems. 229-240 - Ulrich Ultes-Nitsche, Simon St. James:
Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions. 241-255 - Isabel Evans:
Book Reviews. 257-258 - Ian Craggs:
Book Reviews. 258-259
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 2025-12-12 22:54 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:
