Search
	Prototyping symbolic execution engines for interpreted languages Bucur S., Kinder J., Candea G.  ASPLOS 2014 (Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems, Salt Lake City, UT, Mar 1-5, 2014)239-254,2014.Type:Proceedings                     To:   Your Colleague's E-mail:     From:   Your E-mail:     Subject: Reviews: Prototyping symbolic execution engines for interpreted languages     Message Body:
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy