1. 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) ↗
2. 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) ↗
3. An improved Pareto distribution for modelling the fault data of open source software. (23rd July 2013) Authors: Luan, Shao‐Pu; Huang, Chin‐Yu Journal: Software testing, verification & reliability Issue: Volume 24:Number 6(2014) Page Start: 416 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Analysis and testing of black‐box component‐based systems by inferring partial models. (17th February 2013) Authors: Shahbaz, Muzammil; Groz, Roland Journal: Software testing, verification & reliability Issue: Volume 24:Number 4(2014:Oct.) Page Start: 253 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Automatic test case generation from Simulink/Stateflow models using model checking. (22nd January 2013) Authors: Mohalik, Swarup; Gadkari, Ambar A.; Yeolekar, Anand; Shashidhar, K.C.; Ramesh, S. Journal: Software testing, verification & reliability Issue: Volume 24:Number 2(2014:Apr.) Page Start: 155 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Checked coverage: an indicator for oracle quality. (8th May 2013) Authors: Schuler, David; Zeller, Andreas Other Names: Harman Mark guestEditor.; Korel Bogdan guestEditor. Journal: Software testing, verification & reliability Issue: Volume 23:Number 7(2013) Page Start: 531 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Configuring effective navigation models and abstract test cases for web applications by analysing user behaviour. (29th April 2013) Authors: Sprenkle, Sara E.; Pollock, Lori L.; Simko, Lucy M. Other Names: Harman Mark guestEditor.; Korel Bogdan guestEditor. Journal: Software testing, verification & reliability Issue: Volume 23:Number 6(2013) Page Start: 439 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Configuring effective navigation models and abstract test cases for web applications by analysing user behaviour. (29th April 2013) Authors: Sprenkle, Sara E.; Pollock, Lori L.; Simko, Lucy M. Other Names: Harman Mark guestEditor.; Korel Bogdan guestEditor. Journal: Software testing, verification & reliability Issue: Volume 23:Number 6(2013) Page Start: 439 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Demand‐driven propagation‐based strategies for testing changes1. (5th June 2013) Authors: Santelices, Raul; Harrold, Mary Jean Other Names: Harman Mark guestEditor.; Korel Bogdan guestEditor. Journal: Software testing, verification & reliability Issue: Volume 23:Number 6(2013) Page Start: 499 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Editorial for special issue of STVR on software testing, verification, and validation ‐ volume 1 (extended selected papers from ICST 2011). (27th August 2013) Authors: Harman, Mark; Korel, Bogdan Other Names: Harman Mark guestEditor.; Korel Bogdan guestEditor. Journal: Software testing, verification & reliability Issue: Volume 23:Number 6(2013) Page Start: 437 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗