Taylor T Johnson - ICSE 2020

Wed 24 June - Thu 16 July 2020

Registered user since Tue 19 Dec 2017

Name:Taylor T Johnson

Country:United States

Affiliation:Vanderbilt University

Research interests:formal methods, cyber-physical systems, real-time systems, software engineering, distributed systems

Contributions

ICSE 2020	Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI) SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink
Show activities from other conferences