Data

Tools

Indexes

Applications

Experiments

Open Source Science

rage

RAGe: A Generator for Register Automata

https://github.com/tudo-aqua/rage

Science Score: 57.0%

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

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ✓
    DOI references
    Found 4 DOI reference(s) in README
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (6.6%) to scientific vocabulary
Last synced: 9 months ago · JSON representation ·

Repository

RAGe: A Generator for Register Automata

Basic Info
  • Host: GitHub
  • Owner: tudo-aqua
  • Language: Kotlin
  • Default Branch: main
  • Size: 173 KB
Statistics
  • Stars: 0
  • Watchers: 3
  • Forks: 1
  • Open Issues: 7
  • Releases: 0
Created over 2 years ago · Last pushed about 2 years ago
Metadata Files
Readme License Citation

README.md

RAGe: A Generator for Register Automata

RAGe is a tool for semi-random generation of register automata[^1]. It provides two strategies for generation:

  1. Random generation of a DFA using the Champarnaud-Paranthoën algorithm[^2] and subsequent transformation into an RA
  2. Manual definition using a Kotlin DSL

Additionally, three combination mechanisms for automata are included:

  1. Concatenation
  2. Random replacement of transitions with sub-RAs
  3. Splitting one location and introducing an RA to obscure the discriminating suffixes

Using

Pre-built installers and distributions (using jpackage) are available and expose a command-line interface to some preconfigured generators. Alternatively, RAGe can be used as a library via Maven Central and custom generation campaigns can be configured.

[^1]: Cassel, S., Howar, F., Jönsson, B., Merten, M. & Steffen, B. (2015). A succinct canonical Register Automaton model. Journal of Logical and Algebraic Methods in Programming, 84(1), 54–66.

[^2]: Champarnaud, J.-M., & Paranthoën, T. (2005). Random generation of DFAs. Theoretical Computer Science, 330(2), 221–235.

Owner

  • Name: AQUA - Automated Quality Assurance
  • Login: tudo-aqua
  • Kind: organization

Citation (CITATION.cff) 

#  SPDX-License-Identifier: Apache-2.0
#
#  Copyright 2023-2023 The RAGe Authors
#
#  Licensed under the Apache License, Version 2.0 (the "License");
#  you may not use this file except in compliance with the License.
#  You may obtain a copy of the License at
#
#      http://www.apache.org/licenses/LICENSE-2.0
#
#  Unless required by applicable law or agreed to in writing, software
#  distributed under the License is distributed on an "AS IS" BASIS,
#  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
#  See the License for the specific language governing permissions and
#  limitations under the License.

cff-version: "1.2.0"
message: "If you use this software, please cite it using the metadata from this file."

authors:
  - given-names: "Simon"
    family-names: "Dierl"
    email: "simon.dierl@tu-dortmund.de"
    orcid: "https://orcid.org/0000-0001-9730-9335"
    affiliation: "TU Dortmund University"
  - given-names: "Falk"
    family-names: "Howar"
    email: "falk.howar@tu-dortmund.de"
    orcid: "https://orcid.org/0000-0002-9524-4459"
    affiliation: "TU Dortmund University"

title: "RAGe: A Generator for Register Automata"
type: "software"

license:
  - "Apache-2.0"
  - "CC-BY-4.0"
repository-code: "https://github.com/tudo-aqua/rage"

GitHub Events

Total
Last Year

Issues and Pull Requests

Last synced: over 1 year ago

All Time
  • Total issues: 0
  • Total pull requests: 68
  • Average time to close issues: N/A
  • Average time to close pull requests: 14 days
  • Total issue authors: 0
  • Total pull request authors: 1
  • Average comments per issue: 0
  • Average comments per pull request: 0.4
  • Merged pull requests: 36
  • Bot issues: 0
  • Bot pull requests: 68
Past Year
  • Issues: 0
  • Pull requests: 14
  • Average time to close issues: N/A
  • Average time to close pull requests: 6 days
  • Issue authors: 0
  • Pull request authors: 1
  • Average comments per issue: 0
  • Average comments per pull request: 0.43
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 14
View more stats
Top Authors
Issue Authors
Pull Request Authors
  • dependabot[bot] (67)
Top Labels
Issue Labels
Pull Request Labels
dependencies (67) java (59) github_actions (8)

Dependencies

.github/workflows/ci.yml actions
  • EnricoMi/publish-unit-test-result-action v2 composite
  • actions/checkout v4 composite
  • actions/setup-java v3 composite
  • actions/upload-artifact v3 composite
  • gradle/gradle-build-action v2 composite
  • gradle/wrapper-validation-action v1 composite
build.gradle.kts maven