default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Testing, Verification & Reliability (STVR), Volume 12
Volume 12, Number 1, March 2002
- Derek Yates:
Editorial: Find the missing links? 1-2 - Nicola Mazzocca
, Antonella Santone, Gigliola Vaglini, Valeria Vittorini:
Efficient model checking of properties of a distributed application: a multimedia case study. 3-21 - Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi:
Conditioned slicing supports partition testing. 23-28 - István Forgács, Antonia Bertolino:
Preventing untestedness in data-flow based testing. 29-58 - Robin W. Whitty:
Digraphs: theory, algorithms and applications. Softw. Test. Verification Reliab. 12(1): 59-60 (2002) - Perdita Stevens:
Refinement in Z and object-Z: foundations and advanced applications. 61 - Lee J. White, Martin R. Woodward:
List of Referees. 63-64
Volume 12, Number 2, June 2002
- Robert M. Hierons:
Editorial: Formal methods and testing. 69-70 - Ronald A. Olsson:
Additional transformations for multiple-level escape statements. 71-76 - Siegfried Göschl, Harry M. Sneed:
Case study of testing a distributed internet-system. 77-92 - 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 - Geoff Thompson:
Testing it: an off-the-shelf software testing process. 123 - Helen M. Edwards:
Problem frames: analyzing and structuring software development problems. 124-125
Volume 12, Number 3, September 2002
- Martin R. Woodward:
Editorial: Little bugs and big bugs. 131-132 - Aybüke Aurum, Håkan Petersson, Claes Wohlin:
State-of-the-art: software inspections after 25 years. 133-154 - 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 - Nicoletta De Francesco, Antonella Santone:
Syntactic reductions for efficient deadlock analysis. 173-186 - Michael Leuschel:
Book Reviews. 187-188 - Florian Kammüller:
Book Reviews. 188-189
Volume 12, Number 4, 2002
- Lee J. White:
Editorial: The importance of empirical work for software engineering papers. 195-196
- 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 - Gregg Rothermel, Mary Jean Harrold, Jeffery von Ronne, Christie Hong:
Empirical studies of test-suite reduction. 219-249 - Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Model checking fault tolerant systems. 251-275
- Elizabeth Burd:
Book Reviews. 277 - 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.
last updated on 2025-12-09 23:26 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:
