Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019
Latest Publications

TOTAL DOCUMENTS

53
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By ACM Press

9781450362245
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Semantic fuzzing with zest

2019 ◽  
Author(s):  
Rohan Padhye ◽  
Caroline Lemieux ◽  
Koushik Sen ◽  
Mike Papadakis ◽  
Yves Le Traon

scholarly journals SAFEVM: a safety verifier for Ethereum smart contracts

2019 ◽  
Author(s):  
Elvira Albert ◽  
Jesús Correas ◽  
Pablo Gordillo ◽  
Guillermo Román-Díez ◽  
Albert Rubio
Keyword(s):  
Smart Contracts
Load More ...
Sign in / Sign up

Export Citation Format

Share Document