![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Software 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.