 እኔ በዚህ ረገድ ለአብነት ያህል ቢቀርብ የመጣጥፌ ማጠንጠኛ ለሆነው ርዕሰ ጉዳይ ጥሩ ማጣቀሻ ይወጣዋል የምለው ዘመናዊ ሙዚቃ ስራም በተለይ እጅጋየሁ ሺባባው (ጂ.
Practically, much of my work to achieve this goal has focused on a symbolic execution engine, called G2, for lazy functional languages (in particular, Haskell.)