{"id":"https://openalex.org/W3154360445","doi":"https://doi.org/10.1109/isdcs52006.2021.9397900","title":"A Deep Neural Network Guided Testing Approach for Finite State Machines","display_name":"A Deep Neural Network Guided Testing Approach for Finite State Machines","publication_year":2021,"publication_date":"2021-03-03","ids":{"openalex":"https://openalex.org/W3154360445","doi":"https://doi.org/10.1109/isdcs52006.2021.9397900","mag":"3154360445"},"language":"en","primary_location":{"id":"doi:10.1109/isdcs52006.2021.9397900","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isdcs52006.2021.9397900","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 International Symposium on Devices, Circuits and Systems (ISDCS)","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/A5033945522","display_name":"Habibur Rahaman","orcid":"https://orcid.org/0000-0003-1383-1543"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Habibur Rahaman","raw_affiliation_strings":["Computer Science and Engg., IIT, Kharagpur, Kharagpur, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science and Engg., IIT, Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077947010","display_name":"Santanu Chattopadhyay","orcid":"https://orcid.org/0000-0002-1227-0732"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Santanu Chattopadhyay","raw_affiliation_strings":["Electronics and Elec. Comm. Engg., IIT, Kharagpur, Kharagpur, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electronics and Elec. Comm. Engg., IIT, Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103023953","display_name":"Indranil Sengupta","orcid":"https://orcid.org/0000-0002-5438-6653"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Indranil Sengupta","raw_affiliation_strings":["Computer Science and Engg., IIT, Kharagpur, Kharagpur, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science and Engg., IIT, Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6329,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.69037657,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"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.9998999834060669,"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.9998999834060669,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7962381839752197},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.7382609248161316},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6972877383232117},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6569437384605408},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5217243432998657},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.510756254196167},{"id":"https://openalex.org/keywords/test-set","display_name":"Test set","score":0.4485626220703125},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.43765074014663696},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37743425369262695},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3141481280326843},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15473264455795288},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11852312088012695}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7962381839752197},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.7382609248161316},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6972877383232117},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6569437384605408},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5217243432998657},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.510756254196167},{"id":"https://openalex.org/C169903167","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Test set","level":2,"score":0.4485626220703125},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.43765074014663696},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37743425369262695},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3141481280326843},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15473264455795288},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11852312088012695},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isdcs52006.2021.9397900","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isdcs52006.2021.9397900","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 International Symposium on Devices, Circuits and Systems (ISDCS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W290503896","https://openalex.org/W1525671197","https://openalex.org/W1965028135","https://openalex.org/W1986231034","https://openalex.org/W2004929506","https://openalex.org/W2011762419","https://openalex.org/W2014100935","https://openalex.org/W2073074602","https://openalex.org/W2076491552","https://openalex.org/W2091732076","https://openalex.org/W2113459309","https://openalex.org/W2147573597","https://openalex.org/W2157086860","https://openalex.org/W2160197556","https://openalex.org/W2169417364","https://openalex.org/W2481895806","https://openalex.org/W2493256084","https://openalex.org/W2538267257","https://openalex.org/W2887141224","https://openalex.org/W2943565955","https://openalex.org/W2998870564"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1875930651","https://openalex.org/W2103326719"],"abstract_inverted_index":{"Finite-State":[0],"Machines":[1],"(FSMs)":[2],"lie":[3],"at":[4],"the":[5,32,65,69,73,77,94,98,104,107,110,115,125,140,150,155,180,196,199,210,217,240],"heart":[6],"of":[7,19,53,88,106,114,127,166,198,212,230,246],"every":[8],"digital":[9],"system":[10],"and":[11,76,86,112,139,184],"verifying":[12],"whether":[13],"a":[14,38,51,60,203],"given":[15],"circuit":[16],"implementation":[17,129,165],"(B)":[18,130],"an":[20,28,58,225],"FSM":[21,182,249],"(A)":[22],"conforms":[23],"to":[24,92,137,189,208,233],"its":[25,128],"specification":[26],"is":[27,48,62,101,117,160,170,220,237,252],"important":[29],"task":[30],"in":[31,224],"design":[33],"cycle.":[34],"In":[35],"this":[36,244],"work,":[37],"deep":[39],"neural":[40],"network":[41],"(DNN)":[42],"based":[43,248],"technique":[44],"for":[45,82,123],"testing":[46,250],"FSMs":[47],"developed.":[49],"Given":[50],"set":[52],"transition":[54],"functions":[55],"that":[56,243],"specify":[57],"FSM,":[59],"DNN":[61,100,116,247],"trained":[63],"with":[64,103,146],"input-output":[66],"sequences":[67,75,80,143],"using":[68],"back-propagation":[70],"algorithm.":[71],"First,":[72],"input":[74],"corresponding":[78],"output":[79,142],"(I/O-pairs)":[81],"A":[83],"are":[84,90,135,144,177,187,206],"constructed,":[85],"some":[87],"them":[89],"utilized":[91],"train":[93],"DNN.":[95,152],"After":[96],"training,":[97],"proposed":[99,151,200],"validated":[102],"rest":[105],"I/O-pairs.":[108],"Once":[109],"training":[111],"validation":[113],"completed,":[118],"it":[119,169],"can":[120],"be":[121],"used":[122],"checking":[124],"correctness":[126],"very":[131,221],"quickly.":[132],"Some":[133],"inputs":[134],"applied":[136],"B":[138,159],"observed":[141,238],"compared":[145,232],"those":[147],"predicted":[148],"by":[149],"Based":[153],"on":[154,179],"similarities":[156],"between":[157],"them,":[158],"either":[161],"declared":[162,171],"as":[163,172],"correct":[164],"A,":[167],"else":[168],"faulty":[173],"implementation.":[174],"The":[175],"experiments":[176],"performed":[178],"MCNC":[181],"benchmarks":[183],"certain":[185],"faults":[186],"injected":[188],"form":[190],"mutant":[191],"FSMs.":[192],"Experimental":[193],"results":[194],"reveal":[195],"efficacy":[197],"technique.":[201],"Only":[202],"few":[204],"tests":[205],"required":[207],"detect":[209],"presence":[211],"anomaly,":[213],"if":[214],"any.":[215],"Hence,":[216],"test":[218,227],"time":[219,228],"less":[222],"resulting":[223],"average":[226],"reduction":[229],"85.66%":[231],"existing":[234],"method.":[235],"It":[236],"from":[239],"earlier":[241],"works":[242],"type":[245],"method":[251],"presented":[253],"first":[254],"time.":[255]},"counts_by_year":[{"year":2022,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}