251. Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers. (2nd December 2019) Authors: Artho, Cyrille; Banzai, Kazuaki; Gros, Quentin; Rousset, Guillaume; Ma, Lei; Kitamura, Takashi; Hagiya, Masami; Tanabe, Yoshinori; Yamamoto, Mitsuharu 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) ↗
252. Model‐based testing. (13th February 2023) Authors: Le Traon, Yves; Xie, Tao Journal: Software testing, verification & reliability Issue: Volume 33:Number 2(2023) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
253. MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software. (3rd May 2022) Authors: Liu, Lingjun; Jee, Eunkyoung; Bae, Doo‐Hwan Other Names: Gopinath Rahul guestEditor.; Zhang Jie M. guestEditor.; Kintis Marinos guestEditor.; Papadakis Mike guestEditor. Journal: Software testing, verification & reliability Issue: Volume 32:Number 8(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
254. MuMonDE: A framework for evaluating model clone detectors using model mutation analysis. (7th June 2018) Authors: Stephan, Matthew; Cordy, James R. Other Names: Just René guestEditor.; Krinke Jens guestEditor.; Li Nan guestEditor.; Rojas José Miguel guestEditor. Journal: Software testing, verification & reliability Issue: Volume 29:Number 1/2(2019) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
255. MuRanker: a mutant ranking tool ‡. (11th August 2014) Authors: Namin, Akbar Siami; Xue, Xiaozhen; Rosas, Omar; Sharma, Pankaj 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: 572 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
256. Mutation analysis and its industrial applications. (5th August 2022) Authors: Gopinath, Rahul; Zhang, Jie M.; Kintis, Marinos; Papadakis, Mike Other Names: Gopinath Rahul guestEditor.; Zhang Jie M. guestEditor.; Kintis Marinos guestEditor.; Papadakis Mike guestEditor. Journal: Software testing, verification & reliability Issue: Volume 32:Number 8(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
257. Mutation analysis and its industrial applications. (8th August 2022) Authors: Gopinath, Rahul; Zhang, Jie M.; Kintis, Marinos; Papadakis, Mike Other Names: Gopinath Rahul guestEditor.; Zhang Jie M. guestEditor.; Kintis Marinos guestEditor.; Papadakis Mike guestEditor. Journal: Software testing, verification & reliability Issue: Volume 32:Number 7(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
258. Mutation operators for feature‐oriented software product lines. (26th July 2018) Authors: Krüger, Jacob; Al‐Hajjaji, Mustafa; Leich, Thomas; Saake, Gunter Other Names: Just René guestEditor.; Krinke Jens guestEditor.; Li Nan guestEditor.; Rojas José Miguel guestEditor. Journal: Software testing, verification & reliability Issue: Volume 29:Number 1/2(2019) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
259. Neural network for software reliability analysis of dynamically weighted NHPP growth models with imperfect debugging. (26th April 2018) Authors: Rani, Pooja; Mahapatra, G.S. Journal: Software testing, verification & reliability Issue: Volume 28:Number 5(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
260. Non‐negative sparse‐based SemiBoost for software defect prediction. (22nd July 2016) Authors: Wang, Tiejian; Zhang, Zhiwu; Jing, Xiaoyuan; Liu, Yanli Journal: Software testing, verification & reliability Issue: Volume 26:Number 7(2016) Page Start: 498 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗