formal characterization of and some alternatives to Sympson-Hetter item-exposure control in computerized adaptive testing | lit.salon