121. Erratum. (14th September 2021) Authors: Hu, Kai; Wan, Ji; Luo, Kan; Xu, Yuzhuang; Cheng, Zijing; Tsai, Wei‐Tek Journal: Software testing, verification & reliability Issue: Volume 31:Number 7(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
122. Error‐preserving local transformations on communication protocols. (21st January 2011) Authors: Kapus‐Kolar, Monika Journal: Software testing, verification & reliability Issue: Volume 23:Number 1(2013:Jan.) Page Start: 3 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
123. Evaluating code‐based test input generator tools. (6th February 2017) Authors: Cseppentő, Lajos; Micskei, Zoltán 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) ↗
124. Event tree algorithms to generate test sequences for composite Web services. (7th June 2017) Authors: Endo, Andre Takeshi; Simao, Adenilso 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) ↗
125. 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) ↗
126. Exploring the missing link: an empirical study of software fixes. (7th October 2013) Authors: Hamill, Maggie; Goseva‐Popstojanova, Katerina; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: 684 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
127. Extending model checkers for hybrid system verification: the case study of SPIN. (26th July 2013) Authors: Gallardo, María‐del‐Mar; Panizo, Laura Journal: Software testing, verification & reliability Issue: Volume 24:Number 6(2014) Page Start: 438 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
128. 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) ↗
129. Farewell after an 11‐year journey as joint editor‐in‐chief. (10th May 2022) Authors: Hierons, Robert M. Journal: Software testing, verification & reliability Issue: Volume 32:Number 4(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
130. 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) ↗