Software dependability demonstration for safety-critical military avionics systems by statistical testing. - Oded Tal (1999)

Reliability demonstration for safety-critical systems. - Oded Tal; Chris McCollin; Tony Bendell (IEEE Trans. Reliab., 2001)

An optimal statistical testing policy for software reliability demonstration of safety-critical systems. - Oded Tal; Chris McCollin; Tony Bendell (Eur. J. Oper. Res., 2002)

Syntax-based Vulnerability Testing of Frame-based Network Protocols. - Oded Tal; Scott Knight; Tom Dean (PST, 2004)