Microsoft researchers explore a practical way to build bug-free software | Heykuki News