1. 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) ↗
2. Assessment of C++ object‐oriented mutation operators: A selective mutation approach. (20th March 2017) Authors: Delgado‐Pérez, Pedro; Segura, Sergio; Medina‐Bulo, Inmaculada 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) ↗
3. Automatic property‐based testing and path validation of XQuery programs. (6th February 2017) Authors: Almendros‐Jiménez, Jesús M.; Becerra‐Terón, Antonio Journal: Software testing, verification & reliability Issue: Volume 27:Number 1/2(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Bounded model checking of C++ programs based on the Qt cross‐platform framework. (2nd March 2017) Authors: Monteiro, Felipe R.; Garcia, Mário A. P.; Cordeiro, Lucas C.; de Lima Filho, Eddie B. Journal: Software testing, verification & reliability Issue: Volume 27:Number 3(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Color figures considered harmful. (28th November 2017) Authors: Offutt, Jeff Journal: Software testing, verification & reliability Issue: Volume 27:Number 8(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. CoopREP: Cooperative record and replay of concurrency bugs. (5th September 2017) Authors: Machado, Nuno; Romano, Paolo; Rodrigues, Luís Journal: Software testing, verification & reliability Issue: Volume 28:Number 1(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Debugging‐workflow‐aware software reliability growth analysis. (29th June 2017) Authors: Cinque, Marcello; Cotroneo, Domenico; Pecchia, Antonio; Pietrantuono, Roberto; Russo, Stefano Journal: Software testing, verification & reliability Issue: Volume 27:Number 7(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Detecting display energy hotspots in Android apps. (13th June 2017) Authors: Wan, Mian; Jin, Yuchen; Li, Ding; Gui, Jiaping; Mahajan, Sonal; Halfond, William G. J. 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) ↗
9. Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015). (September 2017) Authors: Fraser, Gordon; Marinov, Darko 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) ↗
10. Editorial: Accepting shortened papers hurts science. (January 2017) Authors: Offutt, Jeff Journal: Software testing, verification & reliability Issue: Volume 27:Number 1/2(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗