Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add a test-case generalization tool #258

Open
agroce opened this issue Oct 18, 2019 · 0 comments
Open

Add a test-case generalization tool #258

agroce opened this issue Oct 18, 2019 · 0 comments

Comments

@agroce
Copy link
Member

@agroce agroce commented Oct 18, 2019

Adapt the approach taken in TSTL: https://agroce.github.io/issta17.pdf

That is, given a (fully reduce) input, output which bytes MUST have their values, and which can vary (plus which ranges they can vary over). Add some templates like "odd/even" and individual bit values as descriptions of allowed sets of byte values, and dynamically extract OneOf choices.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
1 participant
You can’t perform that action at this time.