https://github.com/assert-kth/prodj

Serializing Java Objects in Plain Code

https://github.com/assert-kth/prodj

Science Score: 10.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • CITATION.cff file
  • codemeta.json file
  • .zenodo.json file
  • DOI references
  • Academic publication links
    Links to: arxiv.org
  • Academic email domains
  • Institutional organization owner
  • JOSS paper metadata
  • Scientific vocabulary similarity
    Low similarity (6.5%) to scientific vocabulary
Last synced: 10 months ago · JSON representation

Repository

Serializing Java Objects in Plain Code

Basic Info
  • Host: GitHub
  • Owner: ASSERT-KTH
  • License: mit
  • Language: Java
  • Default Branch: master
  • Size: 131 KB
Statistics
  • Stars: 1
  • Watchers: 10
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 2 years ago · Last pushed over 2 years ago
Metadata Files
Readme License

README.md

ProDJ

ProDJ is a tool for serializing Java objects to plain code. It uses these capabilities to automatically generate test-cases from a production workload.

See Serializing Java Objects in Plain Code (Julian Wachter, Deepika Tiwari, Martin Monperrus and Benoit Baudry), Technical report 2405.11294, arXiv, 2024.

Setup

The easiest way to get an executable version of ProDJ is to use the provided flake.nix: 1. Enter a dev-shell using nix develop 2. Run java -jar rockstofetch/target/rockstofetch.jar --statistics <config file>. You can find example config files in rockstofetch/src/test/resources/.

Owner

  • Name: ASSERT
  • Login: ASSERT-KTH
  • Kind: organization
  • Location: Sweden

assertEquals("Research group at KTH Royal Institute of Technology, Stockholm, Sweden", description);

GitHub Events

Total
  • Issues event: 2
  • Watch event: 1
  • Issue comment event: 5
Last Year
  • Issues event: 2
  • Watch event: 1
  • Issue comment event: 5

Dependencies

.github/workflows/tests.yml actions
  • DeterminateSystems/flake-checker-action 4b90f9fc724969ff153fe1803460917c84fe00a3 composite
  • DeterminateSystems/magic-nix-cache-action 8a218f9e264e9c3803c9a1ee1c30d8e4ab55be63 composite
  • DeterminateSystems/nix-installer-action 65d7c888b2778e8cf30a07a88422ccb23499bfb8 composite
  • actions/checkout 3df4ab11eba7bda6032a0b82a6bb43b11571feac composite
code-monkey/pom.xml maven
  • com.google.guava:guava 31.1-jre
  • fr.inria.gforge.spoon:spoon-core 10.4.2-SNAPSHOT
  • tools.aqua:z3-turnkey 4.11.2
  • org.assertj:assertj-core 3.24.2 test
pom.xml maven
  • org.junit.jupiter:junit-jupiter-api 5.10.0 test
  • org.junit.jupiter:junit-jupiter-params 5.10.0 test
rockstofetch/pom.xml maven
  • com.fasterxml.jackson.core:jackson-databind 2.14.2
  • com.fasterxml.jackson.dataformat:jackson-dataformat-xml 2.14.2
  • fr.inria.gforge.spoon:spoon-core 10.4.2-SNAPSHOT
  • io.github.jbock-java:jbock 5.14
  • net.bytebuddy:byte-buddy 1.14.2
  • org.apache.commons:commons-text 1.10.0
  • se.kth.castor:code-monkey 0.0.1
  • org.assertj:assertj-core 3.24.2 test
  • org.mockito:mockito-core 5.2.0 test