Search for Author All Reviews
	Gallardo, MarIa Del Mar     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       Using SPIN for automated debugging of infinite executions of Java programs Adalid D., Salmerón A., Gallardo M., Merino P. Journal of Systems and Software 9061-75, 2014.  Type: Article Traditionally, debugging has been guided by heuristics and intuition, but the complexity of contemporary software, which is especially evident in the increasing number of modules and the side effects of their interactions, demands algo...... Aug 26 2014
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy