Author of the publication

Verifiable Coverage Criteria for Automated Testing.

, , and . SDL Forum, volume 7083 of Lecture Notes in Computer Science, page 79-89. Springer, (2011)

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

Approach to behavior scenarios debugging., , , , and . Autom. Control. Comput. Sci., 49 (7): 430-436 (2015)Verifiable Coverage Criteria for Automated Testing., , and . SDL Forum, volume 7083 of Lecture Notes in Computer Science, page 79-89. Springer, (2011)Requirement Capturing and 3CR Approac., , , , and . COMPSAC, page 279-283. IEEE Computer Society, (2002)Semantics of Message Sequence Charts., , , , , and . SDL Forum, volume 3530 of Lecture Notes in Computer Science, page 117-132. Springer, (2005)A New Approach to Generation and Analysis of Gradient Methods Based on Relaxation Function., , , and . UKSim, page 83-88. IEEE, (2017)Leveraging UML to Deliver Correct Telecom Applications., , , , and . UML for Real, Kluwer, (2003)An approach to creating concretized test scenarios within test automation technology for industrial software projects., , , , and . Autom. Control. Comput. Sci., 47 (7): 433-442 (2013)Multinational Perspectives on Information Technology from Academia and Industry., , , , , , , , , and 3 other author(s). ITiCSE-WGR, page 149-171. ACM, (2015)Distributed OAIS-Based digital preservation system with HDFS technology., , , and . FRUCT, page 491-497. IEEE, (2017)A formal application model for code and test generation., and . Automatic Control and Computer Sciences, 46 (7): 371-378 (2012)