1. A formal approach to automatically analyse extra‐functional properties in mobile applications. (14th June 2019) Authors: Rosario Espada, Ana; del Mar Gallardo, Maria; Salmerón, Alberto; Panizo, Laura; Merino, Pedro Journal: Software testing, verification & reliability Issue: Volume 29:Number 4/5(2019) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams. (2nd October 2022) Authors: Izumi, Fabricio; de Lima Filho, Eddie B.; Cordeiro, Lucas C.; Maia, Orlewilson; Fabrício, Rômulo; Farias, Bruno; Silva, Aguinaldo Journal: Software testing, verification & reliability Issue: Volume 33:Number 1(2023) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. 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) ↗
4. A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering1. (6th November 2012) Authors: Arcuri, Andrea; Briand, Lionel Journal: Software testing, verification & reliability Issue: Volume 24:Number 3(2014:Jul.) Page Start: 219 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. A hybrid approach to testing for nonfunctional faults in embedded systems using genetic algorithms. (16th August 2018) Authors: Yu, Tingting; Srisa‐an, Witawas; Cohen, Myra B.; Rothermel, Gregg Journal: Software testing, verification & reliability Issue: Volume 28:Number 7(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. 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) ↗
7. A mapping study on mutation testing for mobile applications. (20th December 2021) Authors: Silva, Henrique Neves; Prado Lima, Jackson; Vergilio, Silvia Regina; Endo, Andre Takeshi Other Names: Gopinath Rahul guestEditor.; Zhang Jie M. guestEditor.; Kintis Marinos guestEditor.; Papadakis Mike guestEditor. Journal: Software testing, verification & reliability Issue: Volume 32:Number 8(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. A measurement‐based ageing analysis of the JVM. (8th September 2011) Authors: Cotroneo, Domenico; Orlando, Salvatore; Pietrantuono, Roberto; Russo, Stefano Journal: Software testing, verification & reliability Issue: Volume 23:Number 3(2013:Jul.) Page Start: 199 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. A model‐free and state‐cover testing scheme for semaphore‐based and shared‐memory concurrent programs. (13th January 2014) Authors: Hwang, Gwan‐Hwan; Lin, Che‐Sheng; Lee, Teng‐Shuo; Wu‐Lee, Chi; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: 706 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. A mutation framework for evaluating security analysis tools in IoT applications. (15th November 2021) Authors: Alalfi, Manar H.; Parveen, Sajeda; Nazzal, Bara' Other Names: Gopinath Rahul guestEditor.; Zhang Jie M. guestEditor.; Kintis Marinos guestEditor.; Papadakis Mike guestEditor. Journal: Software testing, verification & reliability Issue: Volume 32:Number 7(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗