Open Access
| Issue |
E3S Web Conf.
Volume 460, 2023
International Scientific Conference on Biotechnology and Food Technology (BFT-2023)
|
|
|---|---|---|
| Article Number | 04029 | |
| Number of page(s) | 15 | |
| Section | IoT, Big Data and AI in Food Industry | |
| DOI | https://doi.org/10.1051/e3sconf/202346004029 | |
| Published online | 11 December 2023 | |
- N.I. V’yukova, V.A. Galatenko, S.V. Samborskii, Dynamic Program Analysis Tools in GCC and CLANG Compilers, Program Comput Soft, 46, 281–296 (2020) https://doi.org/10.1134/S0361768820010089 [Google Scholar]
- Chen Zhe, Yan Junqi, Kan Shuanglong, Qian Ju, Xue Jingling, Detecting memory errors at runtime with source-level instrumentation, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, ACM, July 15-19, 341–351 (2019) DOI: 10.1145/3293882.3330581 [CrossRef] [Google Scholar]
- J. Heinen, C. Jansen, J.-P. Katoen, T. Noll, Verifying pointer programs using graph grammars, Science of Computer Programming, Special Issue on New Ideas and Emerging Results in Understanding Software, 97, 157–162 (2015) [Google Scholar]
- S. Asryan, S. Gaissaryan, Kurmangaleev, Shamil, Aghabalyan, A., Hovsepyan, Nvard, Sargsyan, Sevak, Dynamic Detection of Use-After-Free Bugs, Programming and Computer Software, 45, 365–371 (2019) DOI: 10.1134/S0361768819070028. [CrossRef] [Google Scholar]
- A.M. Dergachev, D.S. Sadyrin, A.G. Ilina, I.P. Loginov, Iu.D. Korenkov, Verification of dynamic memory allocators based on symbolic program execution, Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 20 (1), 101–109 (2020) DOI: 10.17586/2226-1494-2020-20-1-101-109 [CrossRef] [Google Scholar]
- M. Češka, P. Erlebach, T. Vojnar, Pattern-Based Verification of Programs with Extended Linear Linked Data Structures, Electronic Notes in Theoretical Computer Science, Proceedings of the 5th Internationale Workshop on Automated Verification of Critical Systems, AVoCS 2005, 145, 113–130 (2006) [Google Scholar]
- Vishal Pradhan, Ajay Kumar, Joydip Dhar Chapter 7 - Emerging trends and future directions in software reliability growth modeling, In Advances in Reliability Science, Engineering Reliability and Risk Assessment, ISBN 9780323919432, 131–144 (2023) DOI: 10.1016/B978-0-323-91943-2.00011-3 [CrossRef] [Google Scholar]
- D. Kharitonov, G. Tarasov, Modeling function calls in program control flow in terms of Petri Nets, Advances in Computer Science: an International Journal, 3 (6), 82–91 (2014) [Google Scholar]
- D.I. Kharitonov, E.A. Golenkov, G.V. Tarasov, D.V. Leontyev, A Method of Sample Models of Program Construction in Terms of Petri Nets, Modeling and Analysis of Information Systems, 22 (4), 563–577 (2015) DOI: 10.18255/1818-1015-2015-4-563-577 [CrossRef] [Google Scholar]
- Instrumentation Framework for Building Dynamic Analysis Tools http://valgrind.org/ (Last accessed 11.09.2023) [Google Scholar]
- A.Y. Gerasimov, D.O. Kuts, A.A. Novikov, A Formal Model for Detect- ing Bugs by Symbolic Execution of Programs, Program Comput Soft, 46, 731–736 (2020) DOI: 10.1134/S0361768820080046 [CrossRef] [Google Scholar]
- Xie Yichen, Chou Andy, Engler Dawson, ARCHER: using symbolic, path- sensitive analysis to detect memory access errors, ACM SIGSOFT Software Engineering Notes, 28, 327 (2003) https://doi.org/10.1145/949952.940115. [CrossRef] [Google Scholar]
- M. del Mar Gallardo, P. Merino, D. Sanan, Model checking dy- namic memory allocation in operating systems, J Autom Reasoning, Apr., 42 (2-4), 229–264 (2009) [CrossRef] [Google Scholar]
- A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone, C. Sofronis, Multiple Viewpoint Contract-Based Specification and Design, Formal Methods for Components and Objects. FMCO Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 5382 (2007) https://doi.org/10.1007/978-3-540-92188-2_9 [Google Scholar]
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.