A Survey of Search Strategies in the Dynamic Symbolic Execution

Publisher： Edp Sciences

E-ISSN： 2271-2097|12|issue|03025-03025

ISSN： 2271-2097

Source： ITM Web of conferences, Vol.12, Iss.issue, 2017-09, pp. : 03025-03025

Access to resources Favorite

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

Dynamic Modelling of Mechatronic Multibody Systems With Symbolic Computing and Linear Graph Theory

By McPhee John   Schmitke Chad   Redmond Scott  

Mathematical and Computer Modelling of Dynamical Systems, Vol. 10, Iss. 1, 2004-03 ,pp. : 1-23

Taylor & Francis Ltd

Access to resources Recommend Favorite

Symbolic dynamics of tree maps

By Kitchens Bruce  

Journal of Difference Equations and Applications, Vol. 15, Iss. 1, 2009-01 ,pp. : 71-76

Taylor & Francis Ltd

Access to resources Recommend Favorite

Meeting of the association for symbolic logic

By  

The Journal of Symbolic Logic, Vol. 53, Iss. 1, 1988-03 ,pp. : 330-334

Cambridge University Press

Access to resources Recommend Favorite

Association for Symbolic Logic

By  

The Journal of Symbolic Logic, Vol. 47, Iss. 4, 1982-12 ,pp. : 918-950

Cambridge University Press

Access to resources Recommend Favorite

Meeting of the Association for Symbolic Logic

By  

The Journal of Symbolic Logic, Vol. 35, Iss. 2, 1970-06 ,pp. : 352-363

Cambridge University Press

Access to resources Recommend Favorite