An empirical evaluation of fault-proneness models - Denaro, Giovanni; Pezzè, Mauro (Proceedings - International Conference on Software Engineering, 2002)
Keywords: Applied sciences; Computer science; control theory; systems; Exact sciences and technology; Software; Software and its engineering -- Software creation and management -- Software verification and validation -- Software defect analysis -- Software testing and debugging; Software and its engineering -- Software organization and properties -- Software functional properties -- Formal methods -- Model checking; Software engineering; Theory of computation -- Logic -- Verification by model checking; Theory of computation -- Semantics and reasoning -- Program reasoning -- Program verification; testing process; cross-validation; fault-proneness models; logistic regression; principal component analysis; software faultiness; software metrics; software process; Logistic regression; Software metrics; Test; Software process improvement; Resource allocation; Software package; Cross validation; Multivariate analysis; Principal component analysis