-
Notifications
You must be signed in to change notification settings - Fork 5
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
Round I: papers that contain phrase "symbolic execution" in title #1
Comments
@c71n93 Thanks for the note! What are the titles of mentioned papers please? |
@mximp I put them in the report: 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) |
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: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.
The text was updated successfully, but these errors were encountered: