SOFTWARE RELIABILITY GROUP

I am a research scientist at Facebook. Previously I was a research associate in the Software Reliability Group at Imperial College London, where I also completed my Ph.D. under the supervision of Dr. Cristian Cadar. My research focuses on symbolic execution-based techniques and tools for automatically testing COTS software. I have developed the ZESTI and KATCH testing tools and the CovRig software evolution analytics framework. Before coming to Imperial, I developed software fault injection techniques and tools in the Dependable Systems Lab at EPFL, Switzerland... Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software (best artifact award) Paul Marinescu, Petr Hosek, Cristian Cadar International Symposium on Software Testing and Analysis (ISSTA 2014)... Paul Marinescu is a Research Scientist at Facebook