default search action

combined dblp search
author search
venue search
publication search

ask others

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

> 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 12, Number 1, March 2002

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Yates02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Yates02
Derek Yates:
Editorial: Find the missing links? 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/MazzoccaSVV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/MazzoccaSVV02
Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini:
Efficient model checking of properties of a distributed application: a multimedia case study. 3-21
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/HieronsHFOD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/HieronsHFOD02
Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi:
Conditioned slicing supports partition testing. 23-28
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ForgacsB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ForgacsB02
István Forgács, Antonia Bertolino:
Preventing untestedness in data-flow based testing. 29-58
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/stvr/Whitty02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Whitty02
Robin W. Whitty:
Digraphs: theory, algorithms and applications. Softw. Test. Verification Reliab. 12(1): 59-60 (2002)
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Stevens02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Stevens02
Perdita Stevens:
Refinement in Z and object-Z: foundations and advanced applications. 61
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/WhiteW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/WhiteW02
Lee J. White, Martin R. Woodward:
List of Referees. 63-64

Volume 12, Number 2, June 2002

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Hierons02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Hierons02
Robert M. Hierons:
Editorial: Formal methods and testing. 69-70
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Olsson02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Olsson02
Ronald A. Olsson:
Additional transformations for multiple-level escape statements. 71-76
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/GoeschlS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/GoeschlS02
Siegfried Göschl, Harry M. Sneed:
Case study of testing a distributed internet-system. 77-92
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/StringfellowAWP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/StringfellowAWP02
Catherine Stringfellow, Anneliese Amschler Andrews, Claes Wohlin, Håkan Petersson:
Estimating the number of components with defects post-release that showed no defects in testing. 93-122
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Thompson02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Thompson02
Geoff Thompson:
Testing it: an off-the-shelf software testing process. 123
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Edwards02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Edwards02
Helen M. Edwards:
Problem frames: analyzing and structuring software development problems. 124-125

Volume 12, Number 3, September 2002

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Woodward02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Woodward02
Martin R. Woodward:
Editorial: Little bugs and big bugs. 131-132
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/AurumPW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/AurumPW02
Aybüke Aurum, Håkan Petersson, Claes Wohlin:
State-of-the-art: software inspections after 25 years. 133-154
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/SoCSK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/SoCSK02
Sun Sup So, Sung Deok Cha, Timothy J. Shimeall, Yong Rae Kwon:
An empirical evaluation of six methods to detect faults in software. 155-171
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/FrancescoS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/FrancescoS02
Nicoletta De Francesco, Antonella Santone:
Syntactic reductions for efficient deadlock analysis. 173-186
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Leuschel02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Leuschel02
Michael Leuschel:
Book Reviews. 187-188
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Kammuller02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Kammuller02
Florian Kammüller:
Book Reviews. 188-189

Volume 12, Number 4, 2002

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/White02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/White02
Lee J. White:
Editorial: The importance of empirical work for software engineering papers. 195-196

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ChenURER02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ChenURER02
Wei Chen, Roland H. Untch, Gregg Rothermel, Sebastian G. Elbaum, Jeffery von Ronne:
Can fault-exposure-potential estimates improve the fault detection abilities of test suites? 197-218
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/RothermelHRH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/RothermelHRH02
Gregg Rothermel, Mary Jean Harrold, Jeffery von Ronne, Christie Hong:
Empirical studies of test-suite reduction. 219-249
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/BernardeschiFG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/BernardeschiFG02
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Model checking fault tolerant systems. 251-275

Book Review

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Burd02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Burd02
Elizabeth Burd:
Book Reviews. 277
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Banach02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Banach02
Richard Banach:
Book Reviews. 278

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.