Towards an Integrated, Model-Based Codesign Environment. - Steven J. Cunning; T. C. Ewing; J. T. Olson; Jerzy W. Rozenblit; Stephan Schulz 002 (ECBS, 1999)

Test Scenario Generation from a Structured Requirements Specification. - Steven J. Cunning; Jerzy W. Rozenblit (ECBS, 1999)

An Embedded System's Design Verification Using Object-Oriented Simulation. - Steven J. Cunning; Stephan Schulz 002; Jerzy W. Rozenblit (Simul., 1999)

Synthesis of High-Level Requirements Models for Automatic Test Generation. - P. Gupta; Steven J. Cunning; Jerzy W. Rozenblit (ECBS, 2001)

Automating test generation for discrete event oriented embedded systems. - Steven J. Cunning; Jerzy W. Rozenblit (J. Intell. Robotic Syst., 2005)