238 search results - page 11 / 48 » Model Checking DSL-Generated C Source Code |
IASSE
2004
13 years 9 months ago
2004
Bosco is a code generation tool, which goal is to accept any MOF model as parameter and follow the evolution of OMG standards. It generates the underlying model (also called repos...
TACAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
ESOP
2001
Springer
14 years 12 days ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
USS
2008
13 years 10 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
INFOVIS
2005
IEEE
14 years 1 months ago
2005
IEEE
We present the Visual Code Navigator, a set of three interrelated visual tools that we developed for exploring large source code software projects from three different perspective...