![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Software Testing, Verification & Reliability, Volume 30
Volume 30, Number 1, January 2020
- Mehrdad Saadatmand
, Birgitta Lindström
, Bernhard K. Aichernig
:
Special issue on testing extra-functional properties.
- Tiyash Basu, Kartik Aggarwal, Chundong Wang
, Sudipta Chattopadhyay:
An exploration of effective fuzzing for side-channel cache leakage. - Henning Schulz
, André van Hoorn, Alexander Wert:
Reducing the maintenance effort for parameterization of representative load tests using annotations. - Mohamed Boussaa
, Olivier Barais
, Gerson Sunyé, Benoit Baudry:
Leveraging metamorphic testing to automatically detect inconsistencies in code generator families.
Volume 30, Number 2, March 2020
Editorial
- Roberto Natella
, Sudipto Ghosh:
Special issue: ISSRE 2018, the 29th IEEE International Symposium on Software Reliability Engineering.
- Josie Holmes, Alex Groce
:
Using mutants to help developers distinguish and debug (compiler) faults. - Roberto Pietrantuono
, Stefano Russo
, Antonio Guerriero
:
Testing microservice architectures for operational reliability. - Matteo Camilli
, Angelo Gargantini
, Patrizia Scandurra
:
Model-based hypothesis testing of uncertain software systems. - Thomas Durieux
, Youssef Hamadi, Martin Monperrus
:
Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy. - Andrea Aquino, Pietro Braione
, Giovanni Denaro
, Pasquale Salza
:
Facilitating program performance profiling via evolutionary symbolic execution.
Volume 30, Number 3, May 2020
- Robert M. Hierons
, Tao Xie:
Working Across Boundaries.
- Anthony J. H. Simons
, Raluca Lefticaru
:
A verified and optimized Stream X-Machine testing method, with application to cloud service certification. - Pouria Derakhshanfar
, Xavier Devroey
, Gilles Perrouin
, Andy Zaidman, Arie van Deursen
:
Search-based crash reproduction using behavioural model seeding.
Volume 30, Numbers 4-5, June 2020
- Robert M. Hierons
, Tao Xie:
Conference Virtualization.
- Lucas Andrade, Patrícia D. L. Machado
, Wilkerson de L. Andrade:
Can operational profile coverage explain post-release bug detection? - Yanqiang Liu
, Fangge Yan, Mingyuan Xia, Zhengwei Qi, Xue Liu:
TimelyRep: Timing deterministic replay for Android web applications.
Volume 30, Number 6, September 2020
- Robert M. Hierons
, Tao Xie:
On automation in software engineering.
- Sundeuk Kim
, Ilhyun Suh, Yon Dohn Chung
:
Automatic monitoring of service reliability for web applications: a simulation-based approach. - Thomas A. Walsh
, Gregory M. Kapfhammer, Phil McMinn
:
Automatically identifying potential regressions in the layout of responsive web pages.
Volume 30, Numbers 7-8, November 2020
Editorial
- Ina Schieferdecker, Atif Memon, Hironori Washizaki:
Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017).
- Alireza Salahirad, Hussein K. Almulla
, Gregory Gay:
Choosing the fitness function for the job: Automated generation of test suites that detect real faults.
- Kasper Søe Luckow
, Rody Kersten, Corina S. Pasareanu:
Complexity vulnerability analysis using symbolic execution. - Cyrille Artho
, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.
![](https://dblp.org/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.