Repositories list

• train-ticket-aitest

  Public
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 22, 2025Dec 22, 2025

• aiat-authorization-consistency-solver

  Public
  Formal Automated Verification of Microservices Tool applied for the AIAT fault injection study.

  Java

  •0•0•0•0•Updated Dec 19, 2025Dec 19, 2025

• authorization-consistency-solver

  Public
  Applied formal methods for verifying microservice authorization policy.

  Java

  •0•0•0•0•Updated Oct 24, 2025Oct 24, 2025

• graal_mvp

  Public
  TypeScript

  •2•1•0•1•Updated Jul 21, 2025Jul 21, 2025

• bounded-context

  Public
  Maven library for producing bounded context from context maps of microservice mesh

  Java

  •0•0•2•3•Updated Jul 12, 2025Jul 12, 2025

• prophet-dto

  Public
  Java

  •1•0•0•3•Updated Jul 12, 2025Jul 12, 2025

• graal-prophet-utils

  Public
  This repository is a version of the prophet-utils repository, adapted to the GraalVM static analysis of microservice applications project

  Java

  •3•7•3•1•Updated May 11, 2025May 11, 2025

• graal

  Public
  GraalVM: Run Programs Faster Anywhere 🚀

  Java

  •

  Other

  •1.8k•3•0•1•Updated May 11, 2025May 11, 2025

• train-ticket-microservices

  Public
  Java

  •

  Apache License 2.0

  •3•1•0•0•Updated May 5, 2025May 5, 2025

• cimet

  Public
  Temporal Parser that creates dataset of Microservice Architecture over time

  Java

  •

  MIT License

  •8•4•5•0•Updated Mar 18, 2025Mar 18, 2025

• MicroService-Visualization-UoA

  Public
  TypeScript

  •5•0•0•0•Updated Jan 24, 2025Jan 24, 2025

• mvp

  Public
  Microservice Analysis Platform

  TypeScript

  •1•2•1•0•Updated Oct 12, 2024Oct 12, 2024

• Microservice-Test-Coverage-Metrics

  Public
  Tool to extract E2E test coverage metrics for Java Microservice Projects

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated May 27, 2024May 27, 2024

• cimetOld

  Public
  Capstone Spring 2024 Project | Change impact analysis tool for microservices on git commits.

  Java

  •

  MIT License

  •8•3•0•0•Updated May 9, 2024May 9, 2024

• prophet

  Public
  Java

  •

  Apache License 2.0

  •0•3•3•1•Updated May 7, 2024May 7, 2024

• train-ticket

  Public
  Train Ticket - A Benchmark Microservice System

  Java

  •

  Apache License 2.0

  •423•0•0•0•Updated Apr 24, 2024Apr 24, 2024

• train-ticket-monolith

  Public
  JavaScript

  •0•3•0•0•Updated Apr 23, 2024Apr 23, 2024

• Distributed-Systems-Semantic-Clone-Detector

  Public
  Java

  •

  MIT License

  •8•0•0•0•Updated Mar 17, 2024Mar 17, 2024

• prophet-utils

  Public
  Library for analysis of enterprise system source code

  Java

  •

  Apache License 2.0

  •5•2•2•5•Updated Feb 2, 2024Feb 2, 2024

• microservice-tests

  Public
  HTML

  •1•1•0•0•Updated Jan 28, 2024Jan 28, 2024

• microservice-visualization

  Public
  Microservice Visualization Platform

  TypeScript

  •1•0•0•0•Updated Dec 5, 2023Dec 5, 2023

• complete-test-coverage-cloud-native

  Public
  Prototype tool for End-to-End Microservice Test Coverage Metric Extraction

  Java

  •1•0•0•0•Updated Nov 16, 2023Nov 16, 2023

• microservice-test-coverage

  Public
  Java

  •0•0•0•0•Updated Nov 10, 2023Nov 10, 2023

• Microservice-AI-Reasoning

  Public
  Python

  •0•0•0•0•Updated Oct 12, 2023Oct 12, 2023

• prophet-utils-app

  Public
  Java

  •

  Apache License 2.0

  •2•3•2•3•Updated Oct 8, 2023Oct 8, 2023

• prophet-web

  Public
  Displays communication diagram, context map and bounded context of microservice mesh

  TypeScript

  •1•0•4•3•Updated Oct 8, 2023Oct 8, 2023

• prophet2

  Public
  A system utilizing static analysis to reconstruct a microservice call graph and bounded context

  Rust

  •

  Apache License 2.0

  •1•0•2•1•Updated Aug 31, 2023Aug 31, 2023

• website

  Public
  cloudhubs.ecs.baylor.edu website

  TypeScript

  •0•0•0•0•Updated Jun 14, 2023Jun 14, 2023

• test-coverage-frontend

  Public
  JavaScript

  •0•0•0•0•Updated Jun 12, 2023Jun 12, 2023

• test-coverage-backend

  Public
  Java

  •0•0•0•0•Updated May 24, 2023May 24, 2023