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

Statistical Testing of Software Based on a Usage Model., , and . Softw. Pract. Exp., 25 (1): 97-108 (1995)Foundations of Sequence-Based Software Specification., and . IEEE Trans. Software Eng., 29 (5): 417-429 (2003)Advances in model-based software testing (A-MOST)., , and . ACM SIGSOFT Softw. Eng. Notes, 30 (5): 1-3 (2005)Workshop on advances in model-based software testing., , and . ICSE, page 680. ACM, (2005)Markow Analysis of Software Specifications., and . ACM Trans. Softw. Eng. Methodol., 2 (1): 93-106 (1993)Partition testing with usage models., and . Inf. Softw. Technol., 42 (12): 845-850 (2000)Measuring complexity and coverage of software specifications., and . Inf. Softw. Technol., 42 (12): 859-872 (2000)Generating transition probabilities to support model-based software testing., and . Softw. Pract. Exp., 30 (10): 1095-1106 (2000)A Reliability Estimator for Model Based Software Testing., and . ISSRE, page 53-63. IEEE Computer Society, (2002)Pushing Requirements Changes through to Changes in Specifications., and . TASE, page 289-296. IEEE Computer Society, (2008)