1. An Empirical Study on How Sapienz Achieves Coverage and Crash Detection. Issue 4 (5th December 2021) Authors: Arcuschin, Iván; Galeotti, Juan Pablo; Garbervetsky, Diego Other Names: Bertolino Antonia guestEditor.; Hong Shin guestEditor.; Mathur Aditya P. guestEditor. Journal: Journal of software Issue: Volume 35:Issue 4(2023) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Contention management in federated virtualized distributed systems: implementation and evaluation. (4th September 2013) Authors: Salehi, Mohsen Amini; Toosi, Adel Nadjaran; Buyya, Rajkumar; Garbervetsky, Diego; Kim, Sunghun Journal: Software, practice & experience Issue: Volume 44:Number 3(2014) Page Start: 353 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Developing tools as plug‐ins: TOPI 2012 special issue. (7th January 2014) Authors: Garbervetsky, Diego; Kim, Sunghun; Garbervetsky, Diego; Kim, Sunghun Journal: Software, practice & experience Issue: Volume 44:Number 3(2014) Page Start: 259 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. IDARE—a reference architecture for integrated software environments. (11th June 2013) Authors: Tajalli, Hossein; Medvidović, Nenad; Garbervetsky, Diego; Kim, Sunghun Journal: Software, practice & experience Issue: Volume 44:Number 3(2014) Page Start: 299 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Integrated program verification tools in education. (23rd July 2012) Authors: de, Guido; Garbervetsky, Diego; Gorín, Daniel; Bishop, Judith; Notkin, David Journal: Software, practice & experience Issue: Volume 43:Number 4(2013) Page Start: 403 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Inter‐Cloud architectures and application brokering: taxonomy and survey. (12th December 2012) Authors: Grozev, Nikolay; Buyya, Rajkumar; Garbervetsky, Diego; Kim, Sunghun Journal: Software, practice & experience Issue: Volume 44:Number 3(2014) Page Start: 369 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Plugging in and into code bubbles: the code bubbles architecture. (21st May 2013) Authors: Reiss, Steven P.; Bott, Jared N.; La Viola, Joseph J.; Garbervetsky, Diego; Kim, Sunghun Journal: Software, practice & experience Issue: Volume 44:Number 3(2014) Page Start: 261 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Practical JFSL verification using TACO‡. (11th November 2013) Authors: Chicote, M.; Ciolek, D.; Galeotti, J.P.; Garbervetsky, Diego; Kim, Sunghun Journal: Software, practice & experience Issue: Volume 44:Number 3(2014) Page Start: 317 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Simplicity‐first model‐based plug‐in development. (25th December 2013) Authors: Naujokat, Stefan; Neubauer, Johannes; Lamprecht, Anna‐Lena; Steffen, Bernhard; Jörges, Sven; Margaria, Tiziana; Garbervetsky, Diego; Kim, Sunghun Journal: Software, practice & experience Issue: Volume 44:Number 3(2014) Page Start: 277 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. XML development with plug‐ins as a service. (9th December 2013) Authors: Karus, S.; Garbervetsky, Diego; Kim, Sunghun Journal: Software, practice & experience Issue: Volume 44:Number 3(2014) Page Start: 335 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗