Stop the war!Остановите войну!
for scientists:
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.
a service of 
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-07-02 21:37 CEST 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:
