Effective and efficient API misuse detection via exception propagation and search-based testing

Publication
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis