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. An exploration of effective fuzzing for side‐channel cache leakage. (28th November 2019) Authors: Basu, Tiyash; Aggarwal, Kartik; Wang, Chundong; Chattopadhyay, Sudipta Other Names: Saadatmand Mehrdad guestEditor.; Lindström Birgitta guestEditor.; Aichernig Bernhard K. guestEditor. Journal: Software testing, verification & reliability Issue: Volume 30:Number 1(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Choosing the fitness function for the job: Automated generation of test suites that detect real faults. (18th June 2019) Authors: Salahirad, Alireza; Almulla, Hussein; Gay, Gregory 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) ↗
4. Coincidental correctness in the Defects4J benchmark. (25th March 2019) Authors: Abou Assi, Rawad; Trad, Chadi; Maalouf, Marwan; Masri, Wes Journal: Software testing, verification & reliability Issue: Volume 29:Number 3(2019) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. DEMINER: test generation for high test coverage through mutant exploration. (28th October 2019) Authors: Kim, Yunho; Hong, Shin Other Names: Feldt Robert guestEditor.; Yoo Shin guestEditor. Journal: Software testing, verification & reliability Issue: Volume 31:Number 1/2(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Facilitating program performance profiling via evolutionary symbolic execution. (21st November 2019) Authors: Aquino, Andrea; Braione, Pietro; Denaro, Giovanni; Salza, Pasquale Other Names: Natella Roberto guestEditor.; Ghosh Sudipto guestEditor. Journal: Software testing, verification & reliability Issue: Volume 30:Number 2(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Farewell and thanks for all the reviews. (5th July 2019) Authors: Offutt, Jeff 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) ↗
8. I love journal papers and you should too. (21st March 2019) Authors: Offutt, Jeff Journal: Software testing, verification & reliability Issue: Volume 29:Number 3(2019) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Issue Information. (19th February 2019) Other Names: Just René guestEditor.; Krinke Jens guestEditor.; Li Nan guestEditor.; Rojas José Miguel guestEditor. Journal: Software testing, verification & reliability Issue: Volume 29:Number 1/2(2019) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Issue Information. (29th December 2019) Other Names: Saadatmand Mehrdad guestEditor.; Lindström Birgitta guestEditor.; Aichernig Bernhard K. guestEditor. Journal: Software testing, verification & reliability Issue: Volume 30:Number 1(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗