A Method-Level Test Generation Framework for Debugging Big Data Applications | IEEE Conference Publication | IEEE Xplore