We present Yogi, a tool that checks properties of C programs by combining static analysis and testing. Yogi implements the Dash algorithm which performs ...
Abstract. We present Yogi, a tool that checks properties of C pro- grams by combining static analysis and testing. Yogi implements the.
Mar 1, 2009 · We present Yogi, a tool that checks properties of C programs by combining static analysis and testing. Yogi implements the Dash algorithm ...
Nov 21, 2024 · We present Yogi, a tool that checks properties of C programs by combining static analysis and testing. Yogi implements the Dash algorithm ...
BibSLEIGH — The YogiProject: Software Property Checking via ...
bibtex.github.io › TACAS-2009-NoriRTT
#static analysis · #testing · Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
People also ask
What is static analysis in software testing?
What are the static and dynamic software testing?
2009 · The Yogi Project: Software Property Checking via Static Analysis and Testing · Compositional May-Must Program Analysis: Unleashing The Power of Alternation.
The Yogi Project: Software Property Checking via Static Analysis and Testing by Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur.
Download ppt "The Yogi Project Software property checking via static analysis and testing Aditya V. Nori, Sriram K. Rajamani, Sai Deep Tetali, Aditya V. Thakur ...
... The Yogi project: Software property checking via static analysis and testing. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 178 ...
We present Yogi, a tool that checks properties of C programs by combining static analysis and testing. Yogi implements the Dash algorithm which performs ...