-
How detrimental is coincidental correctness to coverage‐based fault detection and localization? An empirical study Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2021-01-09 Rawad Abou Assi; Wes Masri; Chadi Trad
According to the reachability–infection–propagation (RIP) model, three conditions must be satisfied for program failure to occur: (1) the defect's location must be reached, (2) the program's state must become infected and (3) the infection must propagate to the output. Weak coincidental correctness (or weak CC) occurs when the program produces the correct output, while condition (1) is satisfied but
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-11-16
No abstract is available for this article.
-
Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017) Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-11-02 Ina Schieferdecker; Atif Memon; Hironori Washizaki
The 10th International Conference on Software Testing, Verification, and Validation (ICST 2017) was held on March 13 to 17, 2017, in Tokyo, Japan. The aim of the ICST conference is to bring together researchers and practitioners who study the theory, techniques, technologies, and applications that concern all aspects of software testing, verification, and validation of software systems. In the main
-
Choosing the fitness function for the job: Automated generation of test suites that detect real faults Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-11-16 Alireza Salahirad; Hussein Almulla; Gregory Gay
The article from this special issue was previously published in Software Testing, Verification and Reliability, Volume 29, Issue 4–5, 2019. For completeness we are including the title page of the article below. The full text of the article can be read in Issue 29:4–5 on Wiley Online Library: https://onlinelibrary.wiley.com/doi/10.1002/stvr.1701
-
Comparing the effectiveness of capture and replay against automatic input generation for Android graphical user interface testing Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-10-16 Sergio Di Martino; Anna Rita Fasolino; Luigi Libero Lucio Starace; Porfirio Tramontana
-
BUGSJS: a benchmark and taxonomy of JavaScript bugs Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-10-08 Péter Gyimesi; Béla Vancsics; Andrea Stocco; Davood Mazinanian; Árpád Beszédes; Rudolf Ferenc; Ali Mesbah
-
Functional test generation from UI test scenarios using reinforcement learning for android applications Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-10-05 Yavuz Koroglu; Alper Sen
-
Effective automated repair of internationalization presentation failures in web applications using style similarity clustering and search‐based techniques Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-09-06 Sonal Mahajan; Abdulmajeed Alameer; Phil McMinn; William G. J. Halfond
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-08-18
No abstract is available for this article.
-
On automation in software engineering Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-08-16 Robert M. Hierons; Tao Xie
This issue of STVR contains two papers that describe automated techniques. Automation has been an important theme in the software engineering research community for many years. In fact, there is an established annual conference (i.e., ASE) devoted to this topic. Many automated techniques have been developed over the years and are likely to remain a major focus of work in software testing, verification
-
Automatic monitoring of service reliability for web applications: a simulation‐based approach Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-07-29 Sundeuk Kim; Ilhyun Suh; Yon Dohn Chung
-
Automatically identifying potential regressions in the layout of responsive web pages Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-08-03 Thomas A. Walsh; Gregory M. Kapfhammer; Phil McMinn
Providing a good user experience on the ever‐increasing number and variety of devices being used to browse the web is a difficult, yet critical, task. With responsive web design, front‐end web developers design web pages so that they dynamically resize and rearrange content to best fit the dimensions of a device's screen. However, when making code modifications to a responsive page, developers can
-
Localizing software performance regressions in web applications by comparing execution timelines Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-08-11 Frolin S. Ocariza; Boyang Zhao
A performance regression in software is defined as an increase in an application step's response time as a result of code changes. Detecting such regressions can be done using profiling tools; however, investigating their root cause is a mostly‐manual and time‐consuming task. This statement holds true especially when comparing execution timelines , which are dynamic function call trees augmented with
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-07-16
No abstract is available for this article.
-
Conference Virtualization Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-07-14 Robert M. Hierons; Tao Xie
Due to the ongoing COVID‐19 outbreak, conference virtualization has happened, is happening, and will happen for the recent past, ongoing, and upcoming periods, respectively. An ongoing example of conference virtualization is ICSE 2020, the largest conference in software engineering. ACM has recently formed the ACM Presidential Task Force on What Conferences Can Do to Replace Face‐to‐Face Meetings;
-
Can operational profile coverage explain post‐release bug detection? Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-07-07 Lucas Andrade; Patrícia Machado; Wilkerson Andrade
To deliver reliable software, developers may rely on the fault detection capability of test suites. To evaluate this capability, they can apply code coverage metrics before a software release. However, recent research results have shown that these metrics may not provide a solid basis for this evaluation. Moreover, the fixing of a fault has a cost, and not all faults have the same impact regarding
-
TimelyRep: Timing deterministic replay for Android web applications Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-07-06 Yanqiang Liu; Fangge Yan; Mingyuan Xia; Zhengwei Qi; Xue Liu
With the constantly growing and changing requirements of app users, web techniques are used in mobile application development for better cross‐platform compatibility and online update. As the embedded web contents gain complexity, debugging web apps become a critical demand. Web replay tools can record program inputs and reproduce the same execution for debugging and performance tuning. However, traditional
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-04-17
No abstract is available for this article.
-
Search‐based crash reproduction using behavioural model seeding Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-04-12 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 Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-02-18 Anthony J. H. Simons; Raluca Lefticaru
-
Complexity vulnerability analysis using symbolic execution Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-02-06 Kasper Luckow; Rody Kersten; Corina Pasareanu
-
Performance mutation testing Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-01-29 Pedro Delgado‐Pérez; Ana Belén Sánchez; Sergio Segura; Inmaculada Medina‐Bulo
-
Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2019-12-02 Cyrille Artho; Kazuaki Banzai; Quentin Gros; Guillaume Rousset; Lei Ma; Takashi Kitamura; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto
-
DEMINER: test generation for high test coverage through mutant exploration Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2019-10-28 Yunho Kim; Shin Hong
Contents have been reproduced by permission of the publishers.