


default search action
Software Testing, Verification & Reliability, Volume 27
Volume 27, Numbers 1-2, January - March 2017
- Jeff Offutt
:
Editorial: Accepting shortened papers hurts science.
- Jesús Manuel Almendros-Jiménez
, Antonio Becerra-Terón
:
Automatic property-based testing and path validation of XQuery programs. - Adilson Luiz Bonifácio, Arnaldo Vieira Moura:
Test suite completeness and black box testing.
Volume 27, Number 3, May 2017
- Robert M. Hierons
:
How to manage a conference special issue.
- Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Miguel Nabuco, Atif Memon:
Pattern-based GUI testing: Bridging the gap between design and quality assurance. - Felipe R. Monteiro
, Mário Garcia, Lucas C. Cordeiro
, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt cross-platform framework.
Volume 27, Numbers 4-5, June - August 2017
- Jeff Offutt:
Is paper reviewing a transaction, a service, or an opportunity?
- Pedro Delgado-Pérez
, Sergio Segura
, Inmaculada Medina-Bulo
:
Assessment of C++ object-oriented mutation operators: A selective mutation approach. - Tingting Yu
, Witty Srisa-an, Gregg Rothermel:
An automated framework to support testing for process-level race conditions.
Volume 27, Number 6, September 2017
Editorial
- Gordon Fraser, Darko Marinov:
Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015).
- Jan Midtgaard
, Anders Møller
:
QuickChecking static analysis properties. - Zhuofu Bai, Gang Shu, Andy Podgurski:
Causal inference based fault localization for numerical software with NUMFL. - Mian Wan
, Yuchen Jin, Ding Li, Jiaping Gui, Sonal Mahajan, William G. J. Halfond:
Detecting display energy hotspots in Android apps. - Hadi Hemmati, Zhihan Fang, Mika V. Mäntylä
, Bram Adams
:
Prioritizing manual test cases in rapid release environments. - Lajos Cseppento, Zoltán Micskei
:
Evaluating code-based test input generator tools.
Volume 27, Number 7, November 2017
- Jeff Offutt
:
Editorial: Beware of predatory journals.
- Marcello Cinque
, Domenico Cotroneo, Antonio Pecchia, Roberto Pietrantuono
, Stefano Russo
:
Debugging-workflow-aware software reliability growth analysis. - Tolga Ayav
:
Prioritizing MCDC test cases by spectral analysis of Boolean functions.
Volume 27, Number 8, December 2017
- Jeff Offutt
:
Color figures considered harmful.
- Kristian Wiklund
, Sigrid Eldh
, Daniel Sundmark, Kristina Lundqvist:
Impediments for software test automation: A systematic literature review. - Dalal Hammoud, Fadi A. Zaraket
, Wes Masri
:
GUICop: Approach and toolset for specification-based GUI testing.

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.