• Using SPIN for automated debug...

Treffer: Using SPIN for automated debugging of infinite executions of Java programs

Title:
Using SPIN for automated debugging of infinite executions of Java programs
Authors:
Adalid, Damián, Salmerón, Alberto, Gallardo, María del Mar, Merino, Pedro ⁎
Source:
In The Journal of Systems & Software April 2014 90:61-75
Database:
ScienceDirect