291. RepOK‐based reduction of bounded exhaustive testing. (5th October 2014) Authors: Bengolea, Valeria; Aguirre, Nazareno; Marinov, Darko; Frias, Marcelo; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: 629 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
292. RVprio: A tool for prioritizing runtime verification violations. (7th March 2022) Authors: Cabral, Lucas; Miranda, Breno; Lima, Igor; d'Amorim, Marcelo 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) ↗
293. Search‐based crash reproduction using behavioural model seeding. (12th April 2020) Authors: Derakhshanfar, Pouria; Devroey, Xavier; Perrouin, Gilles; Zaidman, Andy; van Deursen, Arie Journal: Software testing, verification & reliability Issue: Volume 30:Number 3(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
294. Search‐based testing using constraint‐based mutation. (30th August 2013) Authors: Malburg, Jan; Fraser, Gordon Journal: Software testing, verification & reliability Issue: Volume 24:Number 6(2014) Page Start: 472 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
295. Seeding strategies in search‐based unit test generation. (7th March 2016) Authors: Rojas, José Miguel; Fraser, Gordon; Arcuri, Andrea Journal: Software testing, verification & reliability Issue: Volume 26:Number 5(2016) Page Start: 366 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
296. Sidereal: Statistical adaptive generation of robust locators for web testing. (25th April 2021) Authors: Leotta, Maurizio; Ricca, Filippo; Tonella, Paolo 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) ↗
297. Simulink fault localization: an iterative statistical debugging approach. (11th May 2016) Authors: Liu, Bing; Nejati, Shiva; Briand, Lionel C.; Bruckmann, Thomas Journal: Software testing, verification & reliability Issue: Volume 26:Number 6(2016) Page Start: 431 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
298. Sound and mechanised compositional verification of input‐output conformance. (14th May 2013) Authors: Sampaio, Augusto; Nogueira, Sidney; Mota, Alexandre; Isobe, Yoshinao Journal: Software testing, verification & reliability Issue: Volume 24:Number 4(2014:Oct.) Page Start: 289 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
299. Special issue for the ICST 2013 conference. (June 2015) Authors: Baudry, Benoit; Orso, Alessandro; Baudry, Benoit; Orso, Alessandro Journal: Software testing, verification & reliability Issue: Volume 25:Number 4(2015:Oct.) Page Start: 333 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
300. Special issue on mutation testing and analysis. (19th February 2019) Authors: Just, René; Krinke, Jens; Li, Nan; Rojas, José Miguel 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) ↗