Millions of smart contracts have been deployed onto Ethereum for providing various services, whose functions can be invoked. For this purpose, the caller needs to know function signature a callee, which includes its id and parameter types. Such signatures are critical many applications focusing on contracts, e.g., reverse engineering, fuzzing, attack detection, profiling. Unfortunately, it is c...

RESTful APIs are a type of web service that widely used in industry. In the last few years, lot effort research community has been spent designing novel techniques to automatically fuzz those find faults them. Many real were found large variety APIs. However, usually analyzed fuzzers treat as black-box, and no analysis what is actually covered these systems done. Therefore, although clearly use...

In the past decade, Deep Learning (DL) systems have been widely deployed in various application domains to facilitate our daily life, e.g., natural language processing, healthcare, activity recognition, and autonomous driving. Meanwhile, it is extremely challenging ensure correctness of DL (e.g., due their intrinsic nondeterminism), bugs can cause serious consequences may even threaten human li...