Philip Tanofsky

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Symbolic Execution

Test Generation

Top Venues

Publications

Xiaoyin Wang, Lingming Zhang, Philip Tanofsky
Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE. ISSTA (2015)
Dongseok Ryu, Dugan Um, Philip Tanofsky, Do Hyong Koh, Young Sam Ryu, Sungchul Kang
T-less : A novel touchless human-machine interface based on infrared proximity sensing. IROS (2010)