AML14 / tratto

2 stars 1 forks source link

Look for very simple motivating example that we can use throughout the whole paper #35

Open AML14 opened 1 year ago

AML14 commented 1 year ago

The example should go in the first or second section, similarly to what is done in the TOGA [1] or SEER [2] paper. This example should include the code of the unit, the generated oracle, etc, i.e., all necessary information to easily understand the problem and our solution.

This issue involves not only looking for a nice example, but also including it in the paper.

Check TOGA and SEER examples: [1] TOGA: https://dl.acm.org/doi/pdf/10.1145/3510003.3510141 [2] SEER: https://dl.acm.org/doi/pdf/10.1145/3540250.3549086