1. A general modeling and analysis framework for software fault detection and correction process. (7th March 2016) Authors: Liu, Yu; Li, Duo; Wang, Lujia; Hu, Qingpei Journal: Software testing, verification & reliability Issue: Volume 26:Number 5(2016) Page Start: 351 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. Causal inference based fault localization for numerical software with NUMFL. (28th November 2016) Authors: Bai, Zhuofu; Shu, Gang; Podgurski, Andy Other Names: Fraser Gordon guestEditor.; Marinov Darko guestEditor. Journal: Software testing, verification & reliability Issue: Volume 27:Number 6(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Editorial. (12th August 2016) Authors: Hierons, Rob Journal: Software testing, verification & reliability Issue: Volume 26:Number 6(2016) Page Start: 430 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Editorial: Changes to STVR's Editorial Board. (August 2016) Authors: Offutt, Jeff Journal: Software testing, verification & reliability Issue: Volume 26:Number 5(2016) Page Start: 350 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Editorial: How to extend a conference paper to a journal paper. (November 2016) Authors: Offutt, Jeff Journal: Software testing, verification & reliability Issue: Volume 26:Number 7(2016) Page Start: 496 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Editorial: STVR policy on extending conference papers to journal submissions. (June 2016) Authors: Offutt, Jeff Journal: Software testing, verification & reliability Issue: Volume 26:Number 4(2016) Page Start: 274 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Editorial: The Downward Death Spiral Review Process. (17th November 2016) Authors: Offutt, Jeff Journal: Software testing, verification & reliability Issue: Volume 26:Number 8(2016) Page Start: 546 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Exhaustive test sets for algebraic specifications. (27th January 2016) Authors: Aiguier, Marc; Arnould, Agnès; Gall, Pascale Le; Longuet, Delphine Journal: Software testing, verification & reliability Issue: Volume 26:Number 4(2016) Page Start: 294 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. How to revise a research paper. (18th February 2016) Authors: Offutt, Jeff Journal: Software testing, verification & reliability Issue: Volume 26:Number 2(2016) Page Start: 92 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗