1. 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) ↗
2. 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) ↗
3. 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) ↗
4. 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) ↗
5. 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) ↗
6. Editorial for special issue of STVR on software testing, verification, and validation – volume 2 (extended selected papers from ICST 2011). (16th September 2013) Authors: Harman, Mark; Korel, Bogdan Other Names: Harman Mark guestEditor.; Korel Bogdan guestEditor. Journal: Software testing, verification & reliability Issue: Volume 23:Number 7(2013) Page Start: 529 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Employing second‐order mutation for isolating first‐order equivalent mutants. (21st April 2014) Authors: Kintis, Marinos; Papadakis, Mike; Malevris, Nicos 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: 508 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Handling test length bloat. (22nd April 2013) Authors: Fraser, Gordon; Arcuri, Andrea Other Names: Harman Mark guestEditor.; Korel Bogdan guestEditor. Journal: Software testing, verification & reliability Issue: Volume 23:Number 7(2013) Page Start: 553 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Higher accuracy and lower run time: efficient mutation analysis using non‐redundant mutation operators. (11th December 2014) Authors: Just, René; Schweiggert, Franz 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: 490 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Introduction to the special issue on Mutation Testing. (August 2015) Authors: Jia, Yue; Merayo, Mercedes; Harman, Mark 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: 461 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗