Filters








2 Hits in 1.7 sec

jUnitRV–Adding Runtime Verification to jUnit [chapter]

Normann Decker, Martin Leucker, Daniel Thoma
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Key Ideas Testing temporal properties is difficult complicated logic hard to access necessary information Until(not(disconnect), committed)))); Unit Testing extended with Runtime VerificationSpecify relevant  ...  eventsSpecify temporal properties in LTL Associate tests with monitors using annotations jUnit RV generates and injects monitors jUnit RV integrates seamlessly into IDEs and build tools jUnit RV is extensible  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-38088-4_34">doi:10.1007/978-3-642-38088-4_34</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pdwem74txnfohknbixlwagnsb4">fatcat:pdwem74txnfohknbixlwagnsb4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161222005250/https://ti.arc.nasa.gov/m/events/nfm2013/pubs/jUnitRV.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e2/3e/e23ea7ef567e33c56698a413432d02182c879b77.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-38088-4_34"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

MarQ: Monitoring at Runtime with QEA [chapter]

Giles Reger, Helena Cuenca Cruz, David Rydeheard
<span title="">2015</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
MARQ recently came top in two tracks in the 1st international Runtime Verification competition, showing that MARQ is one of the most efficient existing monitoring tools for both offline monitoring of trace  ...  For this to be effective, monitors which run trace-checking algorithms must be efficient so that they introduce minimal computational overhead.  ...  JUnitRV [12] extends the JUnit framework to perform monitoring where events are defined via a reflection library; they also include the monitoring modulo theories approach [13] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-46681-0_55">doi:10.1007/978-3-662-46681-0_55</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6hn55tzbefhm5mjpxerrahuzbi">fatcat:6hn55tzbefhm5mjpxerrahuzbi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922004717/http://www.cs.man.ac.uk/%7Edavid/sm/marq.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/c8/92c8c7c8d67d0ae987be4d6768fbfb7c663a2531.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-46681-0_55"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>