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. 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) ↗
3. 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) ↗
4. 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) ↗
5. Developing analysis and testing plug‐ins for modern IDEs: an experience report1. (3rd October 2012) Authors: Zhao, Dan; Choudhary, Shauvik Roy; Orso, Alessandro; Bishop, Judith; Notkin, David Journal: Software, practice & experience Issue: Volume 43:Number 4(2013) Page Start: 465 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. 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) ↗
7. 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) ↗