Editorial: How to extend a conference paper to a journal paper.

An introduction is presented which discusses various reports related to model checking and fault prediction including the SemiBoost for the prediction of software defect, the semi-supervised learning technique for software fault detection and the new algorithm for reachability analysis.