11. A new method for testing timed systems. (9th March 2011) Authors: Bonifácio, Adilson Luiz; Moura, Arnaldo Vieira Journal: Software testing, verification & reliability Issue: Volume 23:Number 2(2013:Apr.) Page Start: 91 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. A novel approach to software quality risk management. (10th January 2013) Authors: Bubevski, Vojo Journal: Software testing, verification & reliability Issue: Volume 24:Number 2(2014:Apr.) Page Start: 124 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. A novel reliability analysis approach for component‐based software based on the complex network theory. (3rd July 2018) Authors: Li, Kewen; Yu, Mingxiao; Liu, Lu; Zhai, Jiannan; Liu, Wenying 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) ↗
14. A practical model‐based statistical approach for generating functional test cases: application in the automotive industry. (28th August 2012) Authors: Awedikian, Roy; Yannou, Bernard Journal: Software testing, verification & reliability Issue: Volume 24:Number 2(2014:Apr.) Page Start: 85 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. A random testing approach using pushdown automata. (14th May 2014) Authors: Dreyfus, Aloïs; Héam, Pierre‐Cyrille; Kouchnarenko, Olga; Masson, Catherine; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: 656 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. A simplification of a real‐time verification problem. (10th October 2016) Authors: Roy, Suman; Misra, Janardan; Saha, Indranil Journal: Software testing, verification & reliability Issue: Volume 26:Number 8(2016) Page Start: 548 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. A study and toolkit of CHECK‐THEN‐ACT idioms of Java concurrent collections. (9th February 2015) Authors: Lin, Yu; Dig, Danny; Baudry, Benoit; Orso, Alessandro Journal: Software testing, verification & reliability Issue: Volume 25:Number 4(2015:Oct.) Page Start: 397 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. A survey of code‐based change impact analysis techniques. (27th April 2012) Authors: Li, Bixin; Sun, Xiaobing; Leung, Hareton; Zhang, Sai Journal: Software testing, verification & reliability Issue: Volume 23:Number 8(2013) Page Start: 613 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. A survey of race bug detection techniques for multithreaded programmes. (19th December 2014) Authors: Hong, Shin; Kim, Moonzoo; Farchi, Eitan; Hierons, Robert M.; Lourenço, João Journal: Software testing, verification & reliability Issue: Volume 25:Number 3(2015:Jul.) Page Start: 191 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. A systematic literature review of how mutation testing supports quality assurance processes. (16th July 2018) Authors: Zhu, Qianqian; Panichella, Annibale; Zaidman, Andy 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) ↗