SEAMS 2020
Mon 29 June - Fri 3 July 2020
co-located with ICSE 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