Automated Assertion Generation from Natural Language Specifications. - Steven J. Frederiksen; John Aromando; Michael S. Hsiao (ITC, 2020)

The CS1 Python Bakery: A Modern "Batteries Included" Open-Source Curriculum with All the Fixings. - Austin Cory Bart; Megan Englert; John Aromando; Hye Rin Lee; Teomara Rutherford (ITiCSE (1), 2024)