261. Object‐sensitive cost analysis for concurrent objects. (4th March 2015) Authors: Albert, Elvira; Arenas, Puri; Correas, Jesús; Genaim, Samir; Gómez‐Zamalloa, Miguel; Puebla, Germán; Román‐Díez, Guillermo; Farchi, Eitan; Hierons, Robert M.; Lourenço, João Journal: Software testing, verification & reliability Issue: Volume 25:Number 3(2015:Jul.) Page Start: 218 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
262. On automation in software engineering. (16th August 2020) Authors: Hierons, Robert M.; Xie, Tao 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) ↗
263. On strong mutation and the theory of subsuming logic‐based mutants. (19th April 2018) Authors: Lindström, Birgitta; Márki, András 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) ↗
264. Optimizing compilation with preservation of structural code coverage metrics to support software testing. (29th October 2012) Authors: Kirner, Raimund; Haas, Walter Journal: Software testing, verification & reliability Issue: Volume 24:Number 3(2014:Jul.) Page Start: 184 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
265. OS‐in‐the‐Loop verification for multi‐tasking control software. (17th November 2022) Authors: Choi, Yunja Journal: Software testing, verification & reliability Issue: Volume 33:Number 1(2023) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
266. Parallel mutation testing. (19th March 2012) Authors: Mateo, Pedro Reales; Usaola, Macario Polo Journal: Software testing, verification & reliability Issue: Volume 23:Number 4(2013:Oct.) Page Start: 315 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
267. Past‐Free[ze] reachability analysis: reaching further with DAG‐directed exhaustive state‐space analysis. (31st August 2016) Authors: Teodorov, Ciprian; Le Roux, Luka; Drey, Zoé; Dhaussy, Philippe Journal: Software testing, verification & reliability Issue: Volume 26:Number 7(2016) Page Start: 516 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
268. Pattern‐based GUI testing: Bridging the gap between design and quality assurance. (2nd March 2017) Authors: Moreira, Rodrigo M. L. M.; Paiva, Ana Cristina; Nabuco, Miguel; Memon, Atif 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) ↗
269. Performance assessment based on stochastic differential equation and effort data for edge computing. (15th February 2021) Authors: Tamura, Yoshinobu; Yamada, Shigeru 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) ↗
270. Performance mutation testing. (29th January 2020) Authors: Delgado‐Pérez, Pedro; Sánchez, Ana Belén; Segura, Sergio; Medina‐Bulo, Inmaculada Journal: Software testing, verification & reliability Issue: Volume 31:Number 5(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗