1. A lightweight framework for dynamic GUI data verification based on scripts. (6th May 2015) Authors: Mateo Navarro, Pedro Luis; Ruiz, Diego Sevilla; Pérez, Gregorio Martínez Journal: Software testing, verification & reliability Issue: Volume 26:Number 2(2016) Page Start: 95 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. Anomaly detection in performance regression testing by transaction profile estimation. (9th March 2015) Authors: Ghaith, Shadi; Wang, Miao; Perry, Philip; Jiang, Zhen Ming; O'Sullivan, Pat; Murphy, John Journal: Software testing, verification & reliability Issue: Volume 26:Number 1(2016) Page Start: 4 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Assessing and generating test sets in terms of behavioural adequacy. (20th March 2015) Authors: Fraser, Gordon; Walkinshaw, Neil Journal: Software testing, verification & reliability Issue: Volume 25:Number 8(2015) Page Start: 749 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Automated metamorphic testing of variability analysis tools. (13th January 2015) Authors: Segura, Sergio; Durán, Amador; Sánchez, Ana B.; Berre, Daniel Le; Lonca, Emmanuel; Ruiz‐Cortés, Antonio Journal: Software testing, verification & reliability Issue: Volume 25:Number 2(2015:Apr.) Page Start: 138 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Automatic fault localization for client‐side JavaScript. (14th April 2015) Authors: Ocariza, Frolin S.; Li, Guanpeng; Pattabiraman, Karthik; Mesbah, Ali Journal: Software testing, verification & reliability Issue: Volume 26:Number 1(2016) Page Start: 69 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Behaviour abstraction adequacy criteria for API call protocol testing. (16th October 2015) Authors: Czemerinski, Hernan; Braberman, Victor; Uchitel, Sebastian Journal: Software testing, verification & reliability Issue: Volume 26:Number 3(2016) Page Start: 211 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Cause reduction: delta debugging, even without bugs. (31st March 2015) Authors: Groce, Alex; Alipour, Mohammad Amin; Zhang, Chaoqiang; Chen, Yang; Regehr, John Journal: Software testing, verification & reliability Issue: Volume 26:Number 1(2016) Page Start: 40 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Coverage‐based regression test case selection, minimization and prioritization: a case study on an industrial system. (7th April 2015) Authors: Nardo, Daniel Di; Alshahwan, Nadia; Briand, Lionel; Labiche, Yvan; Baudry, Benoit; Orso, Alessandro Journal: Software testing, verification & reliability Issue: Volume 25:Number 4(2015:Oct.) Page Start: 371 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Defect prediction as a multiobjective optimization problem. (8th March 2015) Authors: Canfora, Gerardo; Lucia, Andrea De; Penta, Massimiliano Di; Oliveto, Rocco; Panichella, Annibale; Panichella, Sebastiano; Baudry, Benoit; Orso, Alessandro Journal: Software testing, verification & reliability Issue: Volume 25:Number 4(2015:Oct.) Page Start: 426 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗