CREATE_INDEX_IF_NOT_EXISTS('IDX_AUDIT_LOG_CREATED_AT', 'CREATE INDEX IDX_AUDIT_LOG_CREATED_AT ON AUDIT_LOG (CREATED_AT DESC)'); CREATE_INDEX_IF_NOT_EXISTS('IDX_AUDIT ...
In this paper, the authors present a tool based on a combination of symbolic execution and real-time model checking for timing analysis of Java systems. Symbolic execution is used for the generation ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results