241. Metallaxis‐FL: mutation‐based fault localization. (9th September 2013) Authors: Papadakis, Mike; Le Traon, Yves 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: 605 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
242. Metamorphic relation prioritization for effective regression testing. (17th February 2022) Authors: Srinivasan, Madhusudan; Kanewala, Upulee Journal: Software testing, verification & reliability Issue: Volume 32:Number 3(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
243. Metamorphic testing and test automation. (3rd April 2022) Authors: Hierons, Robert M.; Xie, Tao Journal: Software testing, verification & reliability Issue: Volume 32:Number 3(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
244. MobSTer: A model‐based security testing framework for web applications. (27th September 2018) Authors: Peroli, Michele; De Meo, Federico; Viganò, Luca; Guardini, Davide Journal: Software testing, verification & reliability Issue: Volume 28:Number 8(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
245. Model checking C++ programs. (8th September 2021) Authors: Monteiro, Felipe R.; Gadelha, Mikhail R.; Cordeiro, Lucas C. Journal: Software testing, verification & reliability Issue: Volume 32:Number 1(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
246. Model checking Trampoline OS: a case study on safety analysis for automotive software1. (29th August 2012) Authors: Choi, Yunja Journal: Software testing, verification & reliability Issue: Volume 24:Number 1(2014:Jan.) Page Start: 38 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
247. Model checking, testing and debugging. (5th December 2021) Authors: Hierons, Robert M.; Xie, Tao Journal: Software testing, verification & reliability Issue: Volume 32:Number 1(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
248. Model‐based mutation testing from security protocols in HLPSL. (29th April 2014) Authors: Dadeau, Frédéric; Héam, Pierre‐Cyrille; Kheddam, Rafik; Maatoug, Ghazi; Rusinowitch, Michael 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: 684 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
249. Model‐based security testing: a taxonomy and systematic classification. (24th July 2015) Authors: Felderer, Michael; Zech, Philipp; Breu, Ruth; Büchler, Matthias; Pretschner, Alexander Journal: Software testing, verification & reliability Issue: Volume 26:Number 2(2016) Page Start: 119 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
250. Model‐based testing for concurrent systems with labelled event structures. (21st August 2014) Authors: de León, Hernán Ponce; Haar, Stefan; Longuet, Delphine; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 7(2014) Page Start: 558 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗