An empirical investigation into path divergences for concolic execution using CREST

E-ISSN： 1939-0122|8|18|3667-3681

ISSN： 1939-0114

Source： SECURITY AND COMMUNICATION NETWORKS (ELECTRONIC), Vol.8, Iss.18, 2015-12, pp. : 3667-3681

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Selection rules based on divergences

By Berlinet A.

Statistics, Vol. 45, Iss. 5, 2011-10 ,pp. : 479-495

Taylor & Francis Ltd

Access to resources Recommend Favorite

The objectification of the right-angled triangle in the teaching of the Pythagorean Theorem: an empirical investigation

By Moutsios-Rentzos Andreas Spyrou Panagiotis Peteinara Alexandra

Educational Studies in Mathematics, Vol. 85, Iss. 1, 2014-01 ,pp. : 29-51

Springer Publishing Company

Access to resources Recommend Favorite

The agreement process: an empirical investigation of human–human computer-mediated collaborative dialogs

By Di Eugenio B. Jordan P.W. Thomason R.H. Moore J.D.

International Journal of Human-Computer Studies, Vol. 53, Iss. 6, 2000-12 ,pp. : 1017-1076

Academic Press

Access to resources Recommend Favorite

Cancellation of Infrared Divergences at Finite Temperature

By Indumathi D.

Annals of Physics, Vol. 263, Iss. 2, 1998-03 ,pp. : 310-339

Elsevier

Access to resources Recommend Favorite

JERS-1 SAR mosaics of Southeast Asia using calibrated path images

By Shimada M. Isoguchi O.

International Journal of Remote Sensing, Vol. 23, Iss. 7, 2002-04 ,pp. : 1507-1526

Taylor & Francis Ltd

Access to resources Recommend Favorite