Combining Symbolic Execution and Model Checking for Data Flow Testing.

Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su

Browse the full ICSE paper archive.