1376 search results - page 23 / 276 » Monitoring Software Requirements Using Instrumented Code |
83
Voted
DAC
2006
ACM
15 years 1 months ago
2006
ACM
Security and reliability in processor based systems are concerns requiring adroit solutions. Security is often compromised by code injection attacks, jeopardizing even `trusted so...
SOFTVIS
2006
ACM
15 years 3 months ago
2006
ACM
Virtual execution platforms contain many runtime subsystems that are invoked on-demand as user code executes. We have instrumented an open-source JVM to dump out information on th...
95
Voted
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
HASKELL
2007
ACM
15 years 1 months ago
2007
ACM
We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record prog...
107
click to vote
APSEC
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...