Program: 45998
Project: 45998
Buggy source:
@Parameters(name="String_Node_Str") public static Collection<Object[]> parameters(){
  return asList(new Object[][]{{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,null,null,null,null},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,false,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,false,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,false,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,false,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,0),BINARY,OBJECT,true,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,0,0),BINARY,OBJECT,true,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,0,0),newInt(0,1,0),BINARY,OBJECT,true,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(0,0,0),BINARY,OBJECT,true,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,0),BINARY,OBJECT,false,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,0,0),BINARY,OBJECT,false,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,0,0),newInt(0,1,0),BINARY,OBJECT,false,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(0,0,0),BINARY,OBJECT,false,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,1,1),newInt(1,1,1),OBJECT,null,null,null,null},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,1,0),newInt(1,1,1),OBJECT,BINARY,true,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(1,1,1),OBJECT,BINARY,true,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,1,0),newInt(1,1,1),OBJECT,BINARY,true,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(1,1,1),OBJECT,BINARY,true,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,1,0),newInt(1,1,1),OBJECT,BINARY,false,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(1,1,1),OBJECT,BINARY,false,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,1,0),newInt(1,1,1),OBJECT,BINARY,false,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(1,1,1),OBJECT,BINARY,false,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,1,0),newInt(1,1,0),OBJECT,OBJECT,true,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(1,0,0),OBJECT,OBJECT,true,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,1,0),newInt(1,1,0),OBJECT,OBJECT,true,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(1,0,0),OBJECT,OBJECT,true,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,1,0),newInt(1,1,0),OBJECT,OBJECT,false,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(1,0,0),OBJECT,OBJECT,false,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,1,0),newInt(1,1,0),OBJECT,OBJECT,false,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(1,0,0),OBJECT,OBJECT,false,false,CACHE_ON_UPDATE},{GET_ALL,newInt(1,1,1),newInt(0,1,1),newInt(1,0,0),newInt(0,1,1),BINARY,null,null,null,null},{GET_ALL,newInt(1,1,1),newInt(0,1,1),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,true,INVALIDATE},{GET_ALL,newInt(1,1,1),newInt(0,1,1),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,true,CACHE_ON_UPDATE},{GET_ALL,newInt(1,1,0),newInt(0,1,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,false,INVALIDATE},{GET_ALL,newInt(1,0,0),newInt(0,0,0),newInt(2,0,0),newInt(0,1,1),BINARY,BINARY,true,false,CACHE_ON_UPDATE},{GET_ALL,newInt(1,1,1),newInt(0,1,1),newInt(1,1,1),newInt(1,1,1),OBJECT,null,null,null,null},{GET_ALL,newInt(1,1,1),newInt(0,1,1),newInt(1,1,0),newInt(1,1,0),OBJECT,OBJECT,false,true,INVALIDATE},{GET_ALL,newInt(1,1,1),newInt(0,1,1),newInt(1,0,0),newInt(2,0,0),OBJECT,OBJECT,false,true,CACHE_ON_UPDATE},{GET_ALL,newInt(1,1,0),newInt(0,1,0),newInt(1,1,0),newInt(1,1,0),OBJECT,OBJECT,false,false,INVALIDATE},{GET_ALL,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(1,0,0),OBJECT,OBJECT,false,false,CACHE_ON_UPDATE}});
}

Fixed version (ground truth):
@Parameters(name="String_Node_Str") public static Collection<Object[]> parameters(){
  return asList(new Object[][]{{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,null,null,null,null},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,false,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,false,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,false,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,false,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,0),BINARY,OBJECT,true,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,0,0),BINARY,OBJECT,true,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,0,0),newInt(0,1,0),BINARY,OBJECT,true,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(0,0,0),BINARY,OBJECT,true,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,1,0),BINARY,OBJECT,false,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(0,0,0),BINARY,OBJECT,false,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,0,0),newInt(0,1,0),BINARY,OBJECT,false,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(0,0,0),BINARY,OBJECT,false,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,1,1),newInt(1,1,1),OBJECT,null,null,null,null},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,1,0),newInt(1,1,1),OBJECT,BINARY,true,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(1,1,1),OBJECT,BINARY,true,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,1,0),newInt(1,1,1),OBJECT,BINARY,true,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(1,1,1),OBJECT,BINARY,true,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,1,0),newInt(1,1,1),OBJECT,BINARY,false,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(1,1,1),OBJECT,BINARY,false,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,1,0),newInt(1,1,1),OBJECT,BINARY,false,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(1,1,1),OBJECT,BINARY,false,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,1,0),newInt(1,1,0),OBJECT,OBJECT,true,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(1,0,0),OBJECT,OBJECT,true,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,1,0),newInt(1,1,0),OBJECT,OBJECT,true,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(1,0,0),OBJECT,OBJECT,true,false,CACHE_ON_UPDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,1,0),newInt(1,1,0),OBJECT,OBJECT,false,true,INVALIDATE},{GET,newInt(1,1,1),newInt(0,0,0),newInt(1,0,0),newInt(1,0,0),OBJECT,OBJECT,false,true,CACHE_ON_UPDATE},{GET,newInt(1,1,0),newInt(0,0,0),newInt(1,1,0),newInt(1,1,0),OBJECT,OBJECT,false,false,INVALIDATE},{GET,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(1,0,0),OBJECT,OBJECT,false,false,CACHE_ON_UPDATE},{GET_ALL,newInt(1,1,1),newInt(0,1,1),newInt(1,0,0),newInt(0,1,1),BINARY,null,null,null,null},{GET_ALL,newInt(1,1,1),newInt(0,1,1),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,true,INVALIDATE},{GET_ALL,newInt(1,1,1),newInt(0,1,1),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,true,CACHE_ON_UPDATE},{GET_ALL,newInt(1,1,0),newInt(0,0,0),newInt(1,0,0),newInt(0,1,1),BINARY,BINARY,true,false,INVALIDATE},{GET_ALL,newInt(1,0,0),newInt(0,0,0),newInt(2,0,0),newInt(0,1,1),BINARY,BINARY,true,false,CACHE_ON_UPDATE},{GET_ALL,newInt(1,1,1),newInt(0,1,1),newInt(1,1,1),newInt(1,1,1),OBJECT,null,null,null,null},{GET_ALL,newInt(1,1,1),newInt(0,1,1),newInt(1,1,0),newInt(1,1,0),OBJECT,OBJECT,false,true,INVALIDATE},{GET_ALL,newInt(1,1,1),newInt(0,1,1),newInt(1,0,0),newInt(2,0,0),OBJECT,OBJECT,false,true,CACHE_ON_UPDATE},{GET_ALL,newInt(1,1,0),newInt(0,0,0),newInt(1,1,0),newInt(1,1,0),OBJECT,OBJECT,false,false,INVALIDATE},{GET_ALL,newInt(1,0,0),newInt(0,0,0),newInt(1,0,0),newInt(1,0,0),OBJECT,OBJECT,false,false,CACHE_ON_UPDATE}});
}