Search for Author All Reviews
	Bucur, Stefan     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       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 While extensive testing is undoubtedly useful, it is also tedious. Automating this task as much as is feasible is an active research area; it has been more successfully applied (until now) to statically typed compiled languages. This w...... Apr 9 2014
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy