Corina S. Pasareanu. On the probabilistic analysis of software (invited talk abstract). In Guoqing (Harry) Xu, Tao Xie, Shan Lu, Dongmei Zhang, Santosh Nagarakatte, Christoph Csallner, editors, Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, Debugging, and Analytics (PERTEA), WODA+PERTEA 2014, San Jose, CA, USA, July 22, 2014. pages 10, ACM, 2014. [doi]
Abstract is missing.