Hyungsub Kim (Purdue University), Muslum Ozgur Ozmen (Purdue University), Antonio Bianchi (Purdue University), Z. Berkay Celik (Purdue University) and Dongyan Xu (Purdue University)
Demo #2: Policy-based Discovery and Patching of Logic Bugs in Robotic Vehicles
View More Papers
Generating Test Suites for GPU Instruction Sets through Mutation...
Shoham Shitrit(University of Rochester) and Sreepathi Pai (University of Rochester)
Read MoreBuilding the VPNalyzer System
Reethika Ramesh (University of Michigan), Leonid Evdokimov (Independent), Diwen Xue, Roya Ensafi (University of Michigan)
Read MoreCOOPER: Testing the Binding Code of Scripting Languages with...
Peng Xu (TCA/SKLCS, Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences), Yanhao Wang (QI-ANXIN Technology Research Institute), Hong Hu (Pennsylvania State University), Purui Su (TCA/SKLCS, Institute of Software, Chinese Academy of Sciences; School of Cyber Security, University of Chinese Academy of Sciences)
Read MoreDemo #5: Securing Heavy Vehicle Diagnostics
Jeremy Daily, David Nnaji, and Ben Ettlinger (Colorado State University)
Read More