331. UCov: a user‐defined coverage criterion for test case intent verification. (27th June 2016) Authors: Assi, Rawad Abou; Masri, Wes; Zaraket, Fadi Journal: Software testing, verification & reliability Issue: Volume 26:Number 6(2016) Page Start: 460 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
332. UNICORN: a unified approach for localizing non‐deadlock concurrency bugs1. (9th March 2014) Authors: Park, Sangmin; Vuduc, Richard; Harrold, Mary Jean; Farchi, Eitan; Hierons, Robert M.; Lourenço, João Journal: Software testing, verification & reliability Issue: Volume 25:Number 3(2015:Jul.) Page Start: 167 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
333. Using combinatorial testing to build navigation graphs for dynamic web applications. (2nd February 2016) Authors: Wang, Wenhua; Sampath, Sreedevi; Lei, Yu; Kacker, Raghu; Kuhn, Richard; Lawrence, James Journal: Software testing, verification & reliability Issue: Volume 26:Number 4(2016) Page Start: 318 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
334. Using concepts of content‐based image retrieval to implement graphical testing oracles. (2nd May 2011) Authors: Delamaro, Marcio Eduardo; de, Fátima; de, Rafael Alves Paes Journal: Software testing, verification & reliability Issue: Volume 23:Number 3(2013:Jul.) Page Start: 171 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
335. Using mutants to help developers distinguish and debug (compiler) faults. (13th January 2020) Authors: Holmes, Josie; Groce, Alex Other Names: Natella Roberto guestEditor.; Ghosh Sudipto guestEditor. Journal: Software testing, verification & reliability Issue: Volume 30:Number 2(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
336. Using mutation to assess fault detection capability of model review. (25th April 2014) Authors: Arcaini, Paolo; Gargantini, Angelo; Riccobene, Elvinia Other Names: Jia Yue guestEditor.; Merayo Mercedes guestEditor.; Harman Mark guestEditor. Journal: Software testing, verification & reliability Issue: Volume 25:Number 5/7(2015) Page Start: 629 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
337. Verification algebra for multi‐tenant applications in VaaS architecture. (1st February 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) ↗
338. Verifying OSEK/VDX automotive applications: A Spin‐based model checking approach. (19th February 2018) Authors: Zhang, Haitao; Li, Guoqiang; Cheng, Zhuo; Xue, Jinyun Journal: Software testing, verification & reliability Issue: Volume 28:Number 3(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
339. What I have learned from usability. (15th February 2013) Authors: Offutt, Jeff Journal: Software testing, verification & reliability Issue: Volume 23:Number 2(2013:Apr.) Page Start: 89 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
340. What is a facade journal?. (17th August 2018) Authors: Offutt, Jeff Journal: Software testing, verification & reliability Issue: Volume 28:Number 6(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗