{"id":"https://openalex.org/W3025017678","doi":"https://doi.org/10.1145/3387939.3388616","title":"Collective risk minimization via a bayesian model for statistical software testing","display_name":"Collective risk minimization via a bayesian model for statistical software testing","publication_year":2020,"publication_date":"2020-06-29","ids":{"openalex":"https://openalex.org/W3025017678","doi":"https://doi.org/10.1145/3387939.3388616","mag":"3025017678"},"language":"en","primary_location":{"id":"doi:10.1145/3387939.3388616","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3387939.3388616","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2005.07460","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056637057","display_name":"Joachim Haensel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Joachim Haensel","raw_affiliation_strings":[""],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085962666","display_name":"C. Adriano","orcid":"https://orcid.org/0000-0003-2588-9937"},"institutions":[{"id":"https://openalex.org/I143288331","display_name":"Hasso Plattner Institute","ror":"https://ror.org/058rn5r42","country_code":"DE","type":"facility","lineage":["https://openalex.org/I143288331","https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian M. Adriano","raw_affiliation_strings":["","Hasso Plattner Institute, Potsdam, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]},{"raw_affiliation_string":"Hasso Plattner Institute, Potsdam, Germany","institution_ids":["https://openalex.org/I143288331"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010468415","display_name":"Johannes Dyck","orcid":"https://orcid.org/0000-0002-1111-5845"},"institutions":[{"id":"https://openalex.org/I143288331","display_name":"Hasso Plattner Institute","ror":"https://ror.org/058rn5r42","country_code":"DE","type":"facility","lineage":["https://openalex.org/I143288331","https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Johannes Dyck","raw_affiliation_strings":["","Hasso Plattner Institute, Potsdam, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]},{"raw_affiliation_string":"Hasso Plattner Institute, Potsdam, Germany","institution_ids":["https://openalex.org/I143288331"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026454561","display_name":"Holger Giese","orcid":"https://orcid.org/0000-0002-4723-730X"},"institutions":[{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Holger Giese","raw_affiliation_strings":["","University of Potsdam, Potsdam, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]},{"raw_affiliation_string":"University of Potsdam, Potsdam, Germany","institution_ids":["https://openalex.org/I176453806"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06861575,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"45","last_page":"56"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9977999925613403,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9977999925613403,"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9689000248908997,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6229896545410156},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6039466261863708},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5270566940307617},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.48905715346336365},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.48416048288345337},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.4764155149459839},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.47499290108680725},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.44643932580947876},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4359263777732849},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4285601079463959},{"id":"https://openalex.org/keywords/bayesian-inference","display_name":"Bayesian inference","score":0.42036929726600647},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.39337044954299927},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.3745632767677307},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24959173798561096},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2087583839893341},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10379883646965027}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6229896545410156},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6039466261863708},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5270566940307617},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48905715346336365},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.48416048288345337},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.4764155149459839},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.47499290108680725},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.44643932580947876},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4359263777732849},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4285601079463959},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.42036929726600647},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.39337044954299927},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.3745632767677307},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24959173798561096},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2087583839893341},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10379883646965027},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3387939.3388616","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3387939.3388616","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2005.07460","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2005.07460","pdf_url":"https://arxiv.org/pdf/2005.07460","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:3025017678","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2005.07460","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2005.07460","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2005.07460","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2005.07460","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2005.07460","pdf_url":"https://arxiv.org/pdf/2005.07460","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.6499999761581421,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3025017678.pdf","grobid_xml":"https://content.openalex.org/works/W3025017678.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W24067677","https://openalex.org/W120583406","https://openalex.org/W1555496414","https://openalex.org/W1555633342","https://openalex.org/W1594948760","https://openalex.org/W1908723292","https://openalex.org/W1947529348","https://openalex.org/W1970727497","https://openalex.org/W2028369901","https://openalex.org/W2033406822","https://openalex.org/W2065236943","https://openalex.org/W2081503608","https://openalex.org/W2082511574","https://openalex.org/W2092388562","https://openalex.org/W2095734307","https://openalex.org/W2106403969","https://openalex.org/W2113004249","https://openalex.org/W2143712427","https://openalex.org/W2150475204","https://openalex.org/W2153513325","https://openalex.org/W2164501290","https://openalex.org/W2169528473","https://openalex.org/W2328067583","https://openalex.org/W2343568200","https://openalex.org/W2546536826","https://openalex.org/W2611912525","https://openalex.org/W2621084978","https://openalex.org/W2750631532","https://openalex.org/W2783187656","https://openalex.org/W2807803476","https://openalex.org/W2811159817","https://openalex.org/W2883788008","https://openalex.org/W2886046126","https://openalex.org/W2888300009","https://openalex.org/W2890375627","https://openalex.org/W2895454319","https://openalex.org/W2899864777","https://openalex.org/W2911097524","https://openalex.org/W2954012954","https://openalex.org/W2963338863","https://openalex.org/W3141976039","https://openalex.org/W4229772528","https://openalex.org/W4243580253"],"related_works":["https://openalex.org/W3088032956","https://openalex.org/W2724075122","https://openalex.org/W2064278351","https://openalex.org/W3182354044","https://openalex.org/W3082123856","https://openalex.org/W3159299998","https://openalex.org/W2358903369","https://openalex.org/W2912679218","https://openalex.org/W2964786500","https://openalex.org/W588754652","https://openalex.org/W2912934232","https://openalex.org/W2900733795","https://openalex.org/W2969153064","https://openalex.org/W3015464617","https://openalex.org/W2286143457","https://openalex.org/W2883616392","https://openalex.org/W1820668170","https://openalex.org/W3003469578","https://openalex.org/W3164187843","https://openalex.org/W2980399648"],"abstract_inverted_index":{"In":[0],"the":[1,5,14,21,57,63,75,83,92,127,140,147,153,171,182,206,221,243,260,279,283],"last":[2],"four":[3],"years,":[4],"number":[6],"of":[7,16,34,44,77,85,94,102,109,129,142,146,150,176,184,190,202,209,223,257],"distinct":[8,274],"autonomous":[9,64,143,211],"vehicles":[10,144],"platforms":[11],"deployed":[12],"in":[13,46,97,131,139,158,220,242,259],"streets":[15],"California":[17],"increased":[18,24],"6-fold,":[19],"while":[20],"reported":[22],"accidents":[23,114,130,185],"12-fold.":[25],"This":[26],"can":[27],"become":[28],"a":[29,41,99,132,159,200,214,227,255],"trend":[30],"with":[31,267,273],"no":[32],"signs":[33],"subsiding":[35],"as":[36],"it":[37],"is":[38,115,137],"fueled":[39],"by":[40,169,186,234],"constant":[42],"stream":[43],"innovations":[45],"hardware":[47],"sensors":[48],"and":[49,59,107,121,225,251,277],"machine":[50],"learning":[51],"software.":[52],"Meanwhile,":[53],"if":[54],"we":[55,67,246],"expect":[56],"public":[58],"regulators":[60],"to":[61,69,73,119,125,165,204,249],"trust":[62],"vehicle":[65],"platforms,":[66],"need":[68],"find":[70],"better":[71],"ways":[72],"solve":[74],"problem":[76,90],"adding":[78],"technological":[79],"complexity":[80],"without":[81],"increasing":[82],"risk":[84,101,128,183,222,253],"accidents.":[86],"We":[87,179,263],"studied":[88],"this":[89,136],"from":[91,269],"perspective":[93],"reliability":[95],"engineering":[96],"which":[98],"given":[100],"an":[103],"accident":[104],"has":[105],"severity":[106],"probability":[108],"occurring.":[110],"Timely":[111],"information":[112],"on":[113,152],"important":[116],"for":[117,192,254,282],"engineers":[118],"anticipate":[120],"reuse":[122],"previous":[123],"failures":[124],"approximate":[126],"new":[133,160],"city.":[134],"However,":[135],"challenging":[138],"context":[141],"because":[145],"sparse":[148],"nature":[149],"data":[151,167,208,268,280],"operational":[154,207,261],"scenarios":[155],"(driving":[156],"trajectories":[157],"city).":[161],"Our":[162,196,238],"approach":[163],"was":[164],"mitigate":[166],"sparsity":[168],"reducing":[170],"state":[172],"space":[173],"through":[174],"monitoring":[175],"multiple-vehicles":[177],"operations.":[178],"then":[180],"minimized":[181],"determining":[187],"proper":[188],"allocation":[189],"tests":[191],"each":[193],"equivalence":[194],"class.":[195],"contributions":[197],"comprise":[198],"(1)":[199],"set":[201],"strategies":[203],"monitor":[205],"multiple":[210],"vehicles,":[212],"(2)":[213],"Bayesian":[215],"model":[216],"that":[217,230,245],"estimates":[218],"changes":[219,258],"accidents,":[224],"(3)":[226],"feedback":[228],"control-loop":[229],"minimizes":[231],"these":[232],"risks":[233],"real-locating":[235],"test":[236],"effort.":[237],"results":[239],"are":[240],"promising":[241],"sense":[244],"were":[247],"able":[248],"measure":[250],"control":[252],"diversity":[256],"scenarios.":[262],"evaluated":[264],"our":[265],"models":[266],"two":[270],"real":[271],"cities":[272],"traffic":[275],"patterns":[276],"made":[278],"available":[281],"community.":[284]},"counts_by_year":[],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}