Enhancing spark's contract checking facilities using symbolic execution

Full Text:

PDF

Authors:	Jason Belt	Kansas State University, Manhattan, KS, USA
	John Hatcliff	Kansas State University, Manhattan, KS, USA
	Robby	Kansas State University, Manhattan, KS, USA
	Patrice Chalin	Concordia University, Montreal, PQ, Canada
	David Hardin	Rockwell Collins Advanced Technology Center, Cedar Rapids, IA, USA
	Xianghua Deng	Google Inc., Mountain View, CA, USA

	2011 Article
Bibliometrics
· Citation Count: 0 · Downloads (cumulative): 211 · Downloads (12 Months): 17 · Downloads (6 Weeks): 4

Published in:

	· Proceeding
	SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
	Pages 47-60 Denver, Colorado, USA — November 06 - 10, 2011 ACM New York, NY, USA ©2011 table of contents ISBN: 978-1-4503-1028-4 doi>10.1145/2070337.2070357
	· Newsletter
	ACM SIGAda Ada Letters
	Volume 31 Issue 3, December 2011 Pages 47-60 ACM New York, NY, USA table of contents doi>10.1145/2070336.2070357

Tools and Resources