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

CTRAS: a tool for aggregating and summarizing crowdsourced test reports

2019 ◽  
Author(s):  
Yuying Li ◽  
Rui Hao ◽  
Yang Feng ◽  
James A. Jones ◽  
Xiaofang Zhang ◽  
...  

From typestate verification to interpretable deep models (invited talk abstract)

2019 ◽  
Author(s):  
Eran Yahav ◽  
Stephen J. Fink ◽  
Nurit Dor ◽  
G. Ramalingam ◽  
Emmanuel Geay

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

DeepHunter: a coverage-guided fuzz testing framework for deep neural networks

2019 ◽  
Author(s):  
Xiaofei Xie ◽  
Lei Ma ◽  
Felix Juefei-Xu ◽  
Minhui Xue ◽  
Hongxu Chen ◽  
...  
Keyword(s):  
Neural Networks ◽  
Deep Neural Networks ◽  
Testing Framework ◽  
Fuzz Testing

Root causing flaky tests in a large-scale industrial setting

2019 ◽  
Author(s):  
Wing Lam ◽  
Patrice Godefroid ◽  
Suman Nath ◽  
Anirudh Santhiar ◽  
Suresh Thummalapenta
Keyword(s):  
Large Scale ◽  
Industrial Setting
Load More ...
Sign in / Sign up

Export Citation Format

Share Document