A novel quantitative evaluation approach for software project schedules using statistical model checking.

Dehui Du, Mingsong Chen, Xiao Liu, Yun Yang

Browse the full ICSE paper archive.