Groups

Randoop Developers

1–30 of 428

This group is meant for topics related to development of Randoop.

If you have questions about using Randoop, the best place to ask is in the Randoop discussion group.

0 selected

Dipali gawade, Michael Ernst2

1/28/22

Java 11+ Support

Thanks for your interest in Randoop. As of Randoop version 4.2.0 (released on Aug 22, 2019), Randoop

unread,

Java 11+ Support

Thanks for your interest in Randoop. As of Randoop version 4.2.0 (released on Aug 22, 2019), Randoop

1/28/22

mpol...@dc.exa.unrc.edu.ar

9/6/21

Question about issue #866

Hi, how are you? I have a trouble with instantiate generic operations. I can see that issue #866

unread,

Question about issue #866

Hi, how are you? I have a trouble with instantiate generic operations. I can see that issue #866

9/6/21

Іван Кочергін

5/27/21

Packages and dependencies

Hello everyone! I`m trying to create regression test suite for a program with max coverage. My

unread,

Packages and dependencies

Hello everyone! I`m trying to create regression test suite for a program with max coverage. My

5/27/21

rachel...@gmail.com, Michael Ernst2

4/30/21

replacecall support for Randoop Sequence API

There is no such support. A Java agent must be supplied when starting the JVM. Mike On Fri, Apr 30,

unread,

replacecall support for Randoop Sequence API

There is no such support. A Java agent must be supplied when starting the JVM. Mike On Fri, Apr 30,

4/30/21

Emanuele Benza, Michael Ernst3

9/25/20

Unable to load class "ConfigureJob.java" due to exception: java.lang.ClassNotFoundException

Thanks Michael, i have opened issue on https://github.com/randoop/randoop/issues/new Obviously,

unread,

Unable to load class "ConfigureJob.java" due to exception: java.lang.ClassNotFoundException

Thanks Michael, i have opened issue on https://github.com/randoop/randoop/issues/new Obviously,

9/25/20

Rachel Tzoref, … Rachel Tzoref8

8/17/20

Question about Sequence API

Thank you! that is indeed what I did. I have another question: is there a way to parse generic types

unread,

Question about Sequence API

Thank you! that is indeed what I did. I have another question: is there a way to parse generic types

8/17/20

mpol...@dc.exa.unrc.edu.ar, Michael Ernst5

6/2/20

Problem with Eclipse IDE

Gradle has a bug in that when an annotation processor is used, Gradle never does incremental

unread,

Problem with Eclipse IDE

Gradle has a bug in that when an annotation processor is used, Gradle never does incremental

6/2/20

Islam Elgendy, Michael Ernst3

5/23/20

How to manipulate the generated test cases?

Hi, I'm new to Randoop, and I'm trying to manipulate the generated test cases. Is there a

unread,

How to manipulate the generated test cases?

Hi, I'm new to Randoop, and I'm trying to manipulate the generated test cases. Is there a

5/23/20

ishtiaque hussain, … Quỳnh Trang Lê5

10/8/18

How to provide dependent library locations (jar files) in the ant build file?

Thanks for your assistance. I have fixed that errors. Thank you very much! Vào Th 2, 8 thg 10, 2018

unread,

How to provide dependent library locations (jar files) in the ant build file?

Thanks for your assistance. I have fixed that errors. Thank you very much! Vào Th 2, 8 thg 10, 2018

10/8/18

Sebastian Kunze, Michael Ernst2

9/21/17

Randoop: specifying a method's parameter types

Sebastian- I'm sorry Randoop was confusing you. Hopefully we can figure it out. > I am using

unread,

Randoop: specifying a method's parameter types

Sebastian- I'm sorry Randoop was confusing you. Hopefully we can figure it out. > I am using

9/21/17

SHAHID Shahid Mahmood, Michael Ernst2

8/8/17

Fwd: Delivery Status Notification (Failure)

> Dear sir, can you provide goals, commands for the maven command line. The > link is given in

unread,

Fwd: Delivery Status Notification (Failure)

> Dear sir, can you provide goals, commands for the maven command line. The > link is given in

8/8/17

Parvin Sadat Feizabadi

2/21/17

running Randoop with jar files

Hello All, I'm trying to use Randoop to test my project. I can run the example of the Randoop

unread,

running Randoop with jar files

Hello All, I'm trying to use Randoop to test my project. I can run the example of the Randoop

2/21/17

zach...@gmail.com, Benjamin Keller3

1/17/17

Using Randoop for Android

Zach, And, I should say, we would be happy to try to help you with any concrete issues when they come

unread,

Using Randoop for Android

Zach, And, I should say, we would be happy to try to help you with any concrete issues when they come

1/17/17

Dominic Lam Ting Luk, Michael Ernst2

12/8/16

Implementing New Contracts

Thanks for your message. I'm glad you are finding Randoop useful. > finding the bug of

unread,

Implementing New Contracts

Thanks for your message. I'm glad you are finding Randoop useful. > finding the bug of

12/8/16

Jonathan Youssef, … bjke...@cs.washington.edu4

12/7/16

Randoop Creating Contracts

Jonathan, 1. Contracts must be added in randoop.reflection.OperationModel like the others. If they

unread,

Randoop Creating Contracts

Jonathan, 1. Contracts must be added in randoop.reflection.OperationModel like the others. If they

12/7/16

Saurabh Gupta, Michael Ernst3

6/22/16

Randoop: No class found for type name “”

Did the suggestion work for you? I haven't seen a reply on Stack Overflow or here on the mailing

unread,

Randoop: No class found for type name “”

Did the suggestion work for you? I haven't seen a reply on Stack Overflow or here on the mailing

6/22/16

Michael Ernst, … Benjamin Keller6

6/13/16

Re: Randoop Plug-in

Herton, Yes, Randoop only uses the class files generated by the compiler. It does not compile the

unread,

Re: Randoop Plug-in

Herton, Yes, Randoop only uses the class files generated by the compiler. It does not compile the

6/13/16

6/11/16

ObjectContract.toCommentString()

The result of ObjectContract.toCommentString() is inserted in the source code right before the code.

unread,

ObjectContract.toCommentString()

The result of ObjectContract.toCommentString() is inserted in the source code right before the code.

6/11/16

Donte Rogers, bjke...@cs.washington.edu3

3/29/16

Error: Cound not find or load randoop.main.Main

Sorry, I'm not reading well today. Are you using an external tool launch configuration? On

unread,

Error: Cound not find or load randoop.main.Main

Sorry, I'm not reading well today. Are you using an external tool launch configuration? On

3/29/16

1/19/16

Fixed: randoop/randoop#130 (type-classes - 1d8e68c)

randoop / randoop (type-classes) Build #130 was fixed. 5 minutes and 21 seconds Ben Keller 1d8e68c

unread,

Fixed: randoop/randoop#130 (type-classes - 1d8e68c)

randoop / randoop (type-classes) Build #130 was fixed. 5 minutes and 21 seconds Ben Keller 1d8e68c

1/19/16

1/15/16

Failed: randoop/randoop#129 (type-classes - 1113e0f)

randoop / randoop (type-classes) Build #129 failed. 4 minutes and 10 seconds Ben Keller 1113e0f

unread,

Failed: randoop/randoop#129 (type-classes - 1113e0f)

randoop / randoop (type-classes) Build #129 failed. 4 minutes and 10 seconds Ben Keller 1113e0f

1/15/16

1/11/16

Passed: randoop/randoop#125 (v2.0.1 - ce2b25c)

randoop / randoop (v2.0.1) Build #125 passed. 3 minutes and 21 seconds Michael Ernst ce2b25c

unread,

Passed: randoop/randoop#125 (v2.0.1 - ce2b25c)

randoop / randoop (v2.0.1) Build #125 passed. 3 minutes and 21 seconds Michael Ernst ce2b25c

1/11/16

1/1/16

Fixed: randoop/randoop#112 (package-visility - df07592)

randoop / randoop (package-visility) Build #112 was fixed. 4 minutes and 46 seconds Ben Keller

unread,

Fixed: randoop/randoop#112 (package-visility - df07592)

randoop / randoop (package-visility) Build #112 was fixed. 4 minutes and 46 seconds Ben Keller

1/1/16

1/1/16

Failed: randoop/randoop#110 (package-visility - fe3506a)

randoop / randoop (package-visility) Build #110 failed. 4 minutes and 45 seconds Ben Keller fe3506a

unread,

Failed: randoop/randoop#110 (package-visility - fe3506a)

randoop / randoop (package-visility) Build #110 failed. 4 minutes and 45 seconds Ben Keller fe3506a

1/1/16

12/30/15

Passed: randoop/randoop#107 (v2.1.0 - 77777c0)

randoop / randoop (v2.1.0) Build #107 passed. 6 minutes and 27 seconds Ben Keller 77777c0 Changeset →

unread,

Passed: randoop/randoop#107 (v2.1.0 - 77777c0)

randoop / randoop (v2.1.0) Build #107 passed. 6 minutes and 27 seconds Ben Keller 77777c0 Changeset →

12/30/15

12/28/15

Fixed: randoop/randoop#94 (npe-flakiness - ee003c6)

randoop / randoop (npe-flakiness) Build #94 was fixed. 4 minutes and 10 seconds Ben Keller ee003c6

unread,

Fixed: randoop/randoop#94 (npe-flakiness - ee003c6)

randoop / randoop (npe-flakiness) Build #94 was fixed. 4 minutes and 10 seconds Ben Keller ee003c6

12/28/15

12/28/15

Broken: randoop/randoop#93 (npe-flakiness - 3f3d447)

randoop / randoop (npe-flakiness) Build #93 was broken. 6 minutes and 12 seconds Ben Keller 3f3d447

unread,

Broken: randoop/randoop#93 (npe-flakiness - 3f3d447)

randoop / randoop (npe-flakiness) Build #93 was broken. 6 minutes and 12 seconds Ben Keller 3f3d447

12/28/15

12/24/15

Fixed: randoop/randoop#88 (npe-flakiness - fce7a82)

randoop / randoop (npe-flakiness) Build #88 was fixed. 5 minutes and 32 seconds Ben Keller fce7a82

unread,

Fixed: randoop/randoop#88 (npe-flakiness - fce7a82)

randoop / randoop (npe-flakiness) Build #88 was fixed. 5 minutes and 32 seconds Ben Keller fce7a82

12/24/15

12/24/15

Broken: randoop/randoop#86 (npe-flakiness - f664df0)

randoop / randoop (npe-flakiness) Build #86 was broken. 1 minute and 9 seconds Ben Keller f664df0

unread,

Broken: randoop/randoop#86 (npe-flakiness - f664df0)

randoop / randoop (npe-flakiness) Build #86 was broken. 1 minute and 9 seconds Ben Keller f664df0

12/24/15

12/18/15

Fixed: randoop/randoop#77 (npe-flakiness - 37f03f2)

randoop / randoop (npe-flakiness) Build #77 was fixed. 4 minutes and 26 seconds Ben Keller 37f03f2

unread,

Fixed: randoop/randoop#77 (npe-flakiness - 37f03f2)

randoop / randoop (npe-flakiness) Build #77 was fixed. 4 minutes and 26 seconds Ben Keller 37f03f2

12/18/15

Search

Clear search

Close search

Google apps

Main menu