{"id":"https://openalex.org/W1964064807","doi":"https://doi.org/10.1007/s10009-005-0218-5","title":"Checking JML specifications using an extensible software model checking framework","display_name":"Checking JML specifications using an extensible software model checking framework","publication_year":2006,"publication_date":"2006-02-16","ids":{"openalex":"https://openalex.org/W1964064807","doi":"https://doi.org/10.1007/s10009-005-0218-5","mag":"1964064807"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-005-0218-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-005-0218-5","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"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/A5018396669","display_name":"Robby Robby","orcid":null},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"education","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Robby","raw_affiliation_strings":["Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, Manhattan, KS, 66506, USA","Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506, Manhattan, KS, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, Manhattan, KS, 66506, USA","institution_ids":["https://openalex.org/I189590672"]},{"raw_affiliation_string":"Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506, Manhattan, KS, USA#TAB#","institution_ids":["https://openalex.org/I189590672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112439545","display_name":"Edwin Rodr\u00edguez","orcid":null},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"education","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edwin Rodr\u00edguez","raw_affiliation_strings":["Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, Manhattan, KS, 66506, USA","Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506, Manhattan, KS, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, Manhattan, KS, 66506, USA","institution_ids":["https://openalex.org/I189590672"]},{"raw_affiliation_string":"Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506, Manhattan, KS, USA#TAB#","institution_ids":["https://openalex.org/I189590672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086757331","display_name":"Matthew B. Dwyer","orcid":"https://orcid.org/0000-0002-1937-1544"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew B. Dwyer","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Nebraska-Lincoln, 256 Avery Hall, Lincoln, NE, 68588, USA","Department of Computer Science and Engineering, University of Nebraska-Lincoln, 256 Avery Hall, 68588, Lincoln, NE, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Nebraska-Lincoln, 256 Avery Hall, Lincoln, NE, 68588, USA","institution_ids":["https://openalex.org/I114395901"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Nebraska-Lincoln, 256 Avery Hall, 68588, Lincoln, NE, USA#TAB#","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018982940","display_name":"John Hatcliff","orcid":null},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"education","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Hatcliff","raw_affiliation_strings":["Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, Manhattan, KS, 66506, USA","Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506, Manhattan, KS, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, Manhattan, KS, 66506, USA","institution_ids":["https://openalex.org/I189590672"]},{"raw_affiliation_string":"Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506, Manhattan, KS, USA#TAB#","institution_ids":["https://openalex.org/I189590672"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5018396669"],"corresponding_institution_ids":["https://openalex.org/I189590672"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":5.0706,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.95494167,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"8","issue":"3","first_page":"280","last_page":"299"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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.9983000159263611,"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/computer-science","display_name":"Computer science","score":0.8990524411201477},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7860832214355469},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.715829610824585},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6935791373252869},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.5876623392105103},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5858679413795471},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.523352324962616},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.49530187249183655},{"id":"https://openalex.org/keywords/java-modeling-language","display_name":"Java Modeling Language","score":0.4894334375858307},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4141072928905487},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.41195547580718994},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3610536456108093},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.32641446590423584},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.2975693941116333},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.17349785566329956},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.16602420806884766},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11611008644104004},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.08487659692764282}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8990524411201477},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7860832214355469},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.715829610824585},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6935791373252869},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.5876623392105103},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5858679413795471},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.523352324962616},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.49530187249183655},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.4894334375858307},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4141072928905487},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.41195547580718994},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3610536456108093},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.32641446590423584},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2975693941116333},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.17349785566329956},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.16602420806884766},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11611008644104004},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.08487659692764282}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10009-005-0218-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-005-0218-5","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W26772505","https://openalex.org/W128817107","https://openalex.org/W1487595971","https://openalex.org/W1495459135","https://openalex.org/W1503478887","https://openalex.org/W1532420827","https://openalex.org/W1534850143","https://openalex.org/W1535237014","https://openalex.org/W1546106366","https://openalex.org/W1555070304","https://openalex.org/W1570482200","https://openalex.org/W1583826417","https://openalex.org/W1593874741","https://openalex.org/W1595593557","https://openalex.org/W1604420145","https://openalex.org/W1964830323","https://openalex.org/W1980522179","https://openalex.org/W1991339794","https://openalex.org/W1993836075","https://openalex.org/W2005675116","https://openalex.org/W2013492611","https://openalex.org/W2023392692","https://openalex.org/W2035529004","https://openalex.org/W2064025843","https://openalex.org/W2076062002","https://openalex.org/W2087252615","https://openalex.org/W2096045687","https://openalex.org/W2107778618","https://openalex.org/W2115309705","https://openalex.org/W2115484804","https://openalex.org/W2120926795","https://openalex.org/W2135642703","https://openalex.org/W2142851953","https://openalex.org/W2161079291","https://openalex.org/W2161825580","https://openalex.org/W2164810907","https://openalex.org/W2166985644","https://openalex.org/W2171480813","https://openalex.org/W2295903414","https://openalex.org/W2340735175","https://openalex.org/W2613165855","https://openalex.org/W2622427009","https://openalex.org/W4213079124","https://openalex.org/W4229884746","https://openalex.org/W4247239640","https://openalex.org/W4248332232","https://openalex.org/W4248425340","https://openalex.org/W4251912342","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1916258364","https://openalex.org/W3048422056","https://openalex.org/W2065369774","https://openalex.org/W2607268704","https://openalex.org/W2095529767","https://openalex.org/W2168753191","https://openalex.org/W4252905370","https://openalex.org/W4251666556","https://openalex.org/W2121953666","https://openalex.org/W2017730207"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}