engineeringsoftware / teco Goto Github PK

Hi @pengyunie,

Thanks for sharing this repository and congratulations for your ICSE'23 paper.

Any chance you could provide a quick example on how to generate assert statements for an assertless test case using TECO? I'm not interesting in training, fine-tuning, or evaluating TECO or any model as you did in the paper. I would like to just use TECO from a developer / end-user point of view. Any source code on how to instantiate and use TECO's model would be much appreciated.

For instance, assuming I have the following method under test in the Foo class

public int sum(int a, int b) {
    return a + b;
}

and the following assertless test case

@Test
public void testSumOfNegativeValue() {
    Foo foo = new Foo();
    int sum = foo.sum(3, -2);
    // Missing assert or perhaps any other code
}

how would one use TECO to generate the missing code, i.e., any missing assert statement?

Thanks in advance.

--
Best,
Jose

Teco is pretty work.
I'm trying to reproduce it.
However, when I execute the following command, I meet some problems:

inv exp.gen-subset-preds --setup CSNm --model SingleEvaluator-teco-norr --from-set eval-any-stmt/test --to-set eval-runnable-any-stmt/test

The problem is caused by the lack of teco.eval.specs.
Can you share this file with me?
Thank you very much.