INRIA / INRIA/spoon

How to Implement Angelic Value with Spoon for APR

Open
#5,803 0 comments 0 reactions 0 assignees View on GitHub
bug
Dominant language
Java
Stars
2k
Forks
392
Avg merge
11h 24m
Merged PRs (30d)
36

Description

### Describe the bug

I am exploring how to implement angelic value computation within Java programs using Spoon, inspired by its use in tools such as Nopol.

Angelic values are hypothetical values used in conditional statements that can make failing test cases pass, and are crucial for identifying necessary changes to fix buggy code.

I would appreciate some guidance on the following:

1. Does Spoon support runtime tracing or manipulation of code during test execution to detect such values?

2. How can Spoon be used to dynamically modify code to test different "angelic" conditions?

Thank you for your insights!

### Source code you are trying to analyze/transform

_No response_

### Source code for your Spoon processing

_No response_

### Actual output

_No response_

### Expected output

_No response_

### Spoon Version

11.0.0

### JVM Version

latest

### What operating system are you using?

MACOS

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.