{"id":"https://openalex.org/W1151913765","doi":null,"title":"Discovery Over Application: A Case Study of Misaligned Incentives in Software Engineering","display_name":"Discovery Over Application: A Case Study of Misaligned Incentives in Software Engineering","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W1151913765","mag":"1151913765"},"language":"en","primary_location":{"id":"pmh:oai:digitalcommons.unl.edu:computerscidiss-1106","doi":null,"is_oa":true,"landing_page_url":"https://digitalcommons.unl.edu/computerscidiss/90","pdf_url":"http://digitalcommons.unl.edu/computerscidiss/90","source":{"id":"https://openalex.org/S4306400577","display_name":"Lincoln (University of Nebraska)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I114395901","host_organization_name":"University of Nebraska\u2013Lincoln","host_organization_lineage":["https://openalex.org/I114395901"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"School of Computing: Dissertations, Theses, and Student Research","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://digitalcommons.unl.edu/computerscidiss/90","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020000401","display_name":"Eric F. Rizzi","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Eric F. Rizzi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5020000401"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9099,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.87444254,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8560000061988831,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8560000061988831,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10430","display_name":"Software Engineering Techniques and Practices","score":0.06560000032186508,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.038100000470876694,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/klee","display_name":"KLEE","score":0.9190000295639038},{"id":"https://openalex.org/keywords/software-verification","display_name":"software verification","score":0.3109999895095825},{"id":"https://openalex.org/keywords/dynamic-binary-analysis","display_name":"dynamic binary analysis","score":0.6309999823570251},{"id":"https://openalex.org/keywords/misaligned-incentives","display_name":"incentive misalignment","score":0.656000018119812},{"id":"https://openalex.org/keywords/research-reproducibility","display_name":"research reproducibility","score":0.7089999914169312},{"id":"https://openalex.org/keywords/replication","display_name":"replication","score":0.5899999737739563},{"id":"https://openalex.org/keywords/performance-optimization","display_name":"performance optimization","score":0.4970000088214874},{"id":"https://openalex.org/keywords/research-impact","display_name":"research impact","score":0.3050000071525574},{"id":"https://openalex.org/keywords/citation-analysis","display_name":"citation analysis","score":0.5550000071525574}],"concepts":[{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5273681282997131},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5207203030586243},{"id":"https://openalex.org/C29122968","wikidata":"https://www.wikidata.org/wiki/Q1414816","display_name":"Incentive","level":2,"score":0.5039448142051697},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46922218799591064},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3621675968170166},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.34116074442863464},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.17849409580230713},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15905484557151794},{"id":"https://openalex.org/C175444787","wikidata":"https://www.wikidata.org/wiki/Q39072","display_name":"Microeconomics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:digitalcommons.unl.edu:computerscidiss-1106","doi":null,"is_oa":true,"landing_page_url":"https://digitalcommons.unl.edu/computerscidiss/90","pdf_url":"http://digitalcommons.unl.edu/computerscidiss/90","source":{"id":"https://openalex.org/S4306400577","display_name":"Lincoln (University of Nebraska)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I114395901","host_organization_name":"University of Nebraska\u2013Lincoln","host_organization_lineage":["https://openalex.org/I114395901"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"School of Computing: Dissertations, Theses, and Student Research","raw_type":"text"},{"id":"mag:1151913765","doi":null,"is_oa":false,"landing_page_url":"https://digitalcommons.unl.edu/cgi/viewcontent.cgi?article=1106&context=computerscidiss","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:digitalcommons.unl.edu:computerscidiss-1106","doi":null,"is_oa":true,"landing_page_url":"https://digitalcommons.unl.edu/computerscidiss/90","pdf_url":"http://digitalcommons.unl.edu/computerscidiss/90","source":{"id":"https://openalex.org/S4306400577","display_name":"Lincoln (University of Nebraska)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I114395901","host_organization_name":"University of Nebraska\u2013Lincoln","host_organization_lineage":["https://openalex.org/I114395901"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"School of Computing: Dissertations, Theses, and Student Research","raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1151913765.pdf","grobid_xml":"https://content.openalex.org/works/W1151913765.grobid-xml"},"referenced_works_count":88,"referenced_works":["https://openalex.org/W51612467","https://openalex.org/W116894366","https://openalex.org/W165093678","https://openalex.org/W208073541","https://openalex.org/W241804591","https://openalex.org/W1031460189","https://openalex.org/W1436965661","https://openalex.org/W1494749758","https://openalex.org/W1503159836","https://openalex.org/W1515180657","https://openalex.org/W1518705996","https://openalex.org/W1522692903","https://openalex.org/W1548377710","https://openalex.org/W1548806133","https://openalex.org/W1557422289","https://openalex.org/W1558097898","https://openalex.org/W1561959476","https://openalex.org/W1575463707","https://openalex.org/W1584710274","https://openalex.org/W1634837753","https://openalex.org/W1710734607","https://openalex.org/W1744676300","https://openalex.org/W1934855418","https://openalex.org/W1966151649","https://openalex.org/W1978727723","https://openalex.org/W1982206931","https://openalex.org/W1990880047","https://openalex.org/W2002758617","https://openalex.org/W2005140737","https://openalex.org/W2008985174","https://openalex.org/W2009526138","https://openalex.org/W2009956228","https://openalex.org/W2013382827","https://openalex.org/W2017932409","https://openalex.org/W2032593675","https://openalex.org/W2034301067","https://openalex.org/W2036804147","https://openalex.org/W2038997378","https://openalex.org/W2042033151","https://openalex.org/W2042410326","https://openalex.org/W2047165792","https://openalex.org/W2051256740","https://openalex.org/W2055043387","https://openalex.org/W2055770200","https://openalex.org/W2060573639","https://openalex.org/W2062200967","https://openalex.org/W2062271242","https://openalex.org/W2062392785","https://openalex.org/W2064161267","https://openalex.org/W2076960126","https://openalex.org/W2087115492","https://openalex.org/W2091979577","https://openalex.org/W2092388562","https://openalex.org/W2092993939","https://openalex.org/W2101512909","https://openalex.org/W2106956101","https://openalex.org/W2109493568","https://openalex.org/W2110311336","https://openalex.org/W2111768655","https://openalex.org/W2112448454","https://openalex.org/W2113533445","https://openalex.org/W2114780348","https://openalex.org/W2118283821","https://openalex.org/W2119031905","https://openalex.org/W2125741004","https://openalex.org/W2128127670","https://openalex.org/W2130514924","https://openalex.org/W2135584970","https://openalex.org/W2140566320","https://openalex.org/W2146141344","https://openalex.org/W2151532300","https://openalex.org/W2153185479","https://openalex.org/W2155216527","https://openalex.org/W2162360270","https://openalex.org/W2163450822","https://openalex.org/W2163499368","https://openalex.org/W2163592454","https://openalex.org/W2164649341","https://openalex.org/W2170949692","https://openalex.org/W2188214148","https://openalex.org/W2199071416","https://openalex.org/W2331384579","https://openalex.org/W2398729674","https://openalex.org/W4245197793","https://openalex.org/W4245509418","https://openalex.org/W4246117430","https://openalex.org/W6921038806","https://openalex.org/W6940111377"],"related_works":["https://openalex.org/W2367183013","https://openalex.org/W150392630","https://openalex.org/W2280096177","https://openalex.org/W2624748643","https://openalex.org/W2330644192","https://openalex.org/W2092190216","https://openalex.org/W2561313187","https://openalex.org/W2356806207","https://openalex.org/W2049749924","https://openalex.org/W2903045111"],"abstract_inverted_index":{"In":[0],"this":[1,90,223],"thesis,":[2],"we":[3,31,79,92,143,152,216],"present":[4],"evidence":[5],"that":[6,46,55,83,100,145,151,172,205],"there":[7],"is":[8,98,107],"an":[9,228],"under-emphasis":[10],"on":[11,35,141],"the":[12,22,25,71,85,103,131,138,148],"application":[13],"of":[14,24,48,105,147,166],"software":[15],"systems":[16],"in":[17,70],"Software":[18],"Engineering":[19],"research,":[20],"affecting":[21],"advancement":[23],"field":[26],"as":[27,227],"a":[28,33,37,117,175,178,203],"whole.":[29],"Specifically,":[30],"perform":[32],"case-study":[34],"KLEE,":[36,121,142],"tool":[38,181],"with":[39],"over":[40],"1000":[41],"citations.":[42],"We":[43],"made":[44],"improvements":[45,128],"consisted":[47],"fixing":[49],"performance":[50,62],"bugs":[51],"and":[52,122,211,239],"implementing":[53],"optimizations":[54],"have":[56,155],"become":[57],"common":[58],"practice,":[59],"increasing":[60],"KLEE's":[61],"by":[63,76],"2-11X.":[64],"To":[65,214],"understand":[66,115,125,198,231],"how":[67,116,126,137],"techniques":[68,193],"proposed":[69],"literature":[72],"would":[73,129],"be":[74],"affected":[75],"these":[77,167,191],"improvements,":[78],"analyzed":[80],"100":[81],"papers":[82,150,169],"cited":[84],"original":[86],"KLEE":[87,176,179,226],"paper.":[88],"From":[89],"analysis":[91],"found":[93],"two":[94],"things.":[95],"First,":[96],"it":[97,109,195],"clear":[99],"coherence":[101],"to":[102,114,124,182,197,208,221,230],"principles":[104],"replication":[106],"lacking;":[108],"was":[110],"often":[111],"very":[112],"difficult":[113,196],"particular":[118],"study":[119],"used":[120],"therefore":[123],"our":[127],"affect":[130],"study.":[132],"Second,":[133],"when":[134],"conservatively":[135],"estimating":[136],"studies":[139,171],"relied":[140],"believe":[144],"seven":[146,168],"21":[149],"investigated":[153],"could":[154],"their":[156,232],"conclusions":[157],"significantly":[158],"strengthened":[159],"or":[160,177],"weakened.":[161],"Upon":[162],"closer":[163],"investigation,":[164],"six":[165],"involved":[170],"directly":[173],"compared":[174],"dependent":[180],"some":[183],"other":[184],"tool.":[185],"The":[186],"potential":[187],"for":[188],"mis-application":[189],"within":[190],"competing":[192],"makes":[194],"which":[199],"observations":[200],"are":[201],"true,":[202],"situation":[204],"potentially":[206],"leads":[207],"wasted":[209],"effort":[210],"slowed":[212],"progress.":[213],"conclude,":[215],"examine":[217],"several":[218],"recent":[219],"proposals":[220],"address":[222],"under-emphasis,":[224],"using":[225],"exemplar":[229],"likely":[233],"effects.":[234],"Advisors:":[235],"Matthew":[236],"B.":[237],"Dwyer":[238],"Sebastian":[240],"Elbaum":[241]},"counts_by_year":[{"year":2016,"cited_by_count":2}],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2016-06-24T00:00:00"}