default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware 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.
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.
last updated on 2024-10-31 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
