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
68 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Toward Declarative Auditing of Java Software for Graceful Exception Handling;Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes;2024-09-13
2. Quantitative Robustness for Vulnerability Assessment;Proceedings of the ACM on Programming Languages;2024-06-20
3. Rigorous Assessment of Model Inference Accuracy using Language Cardinality;ACM Transactions on Software Engineering and Methodology;2024-04-18
4. Solving String Constraints with Lengths by Stabilization;Proceedings of the ACM on Programming Languages;2023-10-16
5. Automated Repair of Unrealisable LTL Specifications Guided by Model Counting;Proceedings of the Genetic and Evolutionary Computation Conference;2023-07-12