INTRODUCTIONをグーグル翻訳で斜め読みしただけだからよくわかんないけど(><;)、Ada的発想で言うなら基本型(? 組み込み型?)であるString型そのまま使うんじゃなく型作れ!><ってなるんでは?><(それじゃだめなの?><)
(PDF) Detecting argument selection defects
ANDREW RICE, University of Cambridge, England and Google Inc., USA
EDWARD AFTANDILIAN, CIERA JASPAN, and EMILY JOHNSTON, Google Inc., USA
MICHAEL PRADEL, TU Darmstadt, Germany
YULISSA ARROYO-PAREDES, Barnard College of Columbia University, USA
https://www.researchgate.net/publication/320388080_Detecting_argument_selection_defects
Windows7のマルチタッチジェスチャを使う - backyard of 伊勢的新常識 https://iseebi.hatenablog.com/entry/20090125/p1