281. QuickChecking static analysis properties. (September 2017) Authors: Midtgaard, Jan; Møller, Anders 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) ↗
282. Random or evolutionary search for object‐oriented test suite generation?. (30th March 2018) Authors: Shamshiri, Sina; Rojas, José Miguel; Gazzola, Luca; Fraser, Gordon; McMinn, Phil; Mariani, Leonardo; Arcuri, Andrea Journal: Software testing, verification & reliability Issue: Volume 28:Number 4(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
283. Ranking of software engineering metrics by fuzzy‐based matrix methodology. (3rd May 2011) Authors: Garg, R. K.; Sharma, Kapil; Nagpal, C. K.; Garg, Rakesh; Garg, Rajpal; Kumar, Rajive; Sandhya, Journal: Software testing, verification & reliability Issue: Volume 23:Number 2(2013:Apr.) Page Start: 149 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
284. RATE: A model‐based testing approach that combines model refinement and test execution. (18th December 2022) Authors: Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo; Lei, Yu; Duan, Feng Journal: Software testing, verification & reliability Issue: Volume 33:Number 2(2023) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
285. Reducing execution profiles: techniques and benefits. (1st December 2014) Authors: Farjo, Joan; Assi, Rawad Abou; Masri, Wes Journal: Software testing, verification & reliability Issue: Volume 25:Number 2(2015:Apr.) Page Start: 115 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
286. Reducing mutation costs through uncovered mutants. (15th May 2014) Authors: Mateo, Pedro Reales; Usaola, Macario Polo 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: 464 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
287. Reducing the maintenance effort for parameterization of representative load tests using annotations. (16th September 2019) Authors: Schulz, Henning; van Hoorn, André; Wert, Alexander 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) ↗
288. Regression verification: proving the equivalence of similar programs. (21st March 2012) Authors: Godlin, Benny; Strichman, Ofer Journal: Software testing, verification & reliability Issue: Volume 23:Number 3(2013:Jul.) Page Start: 241 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
289. Reliability assessment based on hazard rate model for an embedded OSS porting‐phase. (17th March 2011) Authors: Tamura, Yoshinobu; Yamada, Shigeru Journal: Software testing, verification & reliability Issue: Volume 23:Number 1(2013:Jan.) Page Start: 77 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
290. Remote embedded devices test framework on the cloud. (3rd March 2021) Authors: Choi, Il‐Seok (Benjamin); Jeong, Chang‐Sung 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) ↗