Author of the publication

Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification.

, , , , , and . JRNAL, 6 (3): 143-147 (2019)

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

Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs., , , , and . JRNAL, 1 (2): 111-115 (2014)Implementation of Arduino Simulator ADVIS Visualizing the Value of Voltage on the Circuit., , , , , and . JRNAL, 5 (4): 249-252 (2019)Utilizing the Similarity Meaning of Label in Class Cohesion Calculation., , , , , and . J. Robotics Netw. Artif. Life, 7 (4): 270-274 (2021)Study of Filter Sharing Method Using Virtual Peers in P2P Networks., , , , and . AINA, page 720-726. IEEE Computer Society, (2015)Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification., , , , , and . JRNAL, 6 (3): 143-147 (2019)Evaluation of Index Poisoning Method in Large Scale Winny Network., , , , , and . EIDWT, volume 17 of Lecture Notes on Data Engineering and Communications Technologies, page 999-1006. Springer, (2018)Implementation of Tamias to Check Production Rules for Parsing Expression Grammar., , , , , and . JRNAL, 6 (2): 123-127 (2019)Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs., , , , , and . JRNAL, 1 (4): 299-302 (2015)Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net., , , , and . JRNAL, 1 (3): 207-211 (2014)Prototype of a Decision Table Generation Tool from the Formal Specification., , , , , and . JRNAL, 2 (3): 205-208 (2015)