Author:
Aydin Abdulbaki,Bang Lucas,Bultan Tevfik
Publisher
Springer International Publishing
Reference40 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2014
2. Alkhalaf, M., Aydin, A., Bultan, T.: Semantic differential repair for input validation and sanitization. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp. 225–236 (2014)
3. Alkhalaf, M., Bultan, T., Gallegos, J.L.: Verifying client-side input validation functions using string analysis. In: Proceedings of the 34th International Conference on Software Engineering (ICSE), pp. 947–957 (2012)
4. Bartzis, C., Bultan, T.: Efficient symbolic representations for arithmetic constraints in verification. Int. J. Found. Comput. Sci. 14(4), 605–624 (2003)
5. Biggs, N.: Algebraic Graph Theory. Cambridge University Press, Cambridge Mathematical Library, Cambridge (1993)
Cited by
64 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Rigorous Assessment of Model Inference Accuracy using Language Cardinality;ACM Transactions on Software Engineering and Methodology;2024-01-16
2. Solving String Constraints with Lengths by Stabilization;Proceedings of the ACM on Programming Languages;2023-10-16
3. Quantitative Policy Repair for Access Control on the Cloud;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
4. Quantitative Symbolic Similarity Analysis;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
5. Rare Path Guided Fuzzing;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12