TzuYu: Learning stateful typestates. Xiao, H., Sun, J., Liu, Y., Lin, S., & Sun, C. In Proceedings of Automated Software Engineering (ASE), pages 432-442, 2013.
TzuYu: Learning stateful typestates [link]Paper  TzuYu: Learning stateful typestates [pdf]Paper  bibtex   

Downloads: 0