Static Specification Analysis for Termination of Specification-Based Data Structure Repair

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Brian Demsky Articles by Martin Rinard

14th International Symposium on Software Reliability Engineering

Denver, Colorado

November 17-November 21

ISBN: 0-7695-2007-3

	ASCII Text	x
	Brian Demsky, Martin Rinard, "Static Specification Analysis for Termination of Specification-Based Data Structure Repair," Software Reliability Engineering, International Symposium on, pp. 71, 14th International Symposium on Software Reliability Engineering, 2003.

	BibTex	x
	@article{ 10.1109/ISSRE.2003.1251032, author = {Brian Demsky and Martin Rinard}, title = {Static Specification Analysis for Termination of Specification-Based Data Structure Repair}, journal ={Software Reliability Engineering, International Symposium on}, volume = {0}, year = {2003}, issn = {1071-9458}, pages = {71}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.2003.1251032}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Software Reliability Engineering, International Symposium on TI - Static Specification Analysis for Termination of Specification-Based Data Structure Repair SN - 1071-9458 SP EP A1 - Brian Demsky, A1 - Martin Rinard, PY - 2003 KW - null VL - 0 JA - Software Reliability Engineering, International Symposium on ER -

Brian Demsky, Massachusetts Institute of Technology

Martin Rinard, Massachusetts Institute of Technology

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISSRE.2003.1251032

We have developed a system that accepts a specification of key data structure consistency constraints, then dynamically detects and repairs violations of these constraints. It is possible to write specifications that are not satisfiable or that for other reasons may cause the repair process to not terminate. We present a static specification analysis that determines whether the repair process will terminate for a given specification.

Citation:

Brian Demsky, Martin Rinard, "Static Specification Analysis for Termination of Specification-Based Data Structure Repair," issre, pp.71, 14th International Symposium on Software Reliability Engineering, 2003

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.