Test Case Generation for Ethereum Smart Contract based on Data Dependency Analysis of State Variable
Abstract: An Ethereum smart contract is an agreement reached by multiple parties, which is guaranteed by blockchain technology to be executed in accordance with the terms expressed in the form of code ...
Abstract: Energy harvesting enables the supply of low-power embedded sensor systems that perform important tasks, such as condition monitoring. In applications with rotating elements, like bearings, ...
RAPID CITY, S.D. — The stretch of Interstate 90 from Tilford to Sturgis will be the second location in South Dakota with a variable speed limit - or vsl - system. Winter-related crash rates and input ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results