Sohil Lal Shrestha

Wed 24 June - Thu 16 July 2020

Registered user since Fri 24 Jan 2020

Name: Sohil Lal Shrestha

Country: United States

Affiliation: The University of Texas at Arlington

Personal website: http://50417.github.io

Research interests: Software Engineering, Deep Learning, Natural Language Processing

Contributions

ICSE 2020	Automatic Generation of Simulink Models to Find Bugs in Cyber-Physical System Tool Chain using Deep Learning SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI)
Show activities from other conferences