51. Automatic testing of GUI‐based applications. (29th May 2014) Authors: Mariani, Leonardo; Pezzè, Mauro; Riganelli, Oliviero; Santoro, Mauro; Bertolino, Antonia; Labiche, Yvan Journal: Software testing, verification & reliability Issue: Volume 24:Number 5(2014) Page Start: 341 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
52. Automatically identifying potential regressions in the layout of responsive web pages. (3rd August 2020) Authors: Walsh, Thomas A.; Kapfhammer, Gregory M.; McMinn, Phil Journal: Software testing, verification & reliability Issue: Volume 30:Number 6(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
53. Behaviour abstraction adequacy criteria for API call protocol testing. (16th October 2015) Authors: Czemerinski, Hernan; Braberman, Victor; Uchitel, Sebastian Journal: Software testing, verification & reliability Issue: Volume 26:Number 3(2016) Page Start: 211 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
54. Bounded model checking of C++ programs based on the Qt cross‐platform framework. (2nd March 2017) Authors: Monteiro, Felipe R.; Garcia, Mário A. P.; Cordeiro, Lucas C.; de Lima Filho, Eddie B. Journal: Software testing, verification & reliability Issue: Volume 27:Number 3(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
55. Bridging the gap between easy generation and efficient verification of unsatisfiability proofs. (3rd October 2014) Authors: Heule, Marijn J. H.; Hunt, Warren A.; Wetzler, Nathan; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: 593 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
56. BUGSJS: a benchmark and taxonomy of JavaScript bugs. (8th October 2020) Authors: Gyimesi, Péter; Vancsics, Béla; Stocco, Andrea; Mazinanian, Davood; Beszédes, Árpád; Ferenc, Rudolf; Mesbah, Ali Other Names: Memon Atif M. guestEditor.; Cohen Myra B. guestEditor. Journal: Software testing, verification & reliability Issue: Volume 31:Number 4(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
57. Can operational profile coverage explain post‐release bug detection?. (7th July 2020) Authors: Andrade, Lucas; Machado, Patrícia; Andrade, Wilkerson Journal: Software testing, verification & reliability Issue: Volume 30:Number 4/5(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
58. Causal inference based fault localization for numerical software with NUMFL. (28th November 2016) Authors: Bai, Zhuofu; Shu, Gang; Podgurski, Andy Other Names: Fraser Gordon guestEditor.; Marinov Darko guestEditor. Journal: Software testing, verification & reliability Issue: Volume 27:Number 6(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
59. Cause reduction: delta debugging, even without bugs. (31st March 2015) Authors: Groce, Alex; Alipour, Mohammad Amin; Zhang, Chaoqiang; Chen, Yang; Regehr, John Journal: Software testing, verification & reliability Issue: Volume 26:Number 1(2016) Page Start: 40 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
60. Checked coverage: an indicator for oracle quality. (8th May 2013) Authors: Schuler, David; Zeller, Andreas Other Names: Harman Mark guestEditor.; Korel Bogdan guestEditor. Journal: Software testing, verification & reliability Issue: Volume 23:Number 7(2013) Page Start: 531 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗