{"id":"https://openalex.org/W2033492985","doi":"https://doi.org/10.1145/2593833.2593840","title":"Model based test case generation with metaheuristics for networks of timed automata","display_name":"Model based test case generation with metaheuristics for networks of timed automata","publication_year":2014,"publication_date":"2014-05-20","ids":{"openalex":"https://openalex.org/W2033492985","doi":"https://doi.org/10.1145/2593833.2593840","mag":"2033492985"},"language":"en","primary_location":{"id":"doi:10.1145/2593833.2593840","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2593833.2593840","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Workshop on Search-Based Software Testing","raw_type":"proceedings-article"},"type":"conference-paper","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/A5063629064","display_name":"Joachim H\u00e4nsel","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Joachim H\u00e4nsel","raw_affiliation_strings":["HPI, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"HPI, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5063629064"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4292,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.54153846,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"31","last_page":"34"},"is_retracted":false,"is_paratext":false,"is_xpac":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/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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9990000128746033,"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.7872571349143982},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7153224349021912},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5955125093460083},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.5764604806900024},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5726655721664429},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5656736493110657},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.469685822725296},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4230788052082062},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.28012341260910034},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2675550580024719},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.25243085622787476},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.10836055874824524},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10824546217918396}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7872571349143982},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7153224349021912},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5955125093460083},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.5764604806900024},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5726655721664429},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5656736493110657},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.469685822725296},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4230788052082062},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28012341260910034},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2675550580024719},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.25243085622787476},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.10836055874824524},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10824546217918396},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"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/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2593833.2593840","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2593833.2593840","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Workshop on Search-Based Software Testing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6000000238418579,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1495188953","https://openalex.org/W1508225079","https://openalex.org/W1597414920","https://openalex.org/W1962072139","https://openalex.org/W1979345446","https://openalex.org/W1987382793","https://openalex.org/W2092344062","https://openalex.org/W2101508170","https://openalex.org/W2107147876","https://openalex.org/W2107729695","https://openalex.org/W2130422196","https://openalex.org/W2147338786","https://openalex.org/W2169417364","https://openalex.org/W2213891260","https://openalex.org/W2303436272","https://openalex.org/W2407017200","https://openalex.org/W3155744979","https://openalex.org/W6640868803"],"related_works":["https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W2152996796","https://openalex.org/W2560415449","https://openalex.org/W2099853744","https://openalex.org/W2005176430","https://openalex.org/W1581733465","https://openalex.org/W2018145554","https://openalex.org/W2127350021","https://openalex.org/W1598160211"],"abstract_inverted_index":{"Model-Based":[0],"Testing,":[1],"the":[2,19,36],"task":[3],"of":[4,21],"generating":[5],"test":[6,12,53],"inputs":[7],"and":[8],"oracles":[9],"from":[10],"a":[11],"model,":[13],"has":[14],"been":[15],"successfully":[16],"applied":[17],"in":[18,30],"context":[20],"safety-critical":[22],"real":[23],"time":[24],"systems.":[25],"As":[26],"these":[27],"systems":[28,37],"grow":[29,40],"complexity,":[31],"test-models,":[32],"designed":[33],"to":[34],"reflect":[35],"behaviour,":[38],"will":[39],"too.":[41],"Currently":[42],"testers":[43],"face":[44],"situations":[45],"where":[46],"test-models":[47],"are":[48],"too":[49],"complex":[50],"for":[51],"present":[52],"generators.":[54]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}