Learning via Queries to an Oracle. - William I. Gasarch; Mark G. Pleszkoch (COLT, 1989)

Learning Via Queries in [+, <]. - William I. Gasarch; Mark G. Pleszkoch; Robert Solovay (COLT, 1990)

Learning Via Queries With Teams and Anomilies. - Efim B. Kinber; William I. Gasarch; Thomas Zeugmann; Mark G. Pleszkoch; Carl H. Smith (COLT, 1990)

Using Function Abstraction to Understand Program Behavior. - Philip A. Hausler; Mark G. Pleszkoch; Richard C. Linger; Alan R. Hevner (IEEE Softw., 1990)

Eliminating non-traversable paths from structured programs. - Mark G. Pleszkoch; Richard C. Linger; Alan R. Hevner (ICSM, 1992)

Learning vi Queries in [+, <]. - William I. Gasarch; Mark G. Pleszkoch; Robert Solovay (J. Symb. Log., 1992)

Classification Using Information. - William I. Gasarch; Mark G. Pleszkoch; Mahendran Velauthapillai (AII/ALT, 1994)

Learning via Queries with Teams and Anomalies. - William I. Gasarch; Efim B. Kinber; Mark G. Pleszkoch; Carl H. Smith; Thomas Zeugmann (Fundam. Informaticae, 1995)

The incremental development process in Cleanroom software engineering. - Carmen J. Trammell; Mark G. Pleszkoch; Richard C. Linger; Alan R. Hevner (Decis. Support Syst., 1996)

Classification Using Information. - William I. Gasarch; Mark G. Pleszkoch; Frank Stephan 001; Mahendran Velauthapillai (Ann. Math. Artif. Intell., 1998)

Automated Detection of Injected Faults in a Differential Equation Solver Network Systems Development. - Richard C. Linger; Alan R. Hevner; Gwendolyn H. Walton; Mark G. Pleszkoch (HASE, 2004)

Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems. - Richard C. Linger; Mark G. Pleszkoch (HASE, 2004)

Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior. - Mark G. Pleszkoch; Richard C. Linger (HICSS, 2004)

Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior. - Richard C. Linger; Mark G. Pleszkoch; Luanne Burns; Alan R. Hevner; Gwendolyn H. Walton (HICSS, 2007)

A Semantic Recognizer Infrastructure for Computing Loop Behavior. - Ali Mili 001; Tim Daly; Mark G. Pleszkoch; Stacy J. Prowell (HICSS, 2007)

Introducing function extraction into software testing. - Mark G. Pleszkoch; Richard C. Linger; Alan R. Hevner (Data Base, 2008)

Computing the behavior of malware. - Richard C. Linger; Mark G. Pleszkoch; Kirk Sayre; Tim Daly (CSIIRW, 2010)

Behavior computation for smart grid software analysis. - Richard C. Linger; Mark G. Pleszkoch; Stacy J. Prowell; Kirk Sayre (CSIIRW, 2011)

Function Extraction Technology: Computing the Behavior of Malware. - Richard C. Linger; Kirk Sayre; Tim Daly; Mark G. Pleszkoch (HICSS, 2011)

Automated Behavior Computation for Software Analysis and Validation. - Mark G. Pleszkoch; Richard C. Linger; Stacy J. Prowell; Kirk Sayre; Luanne Burns (HICSS, 2012)

Automated vulnerability detection for compiled smart grid software. - Stacy J. Prowell; Mark G. Pleszkoch; Kirk Sayre; Richard C. Linger (ISGT, 2012)

Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstration. - Richard C. Linger; Mark G. Pleszkoch; Stacy J. Prowell; Kirk Sayre; T. Scott Ankrum (CSIIRW, 2013)

Controlling Combinatorial Complexity in Software and Malware Behavior Computation. - Mark G. Pleszkoch; Rick Linger (CISR, 2015)

"Function Extraction: A New Paradigm for Producing Secure Code". - Richard C. Linger; Mark G. Pleszkoch; Jack McGaughey; John McHugh; Wided Ghardallou; Ali Mili 001 (NSPW, 2024)

Invariant relations for affine loops. - Wided Ghardallou; Hessamaldin Mohammadi; Richard C. Linger; Mark G. Pleszkoch; Ji Meng Loh; Ali Mili 001 (Acta Informatica, 2024)