9Andersson C,Runeson P.A Replicated Quanitative Analysis of Fault Distributions in Complex Software System[J].IEEE Transactions on Software Engineering,2007,5 (33):273-286. 被引量:1
10Cordy M,Classen A,Perrouin G,et al.Simulation-based abstractions for software product-line model checking[C] //Proceeding of the 2012 International Conference on Software Engineering.Zurich,Switzerland,2012:672-682. 被引量:1