Proceedings of the 18th international conference on Computer Aided Verification

Authors:
Thomas Ball;Robert B. Jones
Affiliations:
Microsoft Research, Redmond, WA,;Intel Corporation, RA2-459, 2501 W. 229th Avenue, Hillsboro, OR,
Venue:
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Year:
2006

Citing 0
Cited 2

EXE: automatically generating inputs of death

Proceedings of the 13th ACM conference on Computer and communications security
EXE: Automatically Generating Inputs of Death

ACM Transactions on Information and System Security (TISSEC)

Quantified Score

Hi-index	0.00

Visualization

Abstract