21. A test purpose‐based approach for testing timed input output automata. (9th March 2011) Authors: En‐Nouaary, Abdeslam Journal: Software testing, verification & reliability Issue: Volume 23:Number 1(2013:Jan.) Page Start: 53 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. A tribute to Mary Jean Harrold. (December 2013) Authors: Offutt, Jeff Journal: Software testing, verification & reliability Issue: Volume 23:Number 8(2013) Page Start: 583 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. A verified and optimized Stream X‐Machine testing method, with application to cloud service certification. (18th February 2020) Authors: Simons, Anthony J. H.; Lefticaru, Raluca Journal: Software testing, verification & reliability Issue: Volume 30:Number 3(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Adaptive or embedded software testing and mutation testing. (12th October 2021) Authors: Hierons, Robert M.; Xie, Tao Journal: Software testing, verification & reliability Issue: Volume 31:Number 7(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Advances in noise‐based testing of concurrent software. (5th September 2014) Authors: Fiedor, J.; Hrubá, V.; Křena, B.; Letko, Z.; Ur, S.; Vojnar, T.; Farchi, Eitan; Hierons, Robert M.; Lourenço, João Journal: Software testing, verification & reliability Issue: Volume 25:Number 3(2015:Jul.) Page Start: 272 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. An automated analysis methodology to detect inconsistencies in web services with WSDL interfaces. (4th February 2011) Authors: Fisher, Marc; Elbaum, Sebastian; Rothermel, Gregg Journal: Software testing, verification & reliability Issue: Volume 23:Number 1(2013:Jan.) Page Start: 27 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. An automated framework to support testing for process‐level race conditions. (10th May 2017) Authors: Yu, Tingting; Srisa-an, Witty; Rothermel, Gregg Journal: Software testing, verification & reliability Issue: Volume 27:Number 4/5(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. An automated functional testing approach for virtual reality applications. (12th October 2018) Authors: Corrêa Souza, Alinne C.; Nunes, Fátima L. S.; Delamaro, Márcio E. 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) ↗
29. An efficient regression testing approach for PHP web applications: a controlled experiment. (August 2014) Authors: Do, Hyunsook; Hossain, Md.; Bertolino, Antonia; Labiche, Yvan Journal: Software testing, verification & reliability Issue: Volume 24:Number 5(2014) Page Start: 367 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. An empirical study of Linespots: A novel past‐fault algorithm. (18th August 2021) Authors: Scholz, Maximilian; Torkar, Richard Journal: Software testing, verification & reliability Issue: Volume 31:Number 8(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗