Author:
Alam Md. Imran,Halder Raju,Pinto Jorge Sousa
Funder
Science and Engineering Research Board
Subject
Hardware and Architecture,Information Systems,Software
Reference73 articles.
1. Abdulla, P.A., Aiswarya, C., Atig, M.F., Montali, M., Rezine, O., 2016. Recency-bounded verification of dynamic database-driven systems. In: Proceedings of the 35th ACM SIGMOD. pp. 195–210.
2. An assertion-based proof system for multithreaded java;Ábrahám;TCS,2005
3. Deductive software verification–the key book;Ahrendt;Lecture Notes in Comput. Sci.,2016
4. Finding bugs in web applications using dynamic test generation and explicit-state model checking;Artzi;IEEE TSE,2010
5. Simple generation of static single-assignment form;Aycock,2000
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Policy-Based Code Slicing of Database Application Using Semantic Rule-Based Approach;Innovations in Bio-Inspired Computing and Applications;2023
2. Software Testing or The Bugs’ Nightmare;Open Journal of Software Engineering;2021-04-04
3. Tailoring Taint Analysis for Database Applications in the K Framework;Proceedings of the 10th International Conference on Data Science, Technology and Applications;2021