乐胖代购免代理版

{"id":"https://openalex.org/W2109892325","doi":"https://doi.org/10.1145/2594291.2594329","title":"Compositional solution space quantification for probabilistic software analysis","display_name":"Compositional solution space quantification for probabilistic software analysis","publication_year":2014,"publication_date":"2014-05-13","ids":{"openalex":"https://openalex.org/W2109892325","doi":"https://doi.org/10.1145/2594291.2594329","mag":"2109892325"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2594291.2594329","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ntrs.nasa.gov/api/citations/20150004088/downloads/20150004088.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013853717","display_name":"Mateus Borges","orcid":null},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Mateus Borges","raw_affiliation_strings":["Federal University of Pernambuco, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083739081","display_name":"Antonio Filieri","orcid":"https://orcid.org/0000-0001-9646-646X"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Antonio Filieri","raw_affiliation_strings":["University of Stuttgart, Germany"],"affiliations":[{"raw_affiliation_string":"University of Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020353093","display_name":"Marcelo d\u2019Amorim","orcid":"https://orcid.org/0000-0002-1323-8769"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marcelo d'Amorim","raw_affiliation_strings":["Federal University of Pernambuco, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053134485","display_name":"Corina S. P\u0103s\u0103reanu","orcid":"https://orcid.org/0000-0002-5579-6961"},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Corina S. P\u0103s\u0103reanu","raw_affiliation_strings":["CMU SV/NASA Ames Research Center#TAB#"],"affiliations":[{"raw_affiliation_string":"CMU SV/NASA Ames Research Center#TAB#","institution_ids":["https://openalex.org/I1280536761"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088454541","display_name":"Willem Visser","orcid":"https://orcid.org/0000-0002-0913-3091"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Willem Visser","raw_affiliation_strings":["[University of Stellenbosch, South Africa]"],"affiliations":[{"raw_affiliation_string":"[University of Stellenbosch, South Africa]","institution_ids":["https://openalex.org/I26092322"]}]}],"institution_assertions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.688,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":47,"citation_normalized_percentile":{"value":0.998097,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"123","last_page":"132"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9999,"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.9999,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998,"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/T10260","display_name":"Software Engineering Research","score":0.9992,"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/fraction","display_name":"Fraction (chemistry)","score":0.48051414}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7720171},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.74887043},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.61150634},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5500542},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5467105},{"id":"https://openalex.org/C149629883","wikidata":"https://www.wikidata.org/wiki/Q660926","display_name":"Fraction (chemistry)","level":2,"score":0.48051414},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.42866802},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4206247},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3753594},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3483498},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.21112856},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19216141},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18302494},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15755296},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2594291.2594329","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hdl.handle.net/2060/20150004088","pdf_url":"https://ntrs.nasa.gov/api/citations/20150004088/downloads/20150004088.pdf","source":{"id":"https://openalex.org/S4377196257","display_name":"NASA STI Repository (National Aeronautics and Space Administration)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210124779","host_organization_name":"National Aeronautics and Space Administration","host_organization_lineage":["https://openalex.org/I4210124779"],"host_organization_lineage_names":["National Aeronautics and Space Administration"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"http://hdl.handle.net/10044/1/33314","pdf_url":"http://spiral.imperial.ac.uk/bitstream/10044/1/33314/2/2014-pldi.pdf","source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.716.8800","pdf_url":"http://www.cin.ufpe.br/%7Edamorim/publications/borges-etal-pldi2014.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hdl.handle.net/2060/20150004088","pdf_url":"https://ntrs.nasa.gov/api/citations/20150004088/downloads/20150004088.pdf","source":{"id":"https://openalex.org/S4377196257","display_name":"NASA STI Repository (National Aeronautics and Space Administration)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210124779","host_organization_name":"National Aeronautics and Space Administration","host_organization_lineage":["https://openalex.org/I4210124779"],"host_organization_lineage_names":["National Aeronautics and Space Administration"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320337387","funder_display_name":"Division of Computing and Communication Foundations","award_id":"CCF-1329278, CCF-1319858"}],"datasets":[],"versions":[],"referenced_works_count":39,"referenced_works":["https://openalex.org/W130710483","https://openalex.org/W1668919413","https://openalex.org/W1738124305","https://openalex.org/W1859458367","https://openalex.org/W1975447428","https://openalex.org/W1985093013","https://openalex.org/W2000280333","https://openalex.org/W2001452086","https://openalex.org/W2011367000","https://openalex.org/W2014894062","https://openalex.org/W2042619750","https://openalex.org/W2047694629","https://openalex.org/W2048025009","https://openalex.org/W2060573639","https://openalex.org/W2073787328","https://openalex.org/W2078988604","https://openalex.org/W2096449544","https://openalex.org/W2101512909","https://openalex.org/W2104044130","https://openalex.org/W2109276114","https://openalex.org/W2110311336","https://openalex.org/W2110908283","https://openalex.org/W2112347632","https://openalex.org/W2120585094","https://openalex.org/W2130514924","https://openalex.org/W2131695829","https://openalex.org/W2154413134","https://openalex.org/W2166384105","https://openalex.org/W2432517183","https://openalex.org/W2923067418","https://openalex.org/W3004157836","https://openalex.org/W3101972507","https://openalex.org/W3144730817","https://openalex.org/W4237492309","https://openalex.org/W4239146293","https://openalex.org/W4255298020","https://openalex.org/W4292691288","https://openalex.org/W5385147","https://openalex.org/W586540673"],"related_works":["https://openalex.org/W3136891595","https://openalex.org/W2897881820","https://openalex.org/W2368237856","https://openalex.org/W2345647014","https://openalex.org/W2201192772","https://openalex.org/W2161960196","https://openalex.org/W2002739602","https://openalex.org/W1968042686","https://openalex.org/W1964819397","https://openalex.org/W178140751"],"abstract_inverted_index":{"Probabilistic":[0],"software":[1],"analysis":[2],"aims":[3],"at":[4],"quantifying":[5],"how":[6],"likely":[7],"a":[8,77],"target":[9,30],"event":[10,31],"is":[11,47],"to":[12,23,27,34,50,70,72],"occur":[13],"during":[14],"program":[15],"execution.":[16],"Current":[17],"approaches":[18,67],"rely":[19],"on":[20],"symbolic":[21],"execution":[22],"identify":[24],"the":[25,29,36,39],"conditions":[26],"reach":[28],"and":[32],"try":[33],"quantify":[35],"fraction":[37],"of":[38],"input":[40],"domain":[41],"satisfying":[42],"these":[43],"conditions.":[44],"Precise":[45],"quantification":[46],"usually":[48],"limited":[49],"linear":[51],"constraints,":[52],"while":[53],"only":[54],"approximate":[55],"solutions":[56],"can":[57],"be":[58],"provided":[59],"in":[60],"general":[61],"through":[62],"statistical":[63,66],"approaches.":[64],"However,":[65],"may":[68],"fail":[69],"converge":[71],"an":[73],"acceptable":[74],"accuracy":[75],"within":[76],"reasonable":[78],"time.":[79]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2109892325","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":6}],"updated_date":"2024-12-22T15:11:42.818125","created_date":"2016-06-24"}