![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Software Testing, Verification & Reliability, Volume 21
Volume 21, Number 1, March 2011
- Robert M. Hierons
, Aditya Mathur:
ICST 2008 Special Issue. 1 - Ilinca Ciupa, Alexander Pretschner, Manuel Oriol, Andreas Leitner, Bertrand Meyer
:
On the number and nature of faults found by random testing. 3-28 - Sébastien Bardin, Philippe Herrmann:
OSMOSE: automatic structural testing of executables. 29-54 - Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman:
Model-based quality assurance of protocol documentation: tools and methodology. 55-71
Volume 21, Number 2, June 2011
- Jeff Offutt:
Status of the journal. 73
- Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Francisco G. Oliveira Neto
:
On the use of a similarity function for test case selection in the context of model-based testing. 75-100 - Vahid Garousi
:
Fault-driven stress testing of distributed real-time software based on UML models. 101-124 - João W. Cangussu, Syed Waseem Haider, Kendra M. L. Cooper, Michael Baron:
On the selection of software defect estimation techniques. 125-152
Volume 21, Number 3, September 2011
- Jeff Offutt, Per Runeson
:
ICST 2009 Special Issue. 153-154 - Garrett Kent Kaminski, Paul Ammann:
Reducing logic test set size while preserving fault detection. 155-193 - William G. J. Halfond, Shauvik Roy Choudhary, Alessandro Orso:
Improving penetration testing through static and dynamic analysis. 195-214 - Romain Delamare, Benoit Baudry, Sudipto Ghosh, Shashank Gupta, Yves Le Traon
:
An approach for testing pointcut descriptors in AspectJ. 215-239 - Chixiang Zhou, Phyllis G. Frankl:
JDAMA: Java database application mutation analyser. 241-263
Volume 21, Number 4, December 2011
- Jeff Offutt:
Editorial: What is the purpose of publishing? 265-266
- Pedro de la Cámara, J. Raúl Castro, María-del-Mar Gallardo, Pedro Merino
:
Verification support for ARINC-653-based avionics software. 267-298 - Jane Huffman Hayes, Inies R. Chemannoor, Elizabeth Ashlee Holbrook:
Improved code defect detection with fault links. 299-325
![](https://dblp.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.