Pavel Parízek and Ondrej Lhoták: Identifying future field accesses in exhaustive state space traversal. (2011)conf/kbse/ParizekL1110.1109/ASE.2011.6100154Q58028908Identifying future field accesses in exhaustive state space traversal.2Pavel Parízek1Ondrej Lhoták293-102ASEASE20112011provenance information for RDF data of dblp record 'conf/kbse/ParizekL11'2023-03-24T00:02:37+0100