Stéphane Chatty, Mathieu Magnaudet, Daniel Prun. Verification of properties of interactive components from their executable code. In Michael Nebeling, Jürgen Ziegler 0001, Laurence Nigay, editors, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2015, Duisburg, Germany, June 23-26, 2015. pages 276-285, ACM, 2015. [doi]
Abstract is missing.