View in EDS PDF Full Text

Explicating Symbolic Execution (XSYMEXE): An Evidence-Based Verification Framework.

Saved in:
Bibliographic Details
Title: Explicating Symbolic Execution (XSYMEXE): An Evidence-Based Verification Framework.
Authors: Hatcliff, John1, hatcliff@k-state.edu, Robby1, Chalin, Patrice1, Belt, Jason1
Source: ICSE: International Conference on Software Engineering; Feb2013, p222-231, 10p
Database: Applied Science & Technology Source
Description
Description not available.