Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Taylor T Johnson

Registered user since Tue 19 Dec 2017

Name: Taylor T Johnson

Country: United States

Affiliation: Vanderbilt University

Personal website: http://www.TaylorTJohnson.com

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


ICSE 2020Author of Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI) within the Demonstrations-track
Author of SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink within the Technical Papers-track
Show activities from other conferences

ICSE 2020-profile
View general profile