Výsledky vyhledávání - Java PathFinder 2~

Bug detection in Java code: An extensive evaluation of static analysis tools using Juliet Test Suites.

Autoři: Amankwah, Richard Chen, Jinfu Song, Heping a další

Zdroj: Software: Practice & Experience; May2023, Vol. 53 Issue 5, p1125-1143, 19p

Témata: SECURITY systems software, DECISION making

Theoretical Comparison of Partial Order Reduction: Java Pathfinder vs. Moonwalker

Additional Titles: Teoretisk Jämförelse av Partiell Order Reduktion: Java Pathfinder vs. Moonwalker

Autoři: Jensen, Linn

Témata: Engineering and Technology, Teknik och teknologier, Student thesis, info:eu-repo/semantics/bachelorThesis, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-209676

Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder.

Autoři: Gadia, Saurabh Artho, Cyrille Bloom, Gedare

Zdroj: Formal Methods & Software Engineering (9783319478456); 2016, p417-432, 16p

Similarity-based search for model checking: a pilot study with java pathfinder

Autoři: Ibrahimov, Elmin Wang, Jixing Zhou, Zhiquan

Zdroj: Faculty of Engineering and Information Sciences - Papers: Part A

Témata: java, pathfinder, pilot, study, checking, similarity, model, search, Engineering, Science and Technology Studies, presentation

URL: https://ro.uow.edu.au/eispapers/1471
https://ro.uow.edu.au/context/eispapers/article/2480/viewcontent/paper.pdf

Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies.

Autoři: Péter, Bertalan Zoltán Ádám, Zsófia Micskei, Zoltán a další

Zdroj: Acta Cybernetica; 2025, Vol. 27 Issue 2, p197-220, 24p

Témata: SYSTEM failures, CHECKS, BLOCKCHAINS, CONTRACTS

JPF-SE: A Symbolic Execution Extension to Java PathFinder.

Autoři: Hutchison, David Kanade, Takeo Kittler, Josef a další

Zdroj: Tools & Algorithms for the Construction & Analysis of Systems (9783540712084); 2007, p134-138, 5p

Software Model Checking for Distributed Applications using Hybridization of Centralization and Cache Approaches.

Alternate Title: Penyemakan Model Perisian bagi Aplikasi Teragih menggunakan Pendekatan Hibrid Pemusatan dan Cache. (Indonesian)

Autoři: Ratana, Hing Syed-Mohamad, Sharifah Mashita Chan Huah Yong

Zdroj: Asia-Pacific Journal of Information Technology & Multimedia; Jun2025, Vol. 14 Issue 1, p351-366, 16p

Témata: SYSTEMS software, CHECKS, COMPUTER software

State Extensions for Java PathFinder.

Autoři: Gvero, Tihomir Gligoric, Milos Lauterburg, Steven a další

Zdroj: ICSE: International Conference on Software Engineering; 2008, p863-866, 4p, 2 Diagrams

Témata: JAVA programming language, COMPUTER software, SOFTWARE engineering, INFORMATION technology, OBJECT-oriented programming languages, PROGRAMMING languages

Extending Java Pathfinder (JPF) with property classes for verification of Android permission extension framework.

Autoři: Iqbal, Saeed Shah, Shakir Ullah Nauman, Mohammad a další

Zdroj: 2013 IEEE 3rd International Conference on System Engineering & Technology; 2013, p15-20, 6p

Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation.

Autoři: Martins, Alexandre Locci Hanazumi, Simone de Melo, Ana C. V.

Zdroj: Computational Science & Its Applications - ICCSA 2014: Part I; 2014, p671-682, 12p

Model checking JAVA programs using JAVA PathFinder.

Autoři: Havelund, Klaus Pressburger, Thomas

Zdroj: International Journal on Software Tools for Technology Transfer; Mar2000, Vol. 2 Issue 4, p366-381, 16p

Assume-guarantee verification of software components in SOFA 2 framework.

Autoři: Parizek, P. Plasil, F.

Zdroj: IET Software (Institution of Engineering & Technology); Jun2010, Vol. 4 Issue 3, p210-221, 12p, 8 Diagrams, 2 Charts

Témata: COMPUTER software, JAVA programming language, COMPUTER systems, ELECTRONIC systems

JST: An Automatic Test Generation Tool for Industrial Java Applications with Strings.

Autoři: Ghosh, Indradeep Shafiei, Nastaran Guodong Li a další

Zdroj: ICSE: International Conference on Software Engineering; Feb2013, p992-1001, 10p

Témata: JAVA programming language, INDUSTRIAL applications, DATA structures, ELECTRONIC data processing, PROGRAMMING languages, C++, JAVASCRIPT programming language, COMPUTER programming

Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.

Autoři: Pavel Parizek Frantisek Plasil Jan Kofron

Zdroj: 2006 30th Annual IEEE/NASA Software Engineering Workshop; 2006, p133-141, 9p

EdSketch: execution-driven sketching for Java.

Autoři: Hua, Jinru Zhang, Yushan Zhang, Yuqun a další

Zdroj: International Journal on Software Tools for Technology Transfer; Jun2019, Vol. 21 Issue 3, p249-265, 17p

Témata: SATISFIABILITY (Computer science), DRAWING, DATA structures, MODERN languages

A Hands-On Java PathFinder Tutorial.

Autoři: Mehlitz, Peter Rungta, Neha Visser, Willem

Zdroj: ICSE: International Conference on Software Engineering; Feb2013, p1493-1495, 3p

Témata: JAVA programming language, OPEN source software, SOFTWARE engineering, COMPUTER software, COMPUTER software industry

Model Checking Real Time Java Using Java PathFinder

Autoři: Lindstrom, Gary Mehlitz, Peter C Visser, Willem

Témata: Computer Programming And Software

Přístupová URL adresa: https://ntrs.nasa.gov/citations/20060014983

Java PathFinder A Translator from Java to Promela

Autoři: Klaus Havelund

Zdroj: Lecture Notes in Computer Science ISBN: 9783540664994

Přístupová URL adresa: https://ntrs.nasa.gov/api/citations/20000102373/downloads/20000102373.pdf

Concurrent Testing of Java Components Using Java PathFinder.

Autoři: Mutilin, V.

Zdroj: Second International Symposium on Leveraging Applications of Formal Methods, Verification & Validation (ISOLA 2006); 2006, p53-59, 7p

Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems.

Autoři: Moffett, Yann Dingel, Juergen Beaulieu, Alain

Zdroj: IEEE Transactions on Software Engineering; Sep2013, Vol. 39 Issue 9, p1307-13256, 11950p, 1 Color Photograph, 1 Black and White Photograph, 11 Diagrams, 4 Charts

Témata: SOFTWARE engineering, COMPUTER software research, JAVA programming language, EMBEDDED computer systems, UNIFIED modeling language