Dehui Du, Mingsong Chen, Xiao Liu, Yun Yang. A novel quantitative evaluation approach for software project schedules using statistical model checking. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014. pages 476-479, ACM, 2014. [doi]
Abstract is missing.