{"id":"https://openalex.org/W3003315136","doi":"https://doi.org/10.1109/indin41052.2019.8972277","title":"On-the-fly conformance testing of safety PLC code using QuickCheck","display_name":"On-the-fly conformance testing of safety PLC code using QuickCheck","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W3003315136","doi":"https://doi.org/10.1109/indin41052.2019.8972277","mag":"3003315136"},"language":"en","primary_location":{"id":"doi:10.1109/indin41052.2019.8972277","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin41052.2019.8972277","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 17th International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.chalmers.se/publication/517330/file/517330_Fulltext.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109725857","display_name":"Adnan Khan","orcid":null},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Adnan Khan","raw_affiliation_strings":["Chalmers University of Technology,Department of Electrical Engineering,Göteborg,Sweden","Department of Electrical Engineering, Chalmers University of Technology, G\u00f6teborg, Sweden"],"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology,Department of Electrical Engineering,Göteborg,Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Electrical Engineering, Chalmers University of Technology, G\u00f6teborg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046883181","display_name":"David Th\u00f6nnessen","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"David Th\u00f6nnessen","raw_affiliation_strings":["RWTH Aachen University,Informatik 11 – Embedded Software,Aachen,Germany","Informatik 11 \u2013 Embedded Software, RWTH Aachen University, Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University,Informatik 11 – Embedded Software,Aachen,Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"Informatik 11 \u2013 Embedded Software, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017972835","display_name":"Martin Fabian","orcid":"https://orcid.org/0000-0003-1287-9748"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Martin Fabian","raw_affiliation_strings":["Chalmers University of Technology,Department of Electrical Engineering,Göteborg,Sweden","Department of Electrical Engineering, Chalmers University of Technology, G\u00f6teborg, Sweden"],"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology,Department of Electrical Engineering,Göteborg,Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Electrical Engineering, Chalmers University of Technology, G\u00f6teborg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5109725857"],"corresponding_institution_ids":["https://openalex.org/I66862912"],"apc_list":null,"apc_paid":null,"fwci":0.6628,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78183002,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"419","last_page":"424"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9966999888420105,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6857680082321167},{"id":"https://openalex.org/keywords/checklist","display_name":"Checklist","score":0.6599104404449463},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.6472954154014587},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5420644283294678},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.5406957864761353},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5163334608078003},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.49475258588790894},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.4694848656654358},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.44510456919670105},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40066325664520264},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3852118253707886},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21941524744033813},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.20201250910758972},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12242966890335083},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.1174611747264862},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.11271467804908752}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6857680082321167},{"id":"https://openalex.org/C2779356329","wikidata":"https://www.wikidata.org/wiki/Q922625","display_name":"Checklist","level":2,"score":0.6599104404449463},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.6472954154014587},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5420644283294678},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.5406957864761353},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5163334608078003},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.49475258588790894},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.4694848656654358},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.44510456919670105},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40066325664520264},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3852118253707886},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21941524744033813},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20201250910758972},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12242966890335083},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.1174611747264862},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.11271467804908752},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/indin41052.2019.8972277","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin41052.2019.8972277","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 17th International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"},{"id":"pmh:oai:research.chalmers.se:515479","is_oa":true,"landing_page_url":"https://research.chalmers.se/en/publication/515479","pdf_url":"https://research.chalmers.se/publication/517330/file/517330_Fulltext.pdf","source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:research.chalmers.se:517330","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/5bb0347c-2955-4609-b341-743acbcd5e68","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:research.chalmers.se:515479","is_oa":true,"landing_page_url":"https://research.chalmers.se/en/publication/515479","pdf_url":"https://research.chalmers.se/publication/517330/file/517330_Fulltext.pdf","source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/3","score":0.46000000834465027,"display_name":"Good health and well-being"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3003315136.pdf"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W203066007","https://openalex.org/W304710776","https://openalex.org/W1501421125","https://openalex.org/W1539570097","https://openalex.org/W1587663028","https://openalex.org/W1608087281","https://openalex.org/W1687944053","https://openalex.org/W1979349468","https://openalex.org/W2005274253","https://openalex.org/W2030696013","https://openalex.org/W2112640524","https://openalex.org/W2119717320","https://openalex.org/W2152029933","https://openalex.org/W2510744089","https://openalex.org/W2974275827","https://openalex.org/W6676883669"],"related_works":["https://openalex.org/W4234875088","https://openalex.org/W2013796470","https://openalex.org/W2420514274","https://openalex.org/W2001467811","https://openalex.org/W4362687946","https://openalex.org/W1971633942","https://openalex.org/W2902805979","https://openalex.org/W156990495","https://openalex.org/W1540699628","https://openalex.org/W3110086843"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"an":[3],"approach":[4,74],"based":[5,110],"on":[6,34,111],"the":[7,17,26,52,85,104,112],"IOCOS":[8,113],"testing":[9,88],"relation":[10],"to":[11,51,69],"test":[12,61,81,91],"safety":[13,27,105],"PLC":[14,28,106],"code":[15,29,107],"using":[16,38,46],"tool":[18],"QuickCheck":[19],"is":[20,30,99],"presented.":[21],"Testing":[22],"and":[23,58,66,78],"validation":[24],"of":[25,55,80,87],"typically":[31],"carried":[32],"out":[33],"a":[35],"physical":[36],"system":[37,47],"checklists.":[39],"These":[40],"checklists":[41],"are":[42,108],"developed":[43],"by":[44,89],"engineers":[45],"specification.":[48],"However,":[49],"due":[50],"manual":[53],"nature":[54],"checklist":[56,95],"generation":[57,77],"execution,":[59],"certain":[60],"cases":[62,92],"can":[63,67],"be":[64],"overlooked":[65],"lead":[68],"human":[70],"accidents.":[71],"The":[72],"presented":[73],"allows":[75],"on-the-fly":[76],"execution":[79],"cases,":[82],"which":[83],"expands":[84],"scope":[86],"including":[90],"unconceived":[93],"during":[94],"generation.":[96],"Furthermore,":[97],"it":[98],"demonstrated":[100],"how":[101],"errors":[102],"in":[103],"uncovered":[109],"relation.":[114]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":2}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}