2 × USA
M.Flatt R.B.Findler J.Clements C.Dimoulas C.Eastlund M.Felleisen J.A.McCarthy J.Rafkind S.Tobin-Hochstadt
lightweight (1) research (1) program (1) random (1) mechan (1) higher (1) effect (1) state (1) order (1) test (1)
Person: Casey Klein
Wrote 2 papers:
- POPL-2012-KleinCDEFFMRTF #effectiveness #lightweight #research
- Run your research: on the effectiveness of lightweight mechanization (CK, JC, CD, CE, MF, MF, JAM, JR, STH, RBF), pp. 285–296.
- OOPSLA-2010-KleinFF #higher-order #random testing #source code #testing
- Random testing for higher-order, stateful programs (CK, MF, RBF), pp. 555–566.