A hybrid automaton modeling approach that incorporates state space partitioning, phase dynamic modeling and control law synthesis by control strategy is utilize
This paper develops an improved structural software complexity metrics named information flow complexity which is closely related to the reliability of software
Although mutation testing is one of the practical ways of enhancing test effectiveness in software testing, it could be sometimes infeasible in practical work f
A self-developed welding dynamic arc wavelet analyzer was adopted to analyze and assess the welding process of two CO2 arc welding machines. The experimental re