A brief account of runtime verification. Leucker, M. & Schallhart, C. The Journal of Logic and Algebraic Programming, 78(5):293–303, May, 2009.
A brief account of runtime verification [link]Paper  doi  abstract   bibtex   
In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification, a comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishing features are pointed out. Moreover, extensions of runtime verification such as monitor-oriented programming, and monitor-based runtime reflection are sketched and their similarities and differences are discussed. Finally, the use of runtime verification for contract enforcement is briefly pointed out.
@article{leucker_brief_2009,
	series = {The 1st {Workshop} on {Formal} {Languages} and {Analysis} of {Contract}-{Oriented} {Software} ({FLACOS}’07)},
	title = {A brief account of runtime verification},
	volume = {78},
	issn = {1567-8326},
	url = {http://www.sciencedirect.com/science/article/pii/S1567832608000775},
	doi = {10.1016/j.jlap.2008.08.004},
	abstract = {In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification, a comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishing features are pointed out. Moreover, extensions of runtime verification such as monitor-oriented programming, and monitor-based runtime reflection are sketched and their similarities and differences are discussed. Finally, the use of runtime verification for contract enforcement is briefly pointed out.},
	language = {en},
	number = {5},
	urldate = {2020-01-30},
	journal = {The Journal of Logic and Algebraic Programming},
	author = {Leucker, Martin and Schallhart, Christian},
	month = may,
	year = {2009},
	keywords = {Assertion checking, Monitoring, Testing, Verification},
	pages = {293--303},
}

Downloads: 0