Výsledky vyhľadávania - Java Programs - Verification

Improving Automated Program Verification for Java Programs with Fuzzing Autor Hussein, Soha, McCamant, Stephen

“…Formal verification of programs has long been used to provide rigorous correctness guarantees on program behavior…”
Získať plný text

Automatic verification of Java programs with dynamic frames Autor Smans, Jan, Jacobs, Bart, Piessens, Frank, Schulte, Wolfram

“…Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs Leavens et al…”
Získať plný text

Automatic verification of Java programs with dynamic frames: Software products: Extended papers from the International Conference on Fundamental Approaches to Software Engineering (FASE 2008), Budapest, Hungary Autor SMANS, Jan, JACOBS, Bart, PIESSENS, Frank, SCHULTE, Wolfram

Získať plný text

Analysis and Verification on SQLIA Vulnerability for Java EE Programs Autor GUO Fan, FAN Weiwei

“… This paper proposes a solution to detect and verify SQLIA vulnerabilities in Java Web programs…”
Získať plný text

JCML: A specification language for the runtime verification of Java Card programs Autor da Costa, Umberto Souza, Moreira, Anamaria Martins, Musicante, Martin A., Souza Neto, Plácido A.

“… to improve the safety of Java Card applets concentrates on static verification methods. This work presents a runtime verification approach based on Design by Contract to improve the safety of Java Card applications…”
Získať plný text

Runtime verification on abstract finite state models Autor Jevitha, K.P., Jayaraman, Bharat, Sethumadhavan, M.

“… In this paper, we show how to extract finite state models from a run of a multi-threaded Java program and carry out runtime verification of correctness properties…”
Získať plný text

TacoFlow: optimizing SAT program verification using dataflow analysis Autor Cuervo Parrino, Bruno, Galeotti, Juan Pablo, Garbervetsky, Diego, Frias, Marcelo F.

“…In previous work, we presented TACO, a tool for efficient bounded verification. TACO translates programs annotated with contracts to a SAT problem which is then solved resorting to off-the-shelf SAT-solvers…”
Získať plný text

A semi-formal approach for Java programs verification Autor Benouhiba, T., Cheriet, H.

“… The new approach, called SEmi-FORmal verification of Java programs or simply SE4J, uses tests to build a formal probabilistic model…”
Získať plný text

Constraint Based Testing and Verification of Java Bytecode Programs Autor Achour, Safaa, Benattou, Mohammzed

“…In this paper, we propose to apply constraint based testing and verification of Java bytecode programs augmented with their user specifications…”
Získať plný text

An infrastructure for tractable verification of javascript programs Autor Naudziuniene, Daiva

“… This thesis presents JaVerT, a semi-automatic JavaScript Verification Toolchain for tractable logic-based verification of JavaScript programs…”
Získať plný text

Specifying multithreaded Java semantics for program verification Autor Roychoudhury, Abhik, Mitra, Tulika

“… Most current work on multithreaded Java program verification assumes a model of execution that is based on interleaving of the operations of the individual threads…”
Získať plný text

A Framework for the Cryptographic Verification of Java-Like Programs Autor Kusters, R., Truderung, T., Graf, J.

“…We consider the problem of establishing cryptographic guarantees -- in particular, computational indistinguishability -- for Java or Java-like programs that use cryptography…”
Získať plný text

Verification of Java programs in Coq Autor Seokhyun Han

“… Furthermore, since the model is given in the intensional type theory, machine-supported verification of Java programs can be done by proving specifications that is satisfied by Java programs in Coq with regard to the state of objects…”
Získať plný text

Specifying multithreaded Java semantics for program verification Autor Roychoudhury, A., Mitra, T.

“…Most current work on multithreaded Java program verification assumes a model of execution that is based on interleaving of the operations of the individual threads…”
Získať plný text

Deductive Verification of Floating-Point Java Programs in KeY Autor Rosa Abbasi Boroujeni, Schiffl, Jonas, Darulova, Eva, Ulbrich, Mattias, Ahrendt, Wolfgang

“…Deductive verification has been successful in verifying interesting properties of real-world programs…”
Získať plný text

Verification of Java Programs with Interacting Analysis Plugins Autor Charlton, Nathaniel

“…In this paper we propose a modular framework for program analysis, where multiple program analysis tools are combined in order to exploit the particular advantages of each. This allows for “plugging together…”
Získať plný text

Practical JFSL verification using TACO Autor Chicote, M., Ciolek, D., Galeotti, J.P.

“…SUMMARYTranslation of Annotated COde (TACO) is a SAT‐based tool for bounded verification of Java programs…”
Získať plný text

Specification and Runtime Verification of Java Card Programs Autor da Costa, Umberto Souza, Moreira, Anamaria Martins, Musicante, Martin A., Neto, Plácido A. Souza

“… They are required to be portable and safe. Often, the requirements of the application impose the use of dynamic, on-card verifications, but most of the research developed to improve safety of Java Card applets concentrates on static verification methods…”
Získať plný text

ChosenSecurity Providing Mobile Application Code Signing for Global Java™ Platform Micro Edition (Java ME) Verification Program

Získať plný text

Sun announces Java verification program

“…The Java Verification Program for the enterprise tests the portability of enterprise applications across different implementations of J2EE…”
Získať plný text