乐胖代购免代理版

{"id":"https://openalex.org/W2054193570","doi":"https://doi.org/10.1109/icstw.2011.30","title":"Grey-Box Testing and Verification of Java/JML","display_name":"Grey-Box Testing and Verification of Java/JML","publication_year":2011,"publication_date":"2011-03-01","ids":{"openalex":"https://openalex.org/W2054193570","doi":"https://doi.org/10.1109/icstw.2011.30","mag":"2054193570"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstw.2011.30","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01223785/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041596914","display_name":"Fr\u00e9d\u00e9ric Dadeau","orcid":"https://orcid.org/0000-0003-0794-5819"},"institutions":[{"id":"https://openalex.org/I2802759292","display_name":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique Thermique et Optique - Sciences et Technologies","ror":"https://ror.org/004fmxv66","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I37553959","https://openalex.org/I4210095849","https://openalex.org/I4407990293","https://openalex.org/I53262699"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Dadeau","raw_affiliation_strings":["Combination of approaches to the security of infinite states systems","Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)"],"affiliations":[{"raw_affiliation_string":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)","institution_ids":["https://openalex.org/I2802759292"]},{"raw_affiliation_string":"Combination of approaches to the security of infinite states systems","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111009644","display_name":"Fabien Peureux","orcid":null},"institutions":[{"id":"https://openalex.org/I2802759292","display_name":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique Thermique et Optique - Sciences et Technologies","ror":"https://ror.org/004fmxv66","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I37553959","https://openalex.org/I4210095849","https://openalex.org/I4407990293","https://openalex.org/I53262699"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fabien Peureux","raw_affiliation_strings":["Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)"],"affiliations":[{"raw_affiliation_string":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)","institution_ids":["https://openalex.org/I2802759292"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":6,"citation_normalized_percentile":{"value":0.696581,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":81,"max":82},"biblio":{"volume":"4144","issue":null,"first_page":"298","last_page":"303"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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.9993,"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.9993,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/java-modeling-language","display_name":"Java Modeling Language","score":0.65182185},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.45842257}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8615138},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.751954},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7517754},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.65182185},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.48068604},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.45842257},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44040886},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.35328463},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.3265577},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstw.2011.30","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.inria.fr/hal-00640381","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.science/hal-01223785","pdf_url":"https://hal.science/hal-01223785/document","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://inria.hal.science/hal-00640381","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://hal.science/hal-01223785/file/dp11%3Aip-author.pdf","pdf_url":"https://hal.science/hal-01223785/file/dp11%3Aip-author.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01223785/file/dp11%3Aip-author.pdf","pdf_url":"https://hal.archives-ouvertes.fr/hal-01223785/file/dp11%3Aip-author.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01223785","pdf_url":"https://hal.archives-ouvertes.fr/hal-01223785/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"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://hal.science/hal-01223785","pdf_url":"https://hal.science/hal-01223785/document","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":27,"referenced_works":["https://openalex.org/W150374354","https://openalex.org/W1504917336","https://openalex.org/W1533493347","https://openalex.org/W1542690313","https://openalex.org/W1548806133","https://openalex.org/W1833163651","https://openalex.org/W194952179","https://openalex.org/W1959256509","https://openalex.org/W1964064807","https://openalex.org/W1993836075","https://openalex.org/W2001985931","https://openalex.org/W2005194005","https://openalex.org/W2025304834","https://openalex.org/W2035529004","https://openalex.org/W2043193943","https://openalex.org/W2063727779","https://openalex.org/W2085716817","https://openalex.org/W2094160561","https://openalex.org/W2096449544","https://openalex.org/W2113944334","https://openalex.org/W2132897303","https://openalex.org/W2145400374","https://openalex.org/W2151926351","https://openalex.org/W2160438803","https://openalex.org/W2741261446","https://openalex.org/W4235130846","https://openalex.org/W4237492309"],"related_works":["https://openalex.org/W4249758317","https://openalex.org/W4236689566","https://openalex.org/W2997436116","https://openalex.org/W2381336056","https://openalex.org/W2365754790","https://openalex.org/W2360912707","https://openalex.org/W2359448728","https://openalex.org/W2076663662","https://openalex.org/W2062582068","https://openalex.org/W1974508891"],"abstract_inverted_index":{"We":[0],"present":[1],"in":[2],"this":[3],"paper":[4],"the":[5,12,40,76],"application":[6],"of":[7,39],"constraint":[8,33],"solving":[9],"techniques":[10,52],"to":[11,57,68],"validation":[13],"and":[14,73,79],"automated":[15],"test":[16,59,64],"cases":[17],"generation":[18],"for":[19,45],"Java":[20,77],"programs,":[21],"annotated":[22],"with":[23],"JML":[24,82],"specifications.":[25],"The":[26],"Java/JML":[27],"code":[28,50,78],"is":[29,43],"translated":[30],"into":[31],"a":[32,37],"representation":[34],"based":[35],"on":[36],"subset":[38],"set-theory,":[41],"which":[42],"well-suited":[44],"modelling":[46],"object-oriented":[47],"programs.":[48],"Symbolic":[49],"execution":[51],"can":[53],"then":[54],"be":[55],"applied":[56],"produce":[58],"cases,":[60],"using":[61],"classical":[62],"structural":[63],"selection":[65],"criteria,":[66],"or":[67],"detect":[69],"possible":[70],"runtime":[71],"errors,":[72],"non-conformances":[74],"between":[75],"its":[80],"embedded":[81],"model.":[83]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2054193570","counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":1}],"updated_date":"2025-03-10T08:32:13.201160","created_date":"2016-06-24"}