C. Csallner

Check 'n' crash: combining static checking and testing

C. Csallner, Y. Smaragdakis, Y. Smaragdakis, 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..