乐胖代购免代理版

{"id":"https://openalex.org/W2046475212","doi":"https://doi.org/10.4204/eptcs.141.2","title":"Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing","display_name":"Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing","publication_year":2014,"publication_date":"2014-03-27","ids":{"openalex":"https://openalex.org/W2046475212","doi":"https://doi.org/10.4204/eptcs.141.2","mag":"2046475212"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/1403.7258","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/1403.7258","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083832418","display_name":"Christian Colombo","orcid":"https://orcid.org/0000-0002-2844-5728"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":false,"raw_author_name":"Christian Colombo","raw_affiliation_strings":["PEST Research Lab, Department of Computer Science, University of Malta"],"affiliations":[{"raw_affiliation_string":"PEST Research Lab, Department of Computer Science, University of Malta","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060524309","display_name":"Mark Micallef","orcid":"https://orcid.org/0000-0003-1092-041X"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":false,"raw_author_name":"Mark Micallef","raw_affiliation_strings":["PEST Research Lab, Department of Computer Science, University of Malta"],"affiliations":[{"raw_affiliation_string":"PEST Research Lab, Department of Computer Science, University of Malta","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044423328","display_name":"Mark Scerri","orcid":"https://orcid.org/0000-0001-5740-037X"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":false,"raw_author_name":"Mark Scerri","raw_affiliation_strings":["PEST Research Lab, Department of Computer Science, University of Malta"],"affiliations":[{"raw_affiliation_string":"PEST Research Lab, Department of Computer Science, University of Malta","institution_ids":["https://openalex.org/I197854408"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":0,"currency":"USD","value_usd":0,"provenance":"doaj"},"apc_paid":null,"fwci":1.944,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":7,"citation_normalized_percentile":{"value":0.869729,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":83,"max":84},"biblio":{"volume":"141","issue":null,"first_page":"14","last_page":"28"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","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/T10743","display_name":"Software Testing and Debugging Techniques","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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9971,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9935,"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/ehealth","display_name":"eHealth","score":0.4620518},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-Based Testing","score":0.4512814}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.74105287},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5768572},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5648281},{"id":"https://openalex.org/C202645933","wikidata":"https://www.wikidata.org/wiki/Q4930","display_name":"eHealth","level":3,"score":0.4620518},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.4512814},{"id":"https://openalex.org/C4216890","wikidata":"https://www.wikidata.org/wiki/Q815823","display_name":"Business model","level":2,"score":0.43645293},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3713134},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.17512235},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12483585},{"id":"https://openalex.org/C160735492","wikidata":"https://www.wikidata.org/wiki/Q31207","display_name":"Health care","level":2,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","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/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/1403.7258","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://doaj.org/article/79aa6b714bb84bf2ac9fc1e0a05c63cb","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/1403.7258.pdf","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://www.um.edu.mt/library/oar//handle/123456789/30528","pdf_url":"https://www.um.edu.mt/library/oar/bitstream/123456789/30528/1/Verifying_web_applications.pdf","source":{"id":"https://openalex.org/S4306400782","display_name":"OAR@UM (University of Malta)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I197854408","host_organization_name":"University of Malta","host_organization_lineage":["https://openalex.org/I197854408"],"host_organization_lineage_names":["University of Malta"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.1403.7258","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210145204","host_organization_name":"DataCite","host_organization_lineage":["https://openalex.org/I4210145204"],"host_organization_lineage_names":["DataCite"],"type":"metadata"},"license":null,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/1403.7258","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":["https://openalex.org/W2046475212","https://openalex.org/W3150674278"],"referenced_works_count":13,"referenced_works":["https://openalex.org/W1547773768","https://openalex.org/W1561821541","https://openalex.org/W1585530051","https://openalex.org/W2030358379","https://openalex.org/W2034958218","https://openalex.org/W2069992901","https://openalex.org/W2101816907","https://openalex.org/W2118298147","https://openalex.org/W2119717320","https://openalex.org/W2125000816","https://openalex.org/W2126446220","https://openalex.org/W4242126179","https://openalex.org/W4247316974"],"related_works":["https://openalex.org/W754949616","https://openalex.org/W4310458807","https://openalex.org/W4308190148","https://openalex.org/W4281488710","https://openalex.org/W4248608655","https://openalex.org/W4221023391","https://openalex.org/W2887033287","https://openalex.org/W2407313067","https://openalex.org/W2196310376","https://openalex.org/W2070361162"],"abstract_inverted_index":{"One":[0],"of":[1,7,27,56,62],"reasons":[2],"preventing":[3],"a":[4,106,122],"wider":[5],"uptake":[6],"model-based":[8,107],"testing":[9,108],"in":[10,25,72,95],"the":[11,14,40,47,50,63,96,126,129],"industry":[12],"is":[13,17],"difficulty":[15],"which":[16],"encountered":[18],"by":[19,43],"developers":[20],"when":[21],"trying":[22],"to":[23,53,77],"think":[24],"terms":[26],"properties":[28],"rather":[29],"than":[30],"linear":[31],"specifications.":[32],"A":[33],"disparity":[34],"has":[35],"traditionally":[36],"been":[37],"perceived":[38],"between":[39],"language":[41,51,99],"spoken":[42],"customers":[44],"who":[45],"specify":[46],"system":[48],"and":[49,117],"required":[52],"construct":[54],"models":[55,74,102],"that":[57,73],"system.":[58],"The":[59],"dynamic":[60],"nature":[61],"specifications":[64,93],"for":[65,91,103,133],"commercial":[66],"systems":[67],"further":[68],"aggravates":[69],"this":[70,85,113],"problem":[71],"would":[75],"need":[76],"be":[78],"rechecked":[79],"after":[80],"every":[81],"specification":[82],"change.":[83],"In":[84],"paper,":[86],"we":[87],"propose":[88],"an":[89],"approach":[90,114],"converting":[92],"written":[94],"commonly-used":[97],"quasi-natural":[98],"Gherkin":[100],"into":[101],"use":[104],"with":[105],"tool.":[109],"We":[110],"have":[111],"instantiated":[112],"using":[115],"QuickCheck":[116],"demonstrate":[118],"its":[119],"applicability":[120],"via":[121],"case":[123],"study":[124],"on":[125],"eHealth":[127],"system,":[128],"national":[130],"health":[131],"portal":[132],"Maltese":[134],"residents.":[135]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2046475212","counts_by_year":[{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2}],"updated_date":"2024-12-11T23:11:33.961236","created_date":"2016-06-24"}