Java™ Pathfinder

Contact owners and managers

1–30 of 1592

Welcome to the Java Pathfinder Google Group.
We discuss everything about Java Pathfinder (both jpf-core and extensions, including Symbolic Pathfinder) on this group/mailing list. Both simple and advanced topics are welcome.
Please do not post job adverts; these will be flagged as spam and deleted.

0 selected

Suniti, fra...@cs.yorku.ca3

11/1/23

Guide for GSOC Contribution

Thank you so much! On Thursday, 26 October 2023 at 22:28:07 UTC+5:30 fra...@cs.yorku.ca wrote: As

unread,

Guide for GSOC Contribution

Thank you so much! On Thursday, 26 October 2023 at 22:28:07 UTC+5:30 fra...@cs.yorku.ca wrote: As

11/1/23

Aryan Patil (AryanP45), Cyrille Artho11

5/8/23

Tests failing while running master branch on Java 8

There are two things that could be containerized: 1. The automated regression tests (the 900+ unit

unread,

Tests failing while running master branch on Java 8

There are two things that could be containerized: 1. The automated regression tests (the 900+ unit

5/8/23

Adri, Cyrille Artho4

4/24/23

Multiple_errors = true stopped to the first one

Hi cyrill, Thanks for the answer. Nevertheless, is it an option to detect all bugs in the program? In

unread,

Multiple_errors = true stopped to the first one

Hi cyrill, Thanks for the answer. Nevertheless, is it an option to detect all bugs in the program? In

4/24/23

Eliot, Cyrille Artho5

4/14/23

Call stack might grow infinitely

Hi, Dr. Artho, Thank you so much for review! I'have submit a PR with a new fix. (Since I found

unread,

Call stack might grow infinitely

Hi, Dr. Artho, Thank you so much for review! I'have submit a PR with a new fix. (Since I found

4/14/23

Rohan Patil, Aryan Patil (AryanP45)2

4/9/23

To join the GSOC by JAVA Pathfinder

Hey Rohan, Assuming you already forked and cloned the jpf-core repo, you should learn about Gradle

unread,

To join the GSOC by JAVA Pathfinder

Hey Rohan, Assuming you already forked and cloned the jpf-core repo, you should learn about Gradle

4/9/23

Cyrille Artho, Ratana3

4/5/23

Google Summer of Code (GSoC) proposals

Hi Ratana, Thank you for submitting your proposal. We always welcome new ideas, and ideally, we can

unread,

Google Summer of Code (GSoC) proposals

Hi Ratana, Thank you for submitting your proposal. We always welcome new ideas, and ideally, we can

4/5/23

Eliot, Cyrille Artho3

3/26/23

PreciseRaceDetector raises false alarms

Thanks for your suggestions! I did forget to show the true positive case. I have submitted a PR on

unread,

PreciseRaceDetector raises false alarms

Thanks for your suggestions! I did forget to show the true positive case. I have submitted a PR on

3/26/23

Wu Qianyi, Cyrille Artho2

3/25/23

Questions about the project "Test Case Generation/Model-based Testing with Modbat for JPF"

Hi, First, yes, PRs are always welcome and a sign that you can make changes in the code base that

unread,

Questions about the project "Test Case Generation/Model-based Testing with Modbat for JPF"

Hi, First, yes, PRs are always welcome and a sign that you can make changes in the code base that

3/25/23

Shaaz Hussain, Cyrille Artho2

3/22/23

G Soc Project - Test Case Generation/Model-based Testing with Modbat

Hi, Thank you for your interest in this. Please try to install and compile Modbat. I have moved

unread,

G Soc Project - Test Case Generation/Model-based Testing with Modbat

Hi, Thank you for your interest in this. Please try to install and compile Modbat. I have moved

3/22/23

Shiqi Zhang, … so...@umn.edu5

3/5/23

Able to build JPF and SPF from the terminal, but failed to run the .jpf examples from eclipse

Hi Shiqi, You need to follow the steps in the readme here (https://github.com/SymbolicPathFinder/jpf-

unread,

Able to build JPF and SPF from the terminal, but failed to run the .jpf examples from eclipse

Hi Shiqi, You need to follow the steps in the readme here (https://github.com/SymbolicPathFinder/jpf-

3/5/23

Varad Galgali, Soha Hussein3

2/8/23

Interested in the JPF infrastructure projects for GSOC 2023

Thanks for responding Soha, I was facing this issue on all the wiki pages and on different machines.

unread,

Interested in the JPF infrastructure projects for GSOC 2023

Thanks for responding Soha, I was facing this issue on all the wiki pages and on different machines.

2/8/23

Maria Ramos, Cyrille Artho3

1/1/23

Deadlock not being detected

Hi! I said earlier that I removed the gov.nasa.jpf.vm.NoUncaughtExceptionsProperty from the search.

unread,

Deadlock not being detected

Hi! I said earlier that I removed the gov.nasa.jpf.vm.NoUncaughtExceptionsProperty from the search.

1/1/23

12/31/22

Open source Contributer for 2023

Hey everyone, I am Hanif Shaikh , second year MCA student at RB Institute of management studies,

unread,

Open source Contributer for 2023

Hey everyone, I am Hanif Shaikh , second year MCA student at RB Institute of management studies,

12/31/22

Juan Manuel Copia

12/15/22

Running Symbolic Pathfinder from another Symbolic Pathfinder execution

Hello, I'm trying to launch a second symbolic execution from an already ongoing symbolic

unread,

Running Symbolic Pathfinder from another Symbolic Pathfinder execution

Hello, I'm trying to launch a second symbolic execution from an already ongoing symbolic

12/15/22

ahmad amr, Cyrille Artho2

12/9/22

Can't build gradlew.bat

Gradlew is a wrapper around gradle itself. Perhaps you use your own Gradle to build JPF? Try just the

unread,

Can't build gradlew.bat

Gradlew is a wrapper around gradle itself. Perhaps you use your own Gradle to build JPF? Try just the

12/9/22

Tushar Taneja, fra...@cs.yorku.ca2

11/23/22

To get started with open source

Please see https://groups.google.com/g/java-pathfinder/c/4fsacQ1r9to On Monday, 14 November 2022 at

unread,

To get started with open source

Please see https://groups.google.com/g/java-pathfinder/c/4fsacQ1r9to On Monday, 14 November 2022 at

11/23/22

SURAJ KUMAR, fra...@cs.yorku.ca2

11/23/22

Need Guidance in Open Source Contribution

Please see https://groups.google.com/g/java-pathfinder/c/4fsacQ1r9to On Wednesday, 23 November 2022

unread,

Need Guidance in Open Source Contribution

Please see https://groups.google.com/g/java-pathfinder/c/4fsacQ1r9to On Wednesday, 23 November 2022

11/23/22

Abhishek Verma, fra...@cs.yorku.ca2

9/26/22

New to this Project and wants to contribute

Please see https://groups.google.com/g/java-pathfinder/c/4fsacQ1r9to On Monday, 26 September 2022 at

unread,

New to this Project and wants to contribute

Please see https://groups.google.com/g/java-pathfinder/c/4fsacQ1r9to On Monday, 26 September 2022 at

9/26/22

7/28/22

Run the example of jpf-core

hello I wanted to run some examples in the src/examples. but an error issues every time. can u help?

unread,

Run the example of jpf-core

hello I wanted to run some examples in the src/examples. but an error issues every time. can u help?

7/28/22

4/30/22

Issue in building JPF

Incase someone faces the same issue, I solved this with a clean re-installation of JPF on VM (Linux

unread,

Issue in building JPF

Incase someone faces the same issue, I solved this with a clean re-installation of JPF on VM (Linux

4/30/22

Qiuchen Yan, Johann Glock2

4/20/22

Exception raised when running String.join()

Hi Quichen, you're getting this exception because String.join is not implemented in the JPF model

unread,

Exception raised when running String.join()

Hi Quichen, you're getting this exception because String.join is not implemented in the JPF model

4/20/22

冯文翰, Cyrille Artho3

4/16/22

GSoC: Support for Java 12 (private API dependencies) for jpf-core

Hi, I have succeeded to install JPF in my pc and run it to check codes in jpf-core/src/examples and

unread,

GSoC: Support for Java 12 (private API dependencies) for jpf-core

Hi, I have succeeded to install JPF in my pc and run it to check codes in jpf-core/src/examples and

4/16/22

Kenny Heung, Cyrille Artho2

4/12/22

GSOC: Java 11 Support

Hi Kenny, Thank you for your interest in this project, which is indeed of high priority for us. The

unread,

GSOC: Java 11 Support

Hi Kenny, Thank you for your interest in this project, which is indeed of high priority for us. The

4/12/22

Cyrille Artho, … Palak Mishra4

4/8/22

To get started...

Hi, To get started, you need to use Java 8 (OpenJDK is fine) for the main development, or Java 11 (

unread,

To get started...

Hi, To get started, you need to use Java 8 (OpenJDK is fine) for the main development, or Java 11 (

4/8/22

4/6/22

Eclipse IDE for JPF

Hey I'm new at JPF and I can't choose which eclipse ide should I download to work on jpf

unread,

Eclipse IDE for JPF

Hey I'm new at JPF and I can't choose which eclipse ide should I download to work on jpf

4/6/22

Mohsen Ghaffari

3/31/22

Unknown warning

Dear all, I received an unknown warning while using SPF: some PCs... ***********Warning: everything

unread,

Unknown warning

Dear all, I received an unknown warning while using SPF: some PCs... ***********Warning: everything

3/31/22

XINGYU ZHU, Cyrille Artho4

3/24/22

Need help in using Javapathfiner

What I meant was that the main function is the wrapper function that constructs an instance of "

unread,

Need help in using Javapathfiner

What I meant was that the main function is the wrapper function that constructs an instance of "

3/24/22

VIBHOO SRIVASTAVA, Cyrille Artho2

3/23/22

How to start contribution

See https://groups.google.com/g/java-pathfinder/c/4fsacQ1r9to On Monday, March 21, 2022 at 1:51:06 PM

unread,

How to start contribution

See https://groups.google.com/g/java-pathfinder/c/4fsacQ1r9to On Monday, March 21, 2022 at 1:51:06 PM

3/23/22

Mohsen Ghaffari

3/23/22

Listener for getting executed states

Dear All, I am trying to write a listener which can get execution states. As an instance, main(){ X

unread,

Listener for getting executed states

Dear All, I am trying to write a listener which can get execution states. As an instance, main(){ X

3/23/22

2/28/22

Need jpf built on jdk 1.7

Hi all! I am building a tool based on jpf in my research. However, my tool needs jpf built on jdk 1.7

unread,

Need jpf built on jdk 1.7

Hi all! I am building a tool based on jpf in my research. However, my tool needs jpf built on jdk 1.7

2/28/22

Search

Clear search

Close search

Google apps

Main menu