Jan Fiedor Vendula Hrubá Bohuslav Krena Tomás Vojnar DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. 375-380 2011 RV http://dx.doi.org/10.1007/978-3-642-29860-8_30 conf/rv/2011 db/conf/rv/rv2011.html#FiedorHKV11