Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing | IEEE Conference Publication | IEEE Xplore