GASE -an input domain reduction and branch coverage system based on Genetic Algorithm and Symbolic Execution | IEEE Conference Publication | IEEE Xplore