Gianluca Amato, Maurizio Parton, Francesca Scozzari. A Tool Which Mines Partial Execution Traces to Improve Static Analysis. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 475-479, Springer, 2010. [doi]
Abstract is missing.