• Pex

  • Referenced in 33 articles [sw07263]
  • Tests. Pex learns the program behavior by monitoring execution traces. Pex uses a constraint solver ... core component of the .NET runtime which had already been extensively tested over several years...
  • IC2D

  • Referenced in 8 articles [sw03295]
  • monitored for ’free’ by IC2D. As those targetted applications can run on any distributed runtime...
  • TXP

  • Referenced in 1 article [sw32264]
  • designed to support dynamic monitoring of temporal properties at simulation runtime, as well ... engine has been developed to monitor the properties at runtime...
  • VeriPhy

  • Referenced in 2 articles [sw29643]
  • environment, which is checked at runtime by synthesized, verified monitors. We use three provers...
  • SPY

  • Referenced in 6 articles [sw22152]
  • Each monitor can be internally embedded in or externally deployed alongside the endpoint runtime...
  • HighlightsRTC

  • Referenced in 0 articles [sw24324]
  • this paper, we present RTC, a runtime monitoring tool that instruments unsafe code and monitors ... source file and only require a minimal runtime system. As a result, the instrumented code...
  • CloudMon

  • Referenced in 1 article [sw20151]
  • TBoot, however, how to monitor and guarantee their runtime security seems ... detect kernel rootkits and guarantee the runtime security of guest VMs. CloudMon is transparent ... CloudMon detects kernel rootkits through self-adjusting monitoring on memory with an acceptable overhead...
  • TxMon

  • Referenced in 1 article [sw06746]
  • specified consistency properties on data structures at runtime. We implemented a prototype version of TxMon ... TxMon is effective at monitoring data structure properties, imposing tolerable runtime performance overheads...
  • HLIO

  • Referenced in 3 articles [sw22611]
  • operating systems research, implements a purely dynamic monitor of the sensitivity level of a computation ... data sensitivity levels are only known at runtime. In this paper, we show...
  • InterAspect

  • Referenced in 1 article [sw13024]
  • that illustrate its practical utility as a runtime-verification platform. We also introduce a tracecut ... system that uses InterAspect to construct program monitors that are formally specified as regular expressions...
  • SHIP

  • Referenced in 1 article [sw14071]
  • into subprocesses this provides a mechanism for runtime verification by splitting a process into ... some critical program and another parallel subprocess monitoring the first one by waiting...
  • Aneka

  • Referenced in 1 article [sw09055]
  • creating a customizable and extensible service oriented runtime environment represented by a collection of software ... reservation, persistence, storage management, security, and performance monitoring have been implemented. On top of this...
  • PEDAL

  • Referenced in 1 article [sw23564]
  • topic of concurrency bug reproduction using runtime data. We approach the concurrency testing ... light-weight profiler is implemented to monitor program runs, and collect synchronization points where thread ... directed Event driven Dynamic AnaLysis (PEDAL). The runtime data consisting of synchronization points is used...
  • PyBox

  • Referenced in 1 article [sw23581]
  • malware analysis in order to automate the monitoring of malware behavior has become increasingly important ... controlled environment and observe its activities during runtime. While a variety of sandbox software, such...
  • Laminar

  • Referenced in 3 articles [sw23077]
  • system resources, but are inefficient at monitoring the flow of information through fine-grained program ... security policies specified by the labels at runtime. Laminar is implemented using a modified Java...
  • Joe-E

  • Referenced in 1 article [sw35849]
  • their programs; implement application-specific reference monitors that cannot be bypassed; introduce and use domain ... previous object-capability languages which rely on runtime checks. In this paper, we describe...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FLAME

  • Referenced in 38 articles [sw00293]
  • We present a number of application program interfaces...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...