568 search results - page 28 / 114 » Enforcing traceability in software |
CCS
2008
ACM
13 years 12 months ago
2008
ACM
Current taint tracking systems suffer from high overhead and a lack of generality. In this paper, we solve both of these issues with an extensible system that is an order of magni...
IJFCS
2006
13 years 10 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
WER
2007
Springer
14 years 4 months ago
2007
Springer
Background. This research group has been working towards building an environment which helps software development, providing support to some activities mainly based on use case mo...
ASWEC
2010
IEEE
13 years 10 months ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
CCS
2009
ACM
14 years 10 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...