Author of the publication

Modeling Input Space for Testing Scientific Computational Software: A Case Study.

, , , and . ICCS (3), volume 5103 of Lecture Notes in Computer Science, page 291-300. Springer, (2008)

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

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)Statistical Testing of Software Based on a Usage Model., , and . Softw. Pract. Exp., 25 (1): 97-108 (1995)Workshop on advances in model-based software testing., , and . ICSE, page 680. ACM, (2005)Generating transition probabilities to support model-based software testing., and . Softw. Pract. Exp., 30 (10): 1095-1106 (2000)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)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)