Author of the publication

An Automated Approach for Goal-driven, Specification-based Testing.

, , , and . ASE, page 289-292. IEEE Computer Society, (2006)

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

ASSURE: automated support for secure and usable requirements engineering., , and . ISSTA, page 279-282. ACM, (2010)Towards leveraging model transformation to support model-based testing., , and . ASE, page 509-512. ACM, (2007)Eliciting required characteristics for usable requirements engineering approaches., , and . SAC, page 360-364. ACM, (2009)Towards supporting the architecture design process through evaluation of design alternatives., , , , , and . ROSATEA, page 81-87. ACM, (2006)Towards traceability of model-based testing artifacts., , and . A-MOST, page 105-114. ACM, (2007)Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios., , , , and . WADS, volume 5135 of Lecture Notes in Computer Science, page 225-247. Springer, (2007)Adaptable Analysis of Dependable System Architectures Through Monitoring., and . WADS, volume 3549 of Lecture Notes in Computer Science, page 122-147. Springer, (2004)The Role of Event Description in Architecting Dependable Systems., and . WADS, volume 2677 of Lecture Notes in Computer Science, page 150-174. Springer, (2002)Applications of symbolic evaluation., and . J. Syst. Softw., 5 (1): 15-35 (1985)In the Requirements Lies the Power., , , and . SEKE, page 185-190. Knowledge Systems Institute Graduate School, (2007)