乐胖代购免代理版

{"id":"https://openalex.org/W3181896926","doi":"https://doi.org/10.1109/encycris52570.2021.00008","title":"Attack-driven Test Case Generation Approach using Model-checking Technique for Collaborating Systems","display_name":"Attack-driven Test Case Generation Approach using Model-checking Technique for Collaborating Systems","publication_year":2021,"publication_date":"2021-06-01","ids":{"openalex":"https://openalex.org/W3181896926","doi":"https://doi.org/10.1109/encycris52570.2021.00008","mag":"3181896926"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/encycris52570.2021.00008","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076009588","display_name":"Zelalem Mihret","orcid":null},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Zelalem Mihret","raw_affiliation_strings":["Software Engineering Lab (SELab), School of Computing Korea Advanced Institute of Science and Technology (KAIST), Republic of Korea"],"affiliations":[{"raw_affiliation_string":"Software Engineering Lab (SELab), School of Computing Korea Advanced Institute of Science and Technology (KAIST), Republic of Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101614679","display_name":"Lingjun Liu","orcid":"https://orcid.org/0009-0004-1666-5338"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Lingjun Liu","raw_affiliation_strings":["Software Engineering Lab (SELab), School of Computing Korea Advanced Institute of Science and Technology (KAIST), Republic of Korea"],"affiliations":[{"raw_affiliation_string":"Software Engineering Lab (SELab), School of Computing Korea Advanced Institute of Science and Technology (KAIST), Republic of Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.284,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.55835,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":57,"max":67},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"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.9995,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9992,"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/counterexample","display_name":"Counterexample","score":0.8749484},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.5546229},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-Based Testing","score":0.5456829},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.501951},{"id":"https://openalex.org/keywords/representation","display_name":"Representation","score":0.49777225},{"id":"https://openalex.org/keywords/abstraction-model-checking","display_name":"Abstraction model checking","score":0.44655976}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.8749484},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.73468465},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.72130954},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5982388},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.56440306},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.5546229},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.5456829},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.501951},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.49777225},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4957055},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.44717336},{"id":"https://openalex.org/C30888246","wikidata":"https://www.wikidata.org/wiki/Q4669969","display_name":"Abstraction model checking","level":3,"score":0.44655976},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.44341943},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.44296357},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.43354696},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.42924714},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.41420865},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40856272},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12313509},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12246671},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"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/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/encycris52570.2021.00008","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":16,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1515421996","https://openalex.org/W1538882499","https://openalex.org/W1608087281","https://openalex.org/W1756737887","https://openalex.org/W185628012","https://openalex.org/W1904065432","https://openalex.org/W1910316712","https://openalex.org/W1979345446","https://openalex.org/W1988236026","https://openalex.org/W2128835097","https://openalex.org/W2156835762","https://openalex.org/W2778643303","https://openalex.org/W2800510698","https://openalex.org/W3010856131","https://openalex.org/W3082224212"],"related_works":["https://openalex.org/W2914555867","https://openalex.org/W2204156854","https://openalex.org/W2133869707","https://openalex.org/W2127350021","https://openalex.org/W2061183036","https://openalex.org/W2028796071","https://openalex.org/W2018145554","https://openalex.org/W1968494916","https://openalex.org/W1598160211","https://openalex.org/W1486779561"],"abstract_inverted_index":{"The":[0,88,112],"formal":[1],"verification":[2],"technique":[3],"of":[4,23,29,51,130],"model-checking":[5],"can":[6],"be":[7],"used":[8],"to":[9,106,109],"derive":[10],"test":[11,77,103,110,124,132],"cases.":[12,111,125],"This":[13],"approach":[14,80,137],"has":[15],"become":[16],"popular":[17],"as":[18],"it":[19],"provides":[20],"the":[21,26,30,40,49,122,128,131],"capabilities":[22],"exhaustively":[24],"exploring":[25],"state":[27],"space":[28],"modeled":[31],"system":[32],"and":[33,48,66,94,121],"generates":[34],"counterexamples":[35,43,108,120],"for":[36,85,143],"properties":[37],"specified":[38],"over":[39],"model.":[41],"However,":[42],"only":[44],"show":[45],"states,":[46],"transitions":[47],"values":[50],"their":[52],"parameters.":[53],"In":[54,70],"addition,":[55],"its":[56],"semantics":[57],"are":[58],"also":[59],"dependent":[60],"on":[61],"input":[62],"model":[63,83],"specification":[64,104],"languages":[65],"trace":[67],"representation":[68],"notations.":[69],"this":[71,99],"paper,":[72],"we":[73,101],"present":[74],"a":[75],"focused":[76],"case":[78],"generation":[79],"from":[81,135],"PAT":[82],"checker":[84],"collaborating":[86],"systems.":[87],"focus":[89],"is":[90],"driven":[91],"by":[92,138],"specific":[93],"putative":[95],"attack":[96],"behaviours.":[97],"To":[98],"end,":[100],"devised":[102],"rules/algorithm":[105],"translate":[107],"translation":[113],"aims":[114],"at":[115],"reducing":[116],"semantic":[117],"gaps":[118],"between":[119],"corresponding":[123],"We":[126],"assess":[127],"viability":[129],"cases":[133],"generated":[134],"our":[136],"using":[139],"JADE":[140],"simulation":[141],"framework":[142],"aircraft":[144],"landing":[145],"scenario":[146],"in":[147],"air":[148],"traffic":[149],"control":[150],"domain.":[151]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3181896926","counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2024-12-11T06:50:00.457952","created_date":"2021-07-19"}