Difference between revisions of "JavaMOP: Efficient Parametric Runtime Monitoring Framework"

From FSL
Jump to: navigation, search
 
Line 1: Line 1:
 
== ICSE'12 ==
 
== ICSE'12 ==
<pubbib id='jin-meredith-lee-rosu-2012-tool-icse' template='PubDefaultWithAbstractAndTitle'/>
+
<pubbib id='jin-meredith-lee-rosu-2012-icse' template='PubDefaultWithAbstractAndTitle'/>
 
<private>
 
<private>
 
== Submitted to ICSE'12 ==
 
== Submitted to ICSE'12 ==
 
<pub id='jin-meredith-lee-rosu-2012-tool-icse-submission' template='PubDefaultWithAbstractAndTitle'/>
 
<pub id='jin-meredith-lee-rosu-2012-tool-icse-submission' template='PubDefaultWithAbstractAndTitle'/>
 
</private>
 
</private>

Latest revision as of 22:27, 26 February 2016

[edit] ICSE'12

JavaMOP: Efficient Parametric Runtime Monitoring Framework
Dongyun Jin and Patrick O'Neil Meredith and Choonghwan Lee and Grigore Rosu
ICSE'12, IEEE, pp 1427-1430. 2012
Abstract. Runtime monitoring is a technique usable in all phases of the software development cycle, from initial testing, to debugging, to actually maintaining proper function in production code. Of particular importance are parametric monitoring systems, which allow the specification of properties that relate objects in a program, rather than only global properties. In the past decade, a number of parametric runtime monitoring systems have been developed. Here we give a demonstration of our system, JavaMOP. It is the only parametric monitoring system that allows multiple differing logical formalisms. It is also the most efficient in terms of runtime overhead, and very competitive with respect to memory usage.
PDF, MOP, DOI, ICSE'12, BIB


Personal tools
Namespaces

Variants
Actions
Navigation