Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Eddie Lima
conf.researchr.org general profile
ICSE 2022 profile
ICST 2024 profile
ISSTA 2017 profile
Not registered as user
Name:
Eddie Lima
Affiliation:
Samsung Electronics, Brazil
Contributions
2024
ICST
Author of A Fuzzing-Based Test-Creation Approach for Evaluating Digital TV Receivers via Transport Streams within the Journal-First Papers-track
2022
ICSE
Author of ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts within the DEMO - Demonstrations-track
2017
ISSTA
Author of Verifying Digital Systems with MATLAB within the Demonstrations-track
Share
x
Thu 19 Dec 05:38