131. Fault‐based test generation for regular expressions by mutation. (8th March 2018) Authors: Arcaini, Paolo; Gargantini, Angelo; Riccobene, Elvinia 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) ↗
132. Formal firewall conformance testing: an application of test and proof techniques. (27th August 2014) Authors: Brucker, Achim D.; Brügger, Lukas; Wolff, Burkhart Journal: Software testing, verification & reliability Issue: Volume 25:Number 1(2015:Jan.) Page Start: 34 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
133. Formal specification and analysis of functional properties of graph rewriting‐based model transformation. (7th June 2013) Authors: Asztalos, Márk; Lengyel, László; Levendovszky, Tihamér Other Names: Cavalli Ana guestEditor.; Ghosh Sudipto guestEditor. Journal: Software testing, verification & reliability Issue: Volume 23:Number 5(2013) Page Start: 405 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
134. Fostering the diversity of exploratory testing in web applications. (19th June 2022) Authors: Leveau, Julien; Blanc, Xavier; Réveillère, Laurent; Falleri, Jean‐Rémy; Rouvoy, Romain 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) ↗
135. Fully Automated HTML and JavaScript Rewriting for Constructing a Self‐healing Web Proxy. (14th February 2020) Authors: Durieux, Thomas; Hamadi, Youssef; Monperrus, Martin 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) ↗
136. Functional test generation from UI test scenarios using reinforcement learning for android applications. (5th October 2020) Authors: Koroglu, Yavuz; Sen, Alper Other Names: Alégroth Emil guestEditor.; Ardito Luca guestEditor.; Coppola Riccardo guestEditor.; Feldt Robert guestEditor. Journal: Software testing, verification & reliability Issue: Volume 31:Number 3(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
137. Fuzz testing for digital TV receivers and multitasking control software verification. (7th December 2022) Authors: Le Traon, Yves; Xie, Tao 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) ↗
138. Generating and selecting resilient and maintainable locators for Web automated testing. (31st January 2021) Authors: Nguyen, Vu; To, Thanh; Diep, Gia‐Han Other Names: Alégroth Emil guestEditor.; Ardito Luca guestEditor.; Coppola Riccardo guestEditor.; Feldt Robert guestEditor. Journal: Software testing, verification & reliability Issue: Volume 31:Number 3(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
139. Generating effective test cases based on satisfiability modulo theory solvers for service‐oriented workflow applications. (29th September 2015) Authors: Wang, Hongda; Xing, Jianchun; Yang, Qiliang; Song, Wei; Zhang, Xuewei Journal: Software testing, verification & reliability Issue: Volume 26:Number 2(2016) Page Start: 149 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
140. Globalization – logical flow, motivation, and assumptions. (June 2014) Authors: Offutt, Jeff Journal: Software testing, verification & reliability Issue: Volume 24:Number 4(2014:Oct.) Page Start: 251 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗