Search
for Author
All Reviews
Merino, Pedro
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