ARTICLE:ANALYSIS_BY[name] student5 ARTICLE:ANALYSIS_TIME[minutes] 7 ARTICLE:COMMENT[string] ARTICLE:COMMERCIAL_EFFORT[none,part,full] part ARTICLE:GRANT_SUPPORT[none or string] none ARTICLE:NSF-SUPPORT[none or number] none ARTICLE:IMPLEMENTATION_EXISTS[unknown,hardware,yes,no] yes ARTICLE:LINK[url] http://doi.acm.org/10.1145/2254064.2254116 ARTICLE:STATUS[not_finished,finished] finished AUTHOR:NAMES[list of first_last] Patrice_Godefroid Ankur_Taly BIBTEX:LABEL[string] GodefroidT12 BIBTEX:LINK[url] http://dblp.uni-trier.de/rec/bibtex/conf/pldi/GodefroidT12 BUILD:ANALYSIS_BY[name] BUILD:ANALYSIS_TIME[minutes] BUILD:COMMENT[string] BUILD:STATUS[one of {unknown,needed,not_needed,started,finished} and list of {downloaded,compiles,runs}] unknown BUILD:ERROR_COMMENT[none,not_needed,comment] not_needed EMAIL:STATUS[unknown,not_needed,not_found or list of {needed,request_1,response_1,sent_thank_you}] needed request_1 response_1 sent_thank_you PI:COMMENT_CC[string] This indicates they built software of some sort. I think they might be specification files that are input into some sort of system, it's hard to know, I'm not an expert. But they should be able to send us the specifications they built. PI:COMMENT_TP[string] TOOL:NAME[string] TOOL:ARTICLE_LINK[unknown,none,url,broken and url] none TOOL:GOOGLE_LINK[unknown,none,url,broken and url] none TOOL:EMAIL_LINK[unknown,none,sent_no_url,url,broken and url] unknown TOOL:DATA_LINK[unknown,none,url,broken and url] unknown VERIFY:ANALYSIS_BY[name] student1 VERIFY:STATUS[unknown,needed,not_needed,started,finished] finished VERIFY:COMMENT[string] added article link, checked but found no links for implementation | set email to needed, tool name-none EMAIL1:CODE_AVAILABLE[yes,no,no_response] no EMAIL1:REMARK[comment] commercial