RoadMapAssembler: a new pattern-based J2EE development tool. - Jun Chen 018; Steve MacDonald (CASCON, 2005)

Choosing Among Alternative Futures. - Steve MacDonald; Jun Chen 018; Diego Novillo (Haifa Verification Conference, 2005)

Exploiting Roles and Responsibilities to Generate Code in a Distributed Design-Pattern-Based Programming System. - Jun Chen 018; Steve MacDonald (PDPTA, 2006)

Deterministically Executing Concurrent Programs for Testing and Debugging. - Steve MacDonald; Jun Chen 018; Diego Novillo (Software Engineering Research and Practice, 2006)

Testing concurrent programs using value schedules. - Jun Chen 018; Steve MacDonald (ASE, 2007)

Towards a better collaboration of static and dynamic analyses for testing concurrent programs. - Jun Chen 018; Steve MacDonald (PADTAD, 2008)

Guided Testing of Concurrent Programs Using Value Schedules. - Jun Chen 018 (2009)