乐胖代购免代理版

{"id":"https://openalex.org/W2143504670","doi":"https://doi.org/10.1145/1370042.1370059","title":"Evaluating test adequacy coverage of high level petri nets using spin","display_name":"Evaluating test adequacy coverage of high level petri nets using spin","publication_year":2008,"publication_date":"2008-05-11","ids":{"openalex":"https://openalex.org/W2143504670","doi":"https://doi.org/10.1145/1370042.1370059","mag":"2143504670"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1370042.1370059","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":"http://users.cs.fiu.edu/~clarkep/papers/techReportFIU4/TR-SCIS-2006-02.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049161723","display_name":"Junhua Ding","orcid":"https://orcid.org/0000-0002-9394-6748"},"institutions":[{"id":"https://openalex.org/I186335123","display_name":"East Carolina University","ror":"https://ror.org/01vx35703","country_code":"US","type":"education","lineage":["https://openalex.org/I186335123"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Junhua Ding","raw_affiliation_strings":["East Carolina University, Greenville, NC, USA"],"affiliations":[{"raw_affiliation_string":"East Carolina University, Greenville, NC, USA","institution_ids":["https://openalex.org/I186335123"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037493567","display_name":"Gonzalo Argote-Garcia","orcid":null},"institutions":[{"id":"https://openalex.org/I19700959","display_name":"Florida International University","ror":"https://ror.org/02gz6gg07","country_code":"US","type":"education","lineage":["https://openalex.org/I19700959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gonzalo Argote-Garcia","raw_affiliation_strings":["Florida International University, Miami, FL, USA"],"affiliations":[{"raw_affiliation_string":"Florida International University, Miami, FL, USA","institution_ids":["https://openalex.org/I19700959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081631326","display_name":"Peter Clarke","orcid":"https://orcid.org/0000-0003-0892-1907"},"institutions":[{"id":"https://openalex.org/I19700959","display_name":"Florida International University","ror":"https://ror.org/02gz6gg07","country_code":"US","type":"education","lineage":["https://openalex.org/I19700959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter J. Clarke","raw_affiliation_strings":["Florida International University, Miami, FL, USA"],"affiliations":[{"raw_affiliation_string":"Florida International University, Miami, FL, USA","institution_ids":["https://openalex.org/I19700959"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101463431","display_name":"Xudong He","orcid":"https://orcid.org/0000-0002-9879-6232"},"institutions":[{"id":"https://openalex.org/I19700959","display_name":"Florida International University","ror":"https://ror.org/02gz6gg07","country_code":"US","type":"education","lineage":["https://openalex.org/I19700959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xudong He","raw_affiliation_strings":["Florida International University, Miami, FL, USA"],"affiliations":[{"raw_affiliation_string":"Florida International University, Miami, FL, USA","institution_ids":["https://openalex.org/I19700959"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.378,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":4,"citation_normalized_percentile":{"value":0.404647,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":76,"max":78},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997,"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.9997,"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/T10142","display_name":"Formal Methods in Verification","score":0.9992,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.999,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/promela","display_name":"Promela","score":0.9489022},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.53147393},{"id":"https://openalex.org/keywords/software-quality-assurance","display_name":"Software quality assurance","score":0.44151428},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.42700842}],"concepts":[{"id":"https://openalex.org/C2776329536","wikidata":"https://www.wikidata.org/wiki/Q948666","display_name":"Promela","level":3,"score":0.9489022},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.87239265},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7746819},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5780379},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.54895616},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.53276294},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.53147393},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5091819},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.48869637},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.48748088},{"id":"https://openalex.org/C2776969324","wikidata":"https://www.wikidata.org/wiki/Q613918","display_name":"Software quality assurance","level":5,"score":0.44151428},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.42700842},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4193133},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41678506},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.36729112},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3551389},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.25445867},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0976125},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.09708795},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1370042.1370059","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.7750","pdf_url":"http://users.cs.fiu.edu/~clarkep/papers/techReportFIU4/TR-SCIS-2006-02.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":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.7750","pdf_url":"http://users.cs.fiu.edu/~clarkep/papers/techReportFIU4/TR-SCIS-2006-02.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},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.42}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":16,"referenced_works":["https://openalex.org/W1558093988","https://openalex.org/W1596952922","https://openalex.org/W1910771831","https://openalex.org/W1943502734","https://openalex.org/W1965171366","https://openalex.org/W2018183363","https://openalex.org/W2043292640","https://openalex.org/W2055647675","https://openalex.org/W2139378910","https://openalex.org/W2144880828","https://openalex.org/W2149843953","https://openalex.org/W2172253171","https://openalex.org/W21738827","https://openalex.org/W2176296250","https://openalex.org/W2561675875","https://openalex.org/W68069235"],"related_works":["https://openalex.org/W2969249757","https://openalex.org/W2955578429","https://openalex.org/W2805121372","https://openalex.org/W2575479576","https://openalex.org/W2127907166","https://openalex.org/W2012041320","https://openalex.org/W1982940311","https://openalex.org/W1601757209","https://openalex.org/W1517246617","https://openalex.org/W1494631264"],"abstract_inverted_index":{"How":[0],"to":[1,46,89,116,127],"ensure":[2],"the":[3,38,42,48,76,82,91],"quality":[4,26],"of":[5,41,51,85],"complex":[6],"software":[7,16,25],"systems":[8],"is":[9,69,87],"a":[10,33,64,72,111],"grand":[11],"challenge.":[12],"Formal":[13],"methods":[14],"and":[15,81,93,120],"testing":[17],"techniques":[18],"are":[19],"two":[20],"major":[21],"complementary":[22],"approaches":[23],"for":[24,79,99],"assurance.":[27],"In":[28,61],"this":[29],"paper,":[30],"we":[31],"present":[32],"unique":[34],"approach":[35],"that":[36],"uses":[37],"simulation":[39,83],"capability":[40,84],"Spin":[43,86],"model":[44],"checker":[45],"evaluate":[47,94],"test":[49,96],"adequacy":[50],"high":[52,65,100,106],"level":[53,66,101,107],"Petri":[54,67,102,108],"nets":[55,109],"based":[56],"on":[57],"various":[58],"coverage":[59,97],"criteria.":[60],"our":[62,118,121],"approach,":[63,119],"net":[68],"expressed":[70],"as":[71,110,131],"program":[73,92],"in":[74],"Promela,":[75],"input":[77],"language":[78],"Spin,":[80],"used":[88],"execute":[90],"different":[95],"criteria":[98],"nets.":[103],"We":[104],"use":[105],"concrete":[112],"formal":[113,129],"specification":[114],"method":[115],"demonstrate":[117],"results":[122],"can":[123],"be":[124],"easily":[125],"generalized":[126],"other":[128],"models":[130],"well.":[132]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2143504670","counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2024-12-08T23:24:56.078660","created_date":"2016-06-24"}