Stem yogi$ (all stems)
2 papers:
- ICSE-2010-NoriR #empirical #optimisation
- An empirical study of optimizations in YOGI (AVN, SKR), pp. 355–364.
- TACAS-2009-NoriRTT #static analysis #testing
- The YogiProject: Software Property Checking via Static Analysis and Testing (AVN, SKR, ST, AVT), pp. 178–181.