×
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 ...
We present Yogi, a tool that checks properties of C programs by combining static analysis and testing. Yogi implements the Dash algorithm which performs ...
#static analysis · #testing · Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
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.
People also ask
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. AV Nori, SK Rajamani, SD Tetali, AV Thakur. International Conference on Tools and ...
... The Yogi project: Software property checking via static analysis and testing. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 178 ...