JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs | IEEE Conference Publication | IEEE Xplore