{"id":"https://openalex.org/W4404032556","doi":"https://doi.org/10.1109/icccnt61001.2024.10725786","title":"Automatic Test Case Generation For Safety-Critical Software Using Genetic Algorithm","display_name":"Automatic Test Case Generation For Safety-Critical Software Using Genetic Algorithm","publication_year":2024,"publication_date":"2024-06-24","ids":{"openalex":"https://openalex.org/W4404032556","doi":"https://doi.org/10.1109/icccnt61001.2024.10725786"},"language":"en","primary_location":{"id":"doi:10.1109/icccnt61001.2024.10725786","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icccnt61001.2024.10725786","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 15th International Conference on Computing Communication and Networking Technologies (ICCCNT)","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/A5025260737","display_name":"Madhusmita Das","orcid":"https://orcid.org/0009-0000-8645-9768"},"institutions":[{"id":"https://openalex.org/I11880225","display_name":"National Institute of Technology Karnataka","ror":"https://ror.org/01hz4v948","country_code":"IN","type":"education","lineage":["https://openalex.org/I11880225"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Madhusmita Das","raw_affiliation_strings":["National Institute of Technology,Information Technology,Karnataka,India"],"affiliations":[{"raw_affiliation_string":"National Institute of Technology,Information Technology,Karnataka,India","institution_ids":["https://openalex.org/I11880225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041351651","display_name":"D. M. Pai","orcid":null},"institutions":[{"id":"https://openalex.org/I11880225","display_name":"National Institute of Technology Karnataka","ror":"https://ror.org/01hz4v948","country_code":"IN","type":"education","lineage":["https://openalex.org/I11880225"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Dhruv Pai","raw_affiliation_strings":["National Institute of Technology,Information Technology,Karnataka,India"],"affiliations":[{"raw_affiliation_string":"National Institute of Technology,Information Technology,Karnataka,India","institution_ids":["https://openalex.org/I11880225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024514171","display_name":"B. V. S. Ravi Teja","orcid":null},"institutions":[{"id":"https://openalex.org/I11880225","display_name":"National Institute of Technology Karnataka","ror":"https://ror.org/01hz4v948","country_code":"IN","type":"education","lineage":["https://openalex.org/I11880225"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Buddha Teja","raw_affiliation_strings":["National Institute of Technology,Information Technology,Karnataka,India"],"affiliations":[{"raw_affiliation_string":"National Institute of Technology,Information Technology,Karnataka,India","institution_ids":["https://openalex.org/I11880225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032581304","display_name":"Biju R. Mohan","orcid":"https://orcid.org/0000-0002-3928-8924"},"institutions":[{"id":"https://openalex.org/I11880225","display_name":"National Institute of Technology Karnataka","ror":"https://ror.org/01hz4v948","country_code":"IN","type":"education","lineage":["https://openalex.org/I11880225"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Biju R. Mohan","raw_affiliation_strings":["National Institute of Technology,Information Technology,Karnataka,India"],"affiliations":[{"raw_affiliation_string":"National Institute of Technology,Information Technology,Karnataka,India","institution_ids":["https://openalex.org/I11880225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5025260737"],"corresponding_institution_ids":["https://openalex.org/I11880225"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21817786,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"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.9994999766349792,"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.9994999766349792,"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.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/T10260","display_name":"Software Engineering Research","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.6929100751876831},{"id":"https://openalex.org/keywords/software-testing","display_name":"Software testing","score":0.5139390826225281},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.4922873079776764},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4765929877758026},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4298841655254364},{"id":"https://openalex.org/keywords/genetic-algorithm","display_name":"Genetic algorithm","score":0.4200460910797119},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2247665524482727},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1657121181488037}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6929100751876831},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.5139390826225281},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.4922873079776764},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4765929877758026},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4298841655254364},{"id":"https://openalex.org/C8880873","wikidata":"https://www.wikidata.org/wiki/Q187787","display_name":"Genetic algorithm","level":2,"score":0.4200460910797119},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2247665524482727},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1657121181488037},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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.1109/icccnt61001.2024.10725786","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icccnt61001.2024.10725786","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 15th International Conference on Computing Communication and Networking Technologies (ICCCNT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1986749780","https://openalex.org/W2025978750","https://openalex.org/W2162562777","https://openalex.org/W2166567510","https://openalex.org/W2183843206","https://openalex.org/W2315347141","https://openalex.org/W2503913376","https://openalex.org/W2553077635","https://openalex.org/W2601283044","https://openalex.org/W2756971923","https://openalex.org/W2972647222","https://openalex.org/W3047224978","https://openalex.org/W4232013527","https://openalex.org/W4328028480","https://openalex.org/W6634193045","https://openalex.org/W6686064489","https://openalex.org/W6744168984","https://openalex.org/W6792056520"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2053286651","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2181413294","https://openalex.org/W2989452537","https://openalex.org/W2052122378","https://openalex.org/W2544423928","https://openalex.org/W2062023542"],"abstract_inverted_index":{"Automatic":[0],"test":[1,8,40,91,150,167],"case":[2,41],"generation":[3,42],"streamlines":[4],"the":[5,94,158],"creation":[6],"of":[7,157],"cases":[9,92,151,168],"for":[10,43,59,93],"programs":[11,45,97],"or":[12,22],"systems,":[13],"eliminating":[14],"manual":[15],"intervention":[16],"and":[17,30,51,66,68,80,106,125,143],"relying":[18],"on":[19],"predefined":[20],"criteria":[21],"models.":[23],"This":[24,82],"approach":[25],"ensures":[26],"adherence":[27],"to":[28,148,152],"safety":[29,61],"reliability":[31],"requirements":[32],"while":[33],"reducing":[34],"testing":[35],"costs.":[36],"Our":[37],"paper":[38,83,133],"explores":[39],"safety-critical":[44,96],"using":[46],"Dynamic":[47],"Symbolic":[48],"Execution":[49],"(DSE)":[50],"Genetic":[52,116],"Algorithm":[53],"(GA-ma-co).":[54],"Safety-critical":[55],"software":[56,105],"is":[57,139],"crucial":[58],"human":[60],"in":[62,131],"sectors":[63],"like":[64,77,121],"aviation":[65],"healthcare":[67],"follows":[69],"strict":[70],"programming":[71],"conventions":[72],"such":[73],"as":[74],"avoiding":[75],"features":[76],"variable-length":[78],"arrays":[79],"recursion.":[81],"provides":[84],"evidence":[85],"that":[86,135],"we":[87],"can":[88,145],"successfully":[89],"generate":[90,149],"two":[95],"considered,":[98],"a":[99,107,140],"continuous":[100],"infusion":[101],"insulin":[102],"pump":[103],"(CIIP)":[104],"cabin":[108],"pressure":[109],"control":[110],"system":[111],"(CPCS)":[112],"software.":[113],"The":[114,128],"proposed":[115],"algorithm":[117],"(GA-ma-co)":[118],"includes":[119],"techniques":[120],"mutation":[122],"analysis":[123],"(ma)":[124],"crossover":[126],"(co).":[127],"results":[129],"found":[130],"this":[132],"show":[134],"both":[136],"DSE,":[137],"which":[138],"state-of-the-art":[141],"approach,":[142],"GA-ma-co":[144,161],"be":[146],"used":[147],"achieve":[153],"complete":[154],"line":[155],"coverage":[156],"code.":[159],"However,":[160],"achieved":[162],"similar":[163],"performance":[164],"with":[165],"fewer":[166],"making":[169],"it":[170],"more":[171],"efficient.":[172]},"counts_by_year":[],"updated_date":"2025-12-23T23:11:35.936235","created_date":"2025-10-10T00:00:00"}