Search Results - Java PathFinder 2*

Finding Polluter Tests Using Java PathFinder

Authors: Pu Yi Anjiang Wei Wing Lam et al.

Source: ACM SIGSOFT Software Engineering Notes. 46:37-41

Subject Terms: 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

Authors: Amankwah, Richard Chen, Jinfu Song, Heping et al.

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

Subject Terms: SECURITY systems software, DECISION making

The Java Pathfinder Workshop 2019

Authors: Cyrille Artho Quoc-Sang Phan Peter Aldous et al.

Source: ACM SIGSOFT Software Engineering Notes. 45:20-22

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

Authors: Péter, Bertalan Zoltán Ádám, Zsófia Micskei, Zoltán et al.

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

Subject Terms: SYSTEM failures, CHECKS, BLOCKCHAINS, CONTRACTS

Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder.

Authors: Gadia, Saurabh Artho, Cyrille Bloom, Gedare

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

Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation.

Authors: Martins, Alexandre Locci Hanazumi, Simone de Melo, Ana C. V.

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

Predicate abstraction in Java Pathfinder

Authors: Jakub Daniel Pavel Parízek Corina S. Păsăreanu

Source: ACM SIGSOFT Software Engineering Notes. 39:1-5

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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)

Authors: Ratana, Hing Syed-Mohamad, Sharifah Mashita Chan Huah Yong

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

Subject Terms: SYSTEMS software, CHECKS, COMPUTER software

Model checking JAVA programs using JAVA PathFinder.

Authors: Havelund, Klaus Pressburger, Thomas

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

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

Authors: Iqbal, Saeed Shah, Shakir Ullah Nauman, Mohammad et al.

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

Similarity-Based Search for Model Checking: A Pilot Study with Java PathFinder.

Authors: Ibrahimov, Elmin Wang, Jixing Zhou, Zhi Quan

Source: 2013 13th International Conference on Quality Software; 2013, p238-244, 7p

State Extensions for Java PathFinder.

Authors: Gvero, Tihomir Gligoric, Milos Lauterburg, Steven et al.

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

Subject Terms: JAVA programming language, COMPUTER software, SOFTWARE engineering, INFORMATION technology, OBJECT-oriented programming languages, PROGRAMMING languages

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

Authors: Ghosh, Indradeep Shafiei, Nastaran Guodong Li et al.

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

Subject Terms: JAVA programming language, INDUSTRIAL applications, DATA structures, ELECTRONIC data processing, PROGRAMMING languages, C++, JAVASCRIPT programming language, COMPUTER programming

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

Authors: Hutchison, David Kanade, Takeo Kittler, Josef et al.

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

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

Authors: Parizek, P. Plasil, F.

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

Subject Terms: COMPUTER software, JAVA programming language, COMPUTER systems, ELECTRONIC systems

Optimized Execution of Deterministic Blocks in Java PathFinder.

Authors: d΄Amorim, Marcelo Sobeih, Ahmed Marinov, Darko

Source: Formal Methods & Software Engineering (9783540474609); 2006, p549-567, 19p

Towards model checking of computer games with Java PathFinder.

Authors: Shafiei, Nastaran van Breugel, Franck

Source: 2013 3rd International Workshop on Games & Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change (GAS); 2013, p15-21, 7p

A Hands-On Java PathFinder Tutorial.

Authors: Mehlitz, Peter Rungta, Neha Visser, Willem

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

Subject Terms: JAVA programming language, OPEN source software, SOFTWARE engineering, COMPUTER software, COMPUTER software industry

Java PathFinder A Translator from Java to Promela

Authors: Klaus Havelund

Source: Lecture Notes in Computer Science ISBN: 9783540664994

Access URL: https://ntrs.nasa.gov/api/citations/20000102373/downloads/20000102373.pdf

机器学习在心房颤动领域的研究热点 和发展趋势分析. (Chinese)

Alternate Title: Research hotspots and development trends of machine learning in the field of atrial fibrillation. (English)

Authors: 陈睿 张婷 黄瀚 et al.

Source: Shandong Medical Journal; 1/25/2026, Vol. 66 Issue 1, p84-99, 6p