A figure of merit for assertions in verification. - Samuel Hertz; Debjit Pal; Spencer Offenberger; Shobha Vasudevan (ASP-DAC, 2019)

Initial Validation of the Cybersecurity Concept Inventory: Pilot Testing and Expert Review. - Spencer Offenberger; Geoffrey L. Herman; Peter Peterson; Alan T. Sherman; Enis Golaszewski; Travis Scheponik; Linda Oliva (FIE, 2019)

Investigating Crowdsourcing to Generate Distractors for Multiple-Choice Assessments. - Travis Scheponik; Enis Golaszewski; Geoffrey L. Herman; Spencer Offenberger; Linda Oliva; Peter A. H. Peterson; Alan T. Sherman (NCS, 2019)

The CATS Hackathon: Creating and Refining Test Items for Cybersecurity Concept Inventories. - Alan T. Sherman; Josiah Dykstra; Gregory V. Bard; Ankur Chattopadhyay; Filipo Sharevski; Rakesh M. Verma; Ryan Vrecenar; Linda Oliva; Enis Golaszewski; Dhananjay S. Phatak; Travis Scheponik; Geoffrey L. Herman; et al. (IEEE Secur. Priv., 2019)

Assertion Ranking Using RTL Source Code Analysis. - Debjit Pal; Spencer Offenberger; Shobha Vasudevan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)