Jan Obdrzálek, Jiri Slaby, Marek Trtík. STANSE: Bug-Finding Framework for C Programs. In Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos, editors, Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers. Volume 7119 of Lecture Notes in Computer Science, pages 167-178, Springer, 2011. [doi]
Abstract is missing.