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
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

ICSE 2020-profile
View general profile