161. IEEE International Conference on Software Testing, Verification and Validation (ICST 2020). (18th July 2022) Authors: Păsăreanu, Corina; Zeller, Andreas Other Names: Păsăreanu Corina guestEditor.; Zeller Andreas guestEditor. Journal: Software testing, verification & reliability Issue: Volume 32:Number 5(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
162. Impediments for software test automation: A systematic literature review. (5th September 2017) Authors: Wiklund, Kristian; Eldh, Sigrid; Sundmark, Daniel; Lundqvist, Kristina 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) ↗
163. Improving lazy abstraction for SCR specifications through constraint relaxation. (15th January 2018) Authors: Degiovanni, Renzo; Ponzio, Pablo; Aguirre, Nazareno; Frias, Marcelo Journal: Software testing, verification & reliability Issue: Volume 28:Number 2(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
164. Improving test automation maturity: A multivocal literature review. (15th February 2022) Authors: Wang, Yuqing; Mäntylä, Mika V.; Liu, Zihao; Markkula, Jouni; Raulamo‐jurvanen, Päivi Journal: Software testing, verification & reliability Issue: Volume 32:Number 3(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
165. In vivo biocompatibility of boron doped and nitrogen included conductive‐diamond for use in medical implants. (21st January 2015) Authors: Garrett, David J.; Saunders, Alexia L.; McGowan, Ceara; Specks, Joscha; Ganesan, Kumaravelu; Meffin, Hamish; Williams, Richard A.; Nayagam, David A.X. Journal: Software testing, verification & reliability Issue: Volume 26:Number 1(2016) Page Start: 19 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
166. Incremental testing of finite state machines. (10th April 2012) Authors: Chaves Pedrosa, Lehilton Lelis; Vieira Moura, Arnaldo Journal: Software testing, verification & reliability Issue: Volume 23:Number 8(2013) Page Start: 585 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
167. Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers. (19th August 2021) Authors: Nguyen, Thuy; Tomita, Takashi; Endo, Junpei; Aoki, Toshiaki Journal: Software testing, verification & reliability Issue: Volume 31:Number 8(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
168. Integration testing and metamorphic testing. (9th May 2022) Authors: Le Traon, Yves; Xie, Tao 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) ↗
169. Introduction to the special issue on Mutation Testing. (August 2015) Authors: Jia, Yue; Merayo, Mercedes; Harman, Mark Other Names: Jia Yue guestEditor.; Merayo Mercedes guestEditor.; Harman Mark guestEditor. Journal: Software testing, verification & reliability Issue: Volume 25:Number 5/7(2015) Page Start: 461 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
170. Is paper reviewing a transaction, a service, or an opportunity?. (June 2017) Authors: Offutt, Jeff 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) ↗