Development · Java · By ArabelaTso

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

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

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

Automatically generates executable test cases from model checking counterexample traces.

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

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

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

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

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

ArabelaTso/Skills-4-SE