


default search action
Software Testing, Verification & Reliability (STVR), Volume 20
Volume 20, Number 1, March 2010
- Jeff Offutt:

Editorial: OOP and discrete math. 1-2
- María-Emilia Cambronero, Valentín Valero Ruiz

, Gregorio Díaz
:
Verification of real-time systems design. 3-37 - Tai Hyo Kim, Hojung Bang, Sung Deok Cha:

A systematic representation of path constraints for implicit path enumeration technique. 39-61 - Lance Fiondella, Swapna S. Gokhale:

Importance measures for modular software with uncertain parameters. 63-85
Volume 20, Number 2, June 2010
- Jeff Offutt:

Editorial: People are approximators, not perfectors. 87-88
- W. K. Chan

, Jeffrey C. F. Ho
, T. H. Tse
:
Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs. 89-120 - Wes Masri:

Fault localization based on information flow coverage. 121-147 - Andreas Griesmayer, Stefan Staber, Roderick Bloem

:
Fault localization using a model checker. 149-173
Volume 20, Number 3, September 2010
- Jeff Offutt:

Editorial: Agility must be good for testing. 175-176
- Lionel C. Briand, Yvan Labiche

, Q. Lin:
Improving the coverage criteria of UML state machines using data flow analysis. 177-207 - Ruilian Zhao, Michael R. Lyu, Yinghua Min:

Automatic string test data generation for detecting domain errors. 209-236 - Javier Tuya

, María José Suárez-Cabal, Claudio de la Riva
:
Full predicate coverage for testing SQL database queries. 237-288
Volume 20, Number 4, December 2010
- Jeff Offutt:

Editorial: Ethics and Publishing. 289-290
- Roger T. Alexander, Jeff Offutt, Andreas Stefik:

Testing coupling relationships in object-oriented programs. 291-327 - Jane Huffman Hayes, Jeff Offutt:

Recognizing authors: an examination of the consistent programmer hypothesis. 329-356

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














