Java · By ArabelaTso

Automatically migrate Spring MVC applications to Spring Boot.

ArabelaTso/Skills-4-SE

Instrument programs (Python, C/C++, Java) to capture snapshots of key program states at runtime, including variables, memory, and call stacks.

ArabelaTso/Skills-4-SE

Instruments code to track the flow of untrusted or sensitive data at runtime, enabling detection of injection vulnerabilities, data leaks, and privilege violations.

ArabelaTso/Skills-4-SE

Identifies boundaries between modules or components in software systems through static code analysis and dependency detection.

ArabelaTso/Skills-4-SE

Identify and replace deprecated API usage in source code with modern alternatives.

ArabelaTso/Skills-4-SE

Identifies non-deterministic or unreliable tests through static code analysis and test result analysis.

ArabelaTso/Skills-4-SE

Profile programs at the function/method level to identify performance hotspots, bottlenecks, and optimization opportunities.

ArabelaTso/Skills-4-SE

Instruments authentication, authorization, and input-handling code paths to monitor security-relevant events and states at runtime.

ArabelaTso/Skills-4-SE

Verify code correctness statically against specifications using type checking, contract verification, and formal methods.

ArabelaTso/Skills-4-SE

Automatically reduces bug-triggering test cases to minimal form while preserving the failure.

ArabelaTso/Skills-4-SE

Automatically extract abstract finite-state models in SMV/NuSMV format from source code (C/C++, Java, Python) for formal model checking.

ArabelaTso/Skills-4-SE

Automatically repair buggy code and generate comprehensive tests for Python, Java, and C++ programs.

ArabelaTso/Skills-4-SE

Generate Dockerfiles, Docker Compose configurations, and Kubernetes manifests for containerizing applications.

ArabelaTso/Skills-4-SE

Automatically generates executable test cases from model checking counterexample traces.

ArabelaTso/Skills-4-SE

Validate API consistency between two versions of Java libraries.

ArabelaTso/Skills-4-SE

Translate source code between programming languages at function, class, and module levels while preserving behavior and generating verification tests.

ArabelaTso/Skills-4-SE

Converts pseudocode descriptions and algorithm specifications into complete, executable Java code.

ArabelaTso/Skills-4-SE

Generates meaningful comments and documentation for code to improve maintenance and readability.

ArabelaTso/Skills-4-SE

Convert code between programming languages while preserving functionality and semantics.

ArabelaTso/Skills-4-SE

Selectively instruments code to capture runtime data for debugging failures and bugs.

ArabelaTso/Skills-4-SE

Extract abstract mathematical models from imperative code (C, C++, Python, Java, etc.) suitable for formal reasoning in Coq.

ArabelaTso/Skills-4-SE

Automatically updates regression tests based on interval analysis to maintain coverage of key program intervals.

ArabelaTso/Skills-4-SE

Automatically infer loop invariants for code verification and correctness proofs.

ArabelaTso/Skills-4-SE

Automatically generate regression tests for Java codebases by analyzing changes between old and new code versions.

ArabelaTso/Skills-4-SE

Generate unit tests with proper mocking for Python (unittest.mock/pytest) or Java (Mockito/JUnit) code.

ArabelaTso/Skills-4-SE

Generates complete modules and components from interface contracts and specifications.

ArabelaTso/Skills-4-SE

Instruments programs to record execution information for deterministic replay debugging.

ArabelaTso/Skills-4-SE

Explains runtime errors and compilation failures with actionable debugging guidance.

ArabelaTso/Skills-4-SE

Performs symbolic execution to detect potential errors by exploring execution paths, solving path constraints, and generating test inputs.

ArabelaTso/Skills-4-SE

Generates automated test oracles to verify correct software behavior.

ArabelaTso/Skills-4-SE

Automatically generates comprehensive unit tests for functions, classes, and modules.

ArabelaTso/Skills-4-SE

Generate test assertions from existing code implementation. An agent skill from ArabelaTso/Skills-4-SE.

ArabelaTso/Skills-4-SE

Automatically instruments source code to collect runtime information such as function calls, branch decisions, variable values, and execution traces while preserving original program semantics.

ArabelaTso/Skills-4-SE

Analyzes and optimizes code for better performance, memory usage, and efficiency.

ArabelaTso/Skills-4-SE

Incrementally implement new features in Java repositories from natural language descriptions.

ArabelaTso/Skills-4-SE

Update Java test classes and methods to work with new code versions after refactoring or modifications.

ArabelaTso/Skills-4-SE

Generate implementation code that passes existing unit tests.

ArabelaTso/Skills-4-SE