Author of the publication

Feedback-directed unit test generation for C/C++ using concolic execution.

, , , , and . ICSE, page 132-141. IEEE Computer Society, (2013)

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

NCDSearch: Sliding Window-Based Code Clone Search Using Lempel-Ziv Jaccard Distance., , , , and . IEICE Trans. Inf. Syst., 105-D (5): 973-981 (2022)Modeling and Analyzing the Interaction of C and C++ Strings., , , , , and . FoVeOOS, volume 7421 of Lecture Notes in Computer Science, page 67-85. Springer, (2011)Cloned Buggy Code Detection in Practice Using Normalized Compression Distance., , , and . ICSME, page 591-594. IEEE Computer Society, (2018)Interprocedural Exception Analysis for C++., , , , and . ECOOP, volume 6813 of Lecture Notes in Computer Science, page 583-608. Springer, (2011)ARC++: effective typestate and lifetime dependency analysis., , , , , and . ISSTA, page 116-126. ACM, (2014)Policy transition mechanism: a new approach to multi-mode management., , , and . NOMS (2), page 191-204. IEEE, (2004)Policy-based Cooperation of Services in Ubiquitous Environments., , , , and . Integrated Network Management, volume 246 of IFIP Conference Proceedings, page 139-142. Kluwer, (2003)DC2: A framework for scalable, scope-bounded software verification., , , , , , , and . ASE, page 133-142. IEEE Computer Society, (2011)Feedback-directed unit test generation for C/C++ using concolic execution., , , , and . ICSE, page 132-141. IEEE Computer Society, (2013)An Analysis Method for the Improvement of Reliability and Performance in Policy-Based Management Systems., and . DSOM, volume 3278 of Lecture Notes in Computer Science, page 88-99. Springer, (2004)