{"id":"https://openalex.org/W2128069234","doi":"https://doi.org/10.1145/1506216.1506237","title":"Grammar based asynchronous testing","display_name":"Grammar based asynchronous testing","publication_year":2009,"publication_date":"2009-02-23","ids":{"openalex":"https://openalex.org/W2128069234","doi":"https://doi.org/10.1145/1506216.1506237","mag":"2128069234"},"language":"en","primary_location":{"id":"doi:10.1145/1506216.1506237","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1506216.1506237","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd India software engineering conference","raw_type":"proceedings-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/A5029473503","display_name":"Puneet Bhateja","orcid":null},"institutions":[{"id":"https://openalex.org/I19149307","display_name":"Chennai Mathematical Institute","ror":"https://ror.org/04zp24820","country_code":"IN","type":"education","lineage":["https://openalex.org/I19149307"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Puneet Bhateja","raw_affiliation_strings":["Chennai Mathematical Institute, Siruseri, India","Chennai Mathematical Institute , Siruseri, India"],"affiliations":[{"raw_affiliation_string":"Chennai Mathematical Institute, Siruseri, India","institution_ids":["https://openalex.org/I19149307"]},{"raw_affiliation_string":"Chennai Mathematical Institute , Siruseri, India","institution_ids":["https://openalex.org/I19149307"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5029473503"],"corresponding_institution_ids":["https://openalex.org/I19149307"],"apc_list":null,"apc_paid":null,"fwci":0.4524,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.68402416,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"105","last_page":"110"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"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.9993000030517578,"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/T11567","display_name":"semigroups and automata theory","score":0.9991999864578247,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991000294685364,"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/computer-science","display_name":"Computer science","score":0.787589967250824},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.7021464705467224},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.6779299974441528},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.6118193864822388},{"id":"https://openalex.org/keywords/extensional-definition","display_name":"Extensional definition","score":0.5946682691574097},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.5842482447624207},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5828796625137329},{"id":"https://openalex.org/keywords/grammar-systems-theory","display_name":"Grammar systems theory","score":0.5466185808181763},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4874103367328644},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.4677116274833679},{"id":"https://openalex.org/keywords/system-testing","display_name":"System testing","score":0.4551922380924225},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.3022432327270508},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.28938424587249756},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.25189709663391113},{"id":"https://openalex.org/keywords/emergent-grammar","display_name":"Emergent grammar","score":0.18288838863372803},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.1572791337966919},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.14598140120506287}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.787589967250824},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.7021464705467224},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.6779299974441528},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.6118193864822388},{"id":"https://openalex.org/C136137745","wikidata":"https://www.wikidata.org/wiki/Q19515659","display_name":"Extensional definition","level":3,"score":0.5946682691574097},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.5842482447624207},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5828796625137329},{"id":"https://openalex.org/C500879282","wikidata":"https://www.wikidata.org/wiki/Q5593671","display_name":"Grammar systems theory","level":4,"score":0.5466185808181763},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4874103367328644},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.4677116274833679},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.4551922380924225},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3022432327270508},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28938424587249756},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.25189709663391113},{"id":"https://openalex.org/C69298649","wikidata":"https://www.wikidata.org/wiki/Q6045214","display_name":"Emergent grammar","level":3,"score":0.18288838863372803},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.1572791337966919},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.14598140120506287},{"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C77928131","wikidata":"https://www.wikidata.org/wiki/Q193343","display_name":"Tectonics","level":2,"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/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1506216.1506237","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1506216.1506237","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd India software engineering conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8100000023841858,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W1541362609","https://openalex.org/W2002089154","https://openalex.org/W2023451387"],"related_works":["https://openalex.org/W2540478631","https://openalex.org/W3118435309","https://openalex.org/W2931644080","https://openalex.org/W2170342834","https://openalex.org/W1974635583","https://openalex.org/W2541184210","https://openalex.org/W2145505903","https://openalex.org/W2807600988","https://openalex.org/W3047023873","https://openalex.org/W2128069234"],"abstract_inverted_index":{"This":[0],"paper":[1],"is":[2,14],"about":[3,99],"model":[4,67],"based":[5],"testing.":[6],"Most":[7],"reactive":[8],"systems":[9,30,40,46],"are":[10,41,49],"safety-critical,":[11],"so":[12],"it":[13,79,86,94],"vital":[15],"to":[16,89,96],"test":[17,82,100],"them":[18],"before":[19],"their":[20,35],"deployment.":[21],"During":[22],"testing,":[23],"the":[24,72,81,90,105],"extensional":[25,91],"observed":[26],"behavior":[27],"of":[28,62,107],"these":[29],"may":[31],"be":[32],"different":[33],"from":[34,104],"intensional":[36],"behavior.":[37,92],"Usually,":[38],"such":[39,63],"modeled":[42],"by":[43],"labeled":[44,74],"transition":[45,75],"(LTSs)":[47],"which":[48],"very":[50],"versatile":[51],"models.":[52],"In":[53],"this":[54],"paper,":[55],"we":[56],"propose":[57],"an":[58],"alternative":[59],"grammar-based":[60,66],"modeling":[61],"systems.":[64],"Our":[65],"has":[68],"multiple":[69],"advantages":[70],"over":[71],"conventional":[73],"system":[76],"model.":[77],"One,":[78],"makes":[80],"evaluation":[83],"easier.":[84],"Two,":[85],"supports":[87],"updates":[88],"Three,":[93],"helps":[95],"prove":[97],"properties":[98],"equivalence,":[101],"using":[102],"results":[103],"theory":[106],"formal":[108],"languages.":[109]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}