Static Infinite Wait Anomaly Detection in Polynomial Time. - Stephen P. Masticola; Barbara G. Ryder (ICPP (2), 1990)

A Model of Ada Programs for Static Deadlock Detection in Polynomial Time. - Stephen P. Masticola; Barbara G. Ryder (Workshop on Parallel and Distributed Debugging, 1991)

Static Analysis: Hard Real Time is Hard, "Big Time!". - Stephen P. Masticola; Thomas J. Marlowe (NATO ASI RTC, 1992)

Non-concurrency Analysis. - Stephen P. Masticola; Barbara G. Ryder (PPoPP, 1993)

Schedulability-Analyzable Exception Handling for Fault-Tolerant Real-Time Languages. - Thomas J. Marlowe; Alexander D. Stoyenko; Stephen P. Masticola; Lonnie R. Welch (Real Time Syst., 1994)

ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, 1994 (Summary of the Workshop). - Azer Bestavros; Richard Gerber 001; Stephen P. Masticola (ACM SIGPLAN Notices, 1994)

Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems. - Stephen P. Masticola; Thomas J. Marlowe; Barbara G. Ryder (ACM Trans. Program. Lang. Syst., 1995)

Model-Based Scalability Estimation in Inception-Phase Software Architecture. - Stephen P. Masticola; Andre B. Bondi; Mark Hettish (MoDELS, 2005)

Lightweight Risk Mitigation for Software Development Projects Using Repository Mining. - Stephen P. Masticola (MSR, 2007)

Vision: Testing of Mechatronics Software using Agile Simulation. - Stephen P. Masticola; Michael Gall (AST, 2008)

Expanding, theory, and practice: Report on the 4th International Workshop on the Automation of Software Test. - Dimitris Dranidis; Stephen P. Masticola; Paul A. Strooper (ICSE Companion, 2009)

Challenges in practice: 4th international workshop on the automation of software test report. - Dimitris Dranidis; Stephen P. Masticola; Paul A. Strooper (ACM SIGSOFT Softw. Eng. Notes, 2009)

Test Framework Architectures for Model-Based Embedded System Testing. - Stephen P. Masticola; Michael Gall (Model-Based Testing for Embedded Systems, 2011)

Automation of software test (AST '09) [Editorial]. - Dimitris Dranidis; Stephen P. Masticola; Hong Zhu 002 (IET Softw., 2011)