Opart: A hardware-description language for test generation. - József Sziray; Zsolt Nagy (Microprocessing and Microprogramming, 1991)

A Test Calculation Principle for Logic and Timing Faults. - József Sziray (LATW, 2001)

A Test Model for Hardware and Software Systems. - József Sziray (J. Adv. Comput. Intell. Intell. Informatics, 2004)

Test Calculation for Logic and Delay Faults in Digital Circuits. - József Sziray (MTV, 2006)

A Logic Model for Inference Chains in Expert Systems. - József Sziray (Artificial Intelligence and Pattern Recognition, 2007)

Switch-Level Test Calculation for CMOS Circuits. - József Sziray (MTV, 2009)

Test Generation and Computational Complexity. - József Sziray (PRDC, 2011)

A Test Model for Hardware and Software. - József Sziray (PRDC, 2011)

Computational complexity in test-generation algorithms. - József Sziray (IDT, 2014)