Next Conference
ASE '24
- Sponsor:
- sigsoft online
- sigai
Abstract
No abstract available.
Cited By
-
Li S, zheng c, Yang S, Xiao W and Leng L (2023). A construction method for communication APP security portrait based on flawed API International Conference on Electronic Information Technology (EIT 2023), 10.1117/12.2685958, 9781510666610, (200)
-
Hazimeh A, Herrera A and Payer M (2020). Magma, Proceedings of the ACM on Measurement and Analysis of Computing Systems, 10.1145/3428334, 4:3, (1-29), Online publication date: 30-Nov-2020.
- Pan L, Cui B, Liu H, Yan J, Wang S, Yan J and Zhang J Static asynchronous component misuse detection for Android applications Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (952-963)
-
Mitsch S and Platzer A (2017). The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving, Electronic Proceedings in Theoretical Computer Science, 10.4204/EPTCS.240.5, 240, (67-81)
Index Terms
- Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering
Recommendations
Acceptance Rates
Overall Acceptance Rate82of337submissions,24%
Year | Submitted | Accepted | Rate |
---|---|---|---|
ASE '14 | 337 | 82 | 24% |
Overall | 337 | 82 | 24% |