State extensions for java pathfinder.
Saved in:
| Title: | State extensions for java pathfinder. |
|---|---|
| Authors: | Gvero, Tihomir, Gligoric, Milos, Lauterburg, Steven, d'Amorim, Marcelo, Marinov, Darko, Khurshid, Sarfraz |
| Source: | ICSE: International Conference on Software Engineering; May2008, p863-866, 4p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| DOI: | 10.1145/1368088.1368224 |
|---|
