Round I: papers that contain phrase "symbolic execution" in title

[c71n93]

The last point in round one looks like this: "List of paper references which contain phrase "symbolic execution" in title and are not presetned in the list of primary studies"

In paper 331 there is no references to papers which contain phrase "symbolic execution" in title. But there are two references to papers which are about symbolic execution (but doesn't contain phrase "symbolic execution" in title). This papers was mentioned like this:

• "Recently, Palikareva et al. [7] have introduced a dynamic symbolic execution-based technique, which they refer to as shadow symbolic execution."
• "Their tool Shadow, which we refer to as ShadowKLEE, is implemented on top of the KLEE symbolic execution engine [1]."

It is obvious that this papers are about symbolic execution, but according to requirement we should ignore them. So I think we need rephrase requirement for this.

[mximp]

@c71n93 Thanks for the note! What are the titles of mentioned papers please?

[c71n93]

@mximp I put them in the report: 8.1 C. Cadar, D. Dunbar, and D. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI’08, pages 209–224, Berkeley, CA, USA, 2008. USENIX Association. (paper about KLEE symbolic execution engine)

8.2 H. Palikareva, T. Kuchta, and C. Cadar. Shadow of a doubt: Testing for diver- gences between software versions. In Proceedings of the 38th International Con- ference on Software Engineering, ICSE ’16, pages 1181–1192, New York, NY, USA, 2016. ACM. (paper about shadow symbolic execution)