1. A study and toolkit of CHECK‐THEN‐ACT idioms of Java concurrent collections. (9th February 2015) Authors: Lin, Yu; Dig, Danny; Baudry, Benoit; Orso, Alessandro Journal: Software testing, verification & reliability Issue: Volume 25:Number 4(2015:Oct.) Page Start: 397 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. An analysis of metamodeling practices for MOF and OCL. (April 2015) Authors: Cadavid, Juan José; Combemale, Benoit; Baudry, Benoit Journal: Computer languages, systems & structures Issue: Volume 41(2015) Page Start: 42 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation. (23rd June 2014) Authors: Hong, Shin; Staats, Matt; Ahn, Jaemin; Kim, Moonzoo; Rothermel, Gregg; Baudry, Benoit; Orso, Alessandro Journal: Software testing, verification & reliability Issue: Volume 25:Number 4(2015:Oct.) Page Start: 334 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Automating the maintenance of nonfunctional system properties using demonstration‐based model transformation. Issue 12 (28th July 2013) Authors: Sun, Yu; Gray, Jeff; Delamare, Romain; Baudry, Benoit; White, Jules Journal: Journal of software Issue: Volume 25:Issue 12(2013) Page Start: 1335 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Coverage‐based regression test case selection, minimization and prioritization: a case study on an industrial system. (7th April 2015) Authors: Nardo, Daniel Di; Alshahwan, Nadia; Briand, Lionel; Labiche, Yvan; Baudry, Benoit; Orso, Alessandro Journal: Software testing, verification & reliability Issue: Volume 25:Number 4(2015:Oct.) Page Start: 371 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Defect prediction as a multiobjective optimization problem. (8th March 2015) Authors: Canfora, Gerardo; Lucia, Andrea De; Penta, Massimiliano Di; Oliveto, Rocco; Panichella, Annibale; Panichella, Sebastiano; Baudry, Benoit; Orso, Alessandro Journal: Software testing, verification & reliability Issue: Volume 25:Number 4(2015:Oct.) Page Start: 426 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Issue Information. (June 2015) Authors: Baudry, Benoit; Orso, Alessandro Journal: Software testing, verification & reliability Issue: Volume 25:Number 4(2015:Oct.) Page Start: i Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Leveraging metamorphic testing to automatically detect inconsistencies in code generator families. (20th December 2019) Authors: Boussaa, Mohamed; Barais, Olivier; Sunyé, Gerson; Baudry, Benoit 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) ↗
9. 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) ↗
10. Towards an automation of the mutation analysis dedicated to model transformation. (25th April 2014) Authors: Aranega, Vincent; Mottu, Jean‐Marie; Etien, Anne; Degueule, Thomas; Baudry, Benoit; Dekeyser, Jean‐Luc 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: 653 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗