From Java to Python: type safety to test safety · HackerTrans