71. Comparing the effectiveness of capture and replay against automatic input generation for Android graphical user interface testing. (16th October 2020) Authors: Di Martino, Sergio; Fasolino, Anna Rita; Starace, Luigi Libero Lucio; Tramontana, Porfirio Other Names: Alégroth Emil guestEditor.; Ardito Luca guestEditor.; Coppola Riccardo guestEditor.; Feldt Robert guestEditor. Journal: Software testing, verification & reliability Issue: Volume 31:Number 3(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
72. Complexity vulnerability analysis using symbolic execution. (6th February 2020) Authors: Luckow, Kasper; Kersten, Rody; Pasareanu, Corina Other Names: Schieferdecker Ina guestEditor.; Memon Atif guestEditor.; Washizaki Hironori guestEditor. Journal: Software testing, verification & reliability Issue: Volume 30:Number 7/8(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
73. Comprehensive evaluation of file systems robustness with SPIN model checking. (20th July 2022) Authors: Yuan, Jingcheng; Aoki, Toshiaki; Guo, Xiaoyun Journal: Software testing, verification & reliability Issue: Volume 32:Number 6(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
74. Conference Virtualization. (14th July 2020) Authors: Hierons, Robert M.; Xie, Tao 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) ↗
75. Configuring effective navigation models and abstract test cases for web applications by analysing user behaviour. (29th April 2013) Authors: Sprenkle, Sara E.; Pollock, Lori L.; Simko, Lucy M. Other Names: Harman Mark guestEditor.; Korel Bogdan guestEditor. Journal: Software testing, verification & reliability Issue: Volume 23:Number 6(2013) Page Start: 439 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
76. Configuring effective navigation models and abstract test cases for web applications by analysing user behaviour. (29th April 2013) Authors: Sprenkle, Sara E.; Pollock, Lori L.; Simko, Lucy M. Other Names: Harman Mark guestEditor.; Korel Bogdan guestEditor. Journal: Software testing, verification & reliability Issue: Volume 23:Number 6(2013) Page Start: 439 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
77. CoopREP: Cooperative record and replay of concurrency bugs. (5th September 2017) Authors: Machado, Nuno; Romano, Paolo; Rodrigues, Luís Journal: Software testing, verification & reliability Issue: Volume 28:Number 1(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
78. Cover Image. (20th August 2021) Authors: Hu, Kai; Wan, Ji; Luo, Kan; Xu, Yuzhuang; Cheng, Zijing; Tsai, Wei‐Tek Journal: Software testing, verification & reliability Issue: Volume 31:Number 6(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
79. Coverage‐based regression test case selection, minimization and prioritization: a case study on an industrial system. (7th April 2015) Authors: Nardo, Daniel Di; Alshahwan, Nadia; Briand, Lionel; Labiche, Yvan; Baudry, Benoit; Orso, Alessandro Journal: Software testing, verification & reliability Issue: Volume 25:Number 4(2015:Oct.) Page Start: 371 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
80. Covering and Uncovering Equivalent Mutants. (4th April 2012) Authors: Schuler, David; Zeller, Andreas Other Names: Cavalli Ana guestEditor.; Ghosh Sudipto guestEditor. Journal: Software testing, verification & reliability Issue: Volume 23:Number 5(2013) Page Start: 353 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗