Author of the publication

Markow Analysis of Software Specifications.

, and . ACM Trans. Softw. Eng. Methodol., 2 (1): 93-106 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Markov chain model for statistical software testing, and . IEEE Transactions on Software Engineering, 20 (10): 812-824 (1994)Toward a More Reliable Theory of Software Reliability., and . Computer, 33 (12): 36-42 (2000)Why softwarre fails., and . ACM SIGSOFT Softw. Eng. Notes, 24 (4): 81-83 (1999)Prediction of software failures through logistic regression., , and . Inf. Softw. Technol., 46 (12): 781-789 (2004)Why Secure Applications are Difficult to Write.. IEEE Secur. Priv., 1 (2): 81-83 (2003)How to Think about Security., and . IEEE Secur. Priv., 4 (2): 68-71 (2006)Neutralizing windows-based malicious mobile code., and . SAC, page 242-246. ACM, (2002)Software security vulnerability testing in hostile environments., , and . SAC, page 260-264. ACM, (2002)Markow Analysis of Software Specifications., and . ACM Trans. Softw. Eng. Methodol., 2 (1): 93-106 (1993)Software Engineering is Not Enough., and . IEEE Software, 19 (4): 108-115 (2002)