Author:
Wasylkowski Andrzej,Zeller Andreas
Publisher
Springer Science and Business Media LLC
Reference49 articles.
1. Acharya, M., Xie, T., Xu, J.: Mining interface specifications for generating checkable robustness properties. In: ISSRE 2006: Proceedings of the 17th International Symposium on Software Reliability Engineering, pp. 311–320. IEEE Computer Society, Los Alamitos (2006)
2. Acharya, M., Xie, T., Pei, J., Xu, J.: Mining API patterns as partial orders from source code: from usage scenarios to specifications. In: ESEC-FSE 2007: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, pp. 25–34. ACM, New York (2007)
3. Alur, R., Černý, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for Java classes. In: POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 98–109. ACM, New York (2005)
4. Ammons, G., Bodík, R., Larus, J.R.: Mining specifications. In: POPL 2002: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 4–16. ACM, New York, (2002)
5. Antoy, S., Hamlet, D.: Automatically checking an implementation against its formal specification. IEEE Trans. Softw. Eng. 26(1), 55–69 (2000)
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning Branching-Time Properties in CTL and ATL via Constraint Solving;Lecture Notes in Computer Science;2024-09-11
2. API Misuse Detection via Probabilistic Graphical Model;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
3. Boosting API Misuse Detection via Integrating API Constraints from Multiple Sources;Proceedings of the 21st International Conference on Mining Software Repositories;2024-04-15
4. Poirot: Deep Learning for API Misuse Detection;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14
5. Scaling Code Pattern Inference with Interactive What-If Analysis;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12