0960-0833

STVR - volume 30 - 2020 论文列表
点击这里查看 Software Testing, Verification & Reliability 的JCR分区、影响因子等信息
Volume 30, Numbers 7-8, November 2020
Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.

Cyrille Artho Kazuaki Banzai Quentin Gros Guillaume Rousset Lei Ma Takashi Kitamura Masami Hagiya Yoshinori Tanabe Mitsuharu Yamamoto

Complexity vulnerability analysis using symbolic execution.

Kasper Søe Luckow Rody Kersten Corina S. Pasareanu

Choosing the fitness function for the job: Automated generation of test suites that detect real faults.

Alireza Salahirad Hussein Almulla Gregory Gay

Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017).

Ina Schieferdecker Atif Memon Hironori Washizaki

Volume 30, Number 6, September 2020
Automatically identifying potential regressions in the layout of responsive web pages.

Thomas A. Walsh Gregory M. Kapfhammer Phil McMinn

Automatic monitoring of service reliability for web applications: a simulation-based approach.

Sundeuk Kim Ilhyun Suh Yon Dohn Chung

On automation in software engineering.

Robert M. Hierons Tao Xie

Volume 30, Numbers 4-5, June 2020
TimelyRep: Timing deterministic replay for Android web applications.

Yanqiang Liu Fangge Yan Mingyuan Xia Zhengwei Qi Xue Liu

Can operational profile coverage explain post-release bug detection?

Lucas Andrade Patrícia D. L. Machado Wilkerson de L. Andrade

Conference Virtualization.

Robert M. Hierons Tao Xie

Volume 30, Number 3, May 2020
Search-based crash reproduction using behavioural model seeding.

Pouria Derakhshanfar Xavier Devroey Gilles Perrouin Andy Zaidman Arie van Deursen

A verified and optimized Stream X-Machine testing method, with application to cloud service certification.

Anthony J. H. Simons Raluca Lefticaru

Working Across Boundaries.

Robert M. Hierons Tao Xie

Volume 30, Number 2, March 2020
Facilitating program performance profiling via evolutionary symbolic execution.

Andrea Aquino Pietro Braione Giovanni Denaro Pasquale Salza

Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy.

Thomas Durieux Youssef Hamadi Martin Monperrus

Model-based hypothesis testing of uncertain software systems.

Matteo Camilli Angelo Gargantini Patrizia Scandurra

Testing microservice architectures for operational reliability.

Roberto Pietrantuono Stefano Russo Antonio Guerriero

Using mutants to help developers distinguish and debug (compiler) faults.

Josie Holmes Alex Groce

Special issue: ISSRE 2018, the 29th IEEE International Symposium on Software Reliability Engineering.

Roberto Natella Sudipto Ghosh

Volume 30, Number 1, January 2020
Leveraging metamorphic testing to automatically detect inconsistencies in code generator families.

Mohamed Boussaa Olivier Barais Gerson Sunyé Benoit Baudry

Reducing the maintenance effort for parameterization of representative load tests using annotations.

Henning Schulz André van Hoorn Alexander Wert

An exploration of effective fuzzing for side-channel cache leakage.

Tiyash Basu Kartik Aggarwal Chundong Wang Sudipta Chattopadhyay

Special issue on testing extra-functional properties.

Mehrdad Saadatmand Birgitta Lindström Bernhard K. Aichernig