Rahul Gopinath, Eric Walkingshaw. How Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations. In 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017. pages 122-127, IEEE Computer Society, 2017. [doi]
Abstract is missing.