default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Journals > Software Testing, Verification & Reliability (STVR)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 13, Number 1, March 2003

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Yates03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Yates03
Derek Yates:
Editorial: Perhaps some parallels do converge? 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/YangP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/YangP03
Cheer-Sun D. Yang, Lori L. Pollock:
All-uses testing of shared memory parallel programs. 3-24
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/OffuttLAA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/OffuttLAA03
A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann:
Generating test data from state-based specifications. 25-53
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Evans03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Evans03
Isabel Evans:
Book Reviews. 55-56
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Agius03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Agius03
Harry W. Agius:
Book Reviews. 56

Volume 13, Number 2, June 2003

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Woodward03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Woodward03
Martin R. Woodward:
Editorial: The merits of diversity. 63-64
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ElbaumKMRK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ElbaumKMRK03
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
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Zou03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Zou03
Feng-Zhong Zou:
A change-point perspective on the software failure process. 85-93
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/AndrewsFGC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/AndrewsFGC03
Anneliese Amschler Andrews, Robert B. France, Sudipto Ghosh, Gerald Craig:
Test adequacy criteria for UML design models. 95-127
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Hayman03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Hayman03
David Hayman:
Book Reviews. 129
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Thompson03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Thompson03
Neil Thompson:
Book Reviews. 130-131

Volume 13, Number 3, September 2003

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Hierons03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Hierons03
Robert M. Hierons:
Editorial: Testing in the large through the small? 139-140
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/AnidoCLY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/AnidoCLY03
Ricardo Anido, Ana R. Cavalli, Luiz A. Paula Lima Jr., Nina Yevtushenko:
Test suite minimization for testing in context. 141-155
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Rusu03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Rusu03
Vlad Rusu:
Combining formal verification and conformance testing for validating reactive systems. 157-180
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/FrancescoL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/FrancescoL03
Nicoletta De Francesco, Giuseppe Lettieri:
Checking security properties by model checking. 181-196
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Hierons03a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Hierons03a
Robert M. Hierons:
Book Reviews. 197-198
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Gerrard03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Gerrard03
Paul Gerrard:
Book Reviews. 198-199

Volume 13, Number 4, December 2003

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/AugustoR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/AugustoR03
Juan Carlos Augusto, Marc Roper:
Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003). 205-206
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ArthoHB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ArthoHB03
Cyrille Artho, Klaus Havelund, Armin Biere:
High-level data races. 207-227
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/TranGG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/TranGG03
Phong Tran, Jeffrey Gosper, Ian Gorton:
Evaluating the sustained performance of COTS-based messaging systems. 229-240
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Ultes-NitscheJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Ultes-NitscheJ03
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
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Evans03a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Evans03a
Isabel Evans:
Book Reviews. 257-258
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Craggs03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Craggs03
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.