Rule-Based Test Input Generation from Bytecode | IEEE Conference Publication | IEEE Xplore