{"id":"https://openalex.org/W1964065801","doi":"https://doi.org/10.1145/1411203.1411233","title":"Data-flow testing of declarative programs","display_name":"Data-flow testing of declarative programs","publication_year":2008,"publication_date":"2008-09-20","ids":{"openalex":"https://openalex.org/W1964065801","doi":"https://doi.org/10.1145/1411203.1411233","mag":"1964065801"},"language":"en","primary_location":{"id":"doi:10.1145/1411203.1411233","doi":"https://doi.org/10.1145/1411203.1411233","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1411203.1411233","pdf_url":null,"source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGPLAN Notices","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"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/A5101623773","display_name":"Sebastian Fischer","orcid":"https://orcid.org/0000-0001-8687-9156","observed_orcids":["https://orcid.org/0000-0001-8687-9156"]},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Fischer","raw_affiliation_strings":["University of Kiel, Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Kiel, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048747275","display_name":"Herbert Kuchen","orcid":"https://orcid.org/0000-0002-6057-3551","observed_orcids":["https://orcid.org/0000-0002-6057-3551"]},"institutions":[{"id":"https://openalex.org/I22465464","display_name":"University of M\u00fcnster","ror":"https://ror.org/00pd74e08","country_code":"DE","type":"education","lineage":["https://openalex.org/I22465464"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Herbert Kuchen","raw_affiliation_strings":["University of M\u00fcnster, M\u00fcnster, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of M\u00fcnster, M\u00fcnster, Germany","institution_ids":["https://openalex.org/I22465464"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.6354,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.93691521,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":"43","issue":"9","first_page":"201","last_page":"212"},"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/T10126","display_name":"Logic, programming, and type systems","score":9.999999747378752e-05,"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.0,"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/data-flow-testing","display_name":"data flow testing","score":0.984000027179718},{"id":"https://openalex.org/keywords/automatic-test-case-generation","display_name":"automatic test case generation","score":0.8420000076293945},{"id":"https://openalex.org/keywords/program-instrumentation","display_name":"program instrumentation","score":0.9750000238418579},{"id":"https://openalex.org/keywords/software-testing","display_name":"software testing","score":0.45399999618530273}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.90166836977005},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6230875253677368},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.5966931581497192},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.5441958904266357},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.4740179181098938},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.43491360545158386},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.43252095580101013},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.34661412239074707},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08979237079620361},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1411203.1411233","doi":"https://doi.org/10.1145/1411203.1411233","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1411203.1411233","pdf_url":null,"source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGPLAN Notices","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W81918159","https://openalex.org/W1556536463","https://openalex.org/W1587553526","https://openalex.org/W1600295928","https://openalex.org/W1608146166","https://openalex.org/W1977760557","https://openalex.org/W2074789981","https://openalex.org/W2119717320","https://openalex.org/W2139474931","https://openalex.org/W2146735819","https://openalex.org/W2752885492","https://openalex.org/W2920918444","https://openalex.org/W4242640931","https://openalex.org/W4244488020","https://openalex.org/W4285719527","https://openalex.org/W7029321148"],"related_works":["https://openalex.org/W7100757460","https://openalex.org/W1606432063","https://openalex.org/W1998395074","https://openalex.org/W2133853708","https://openalex.org/W2026232962","https://openalex.org/W6963517223","https://openalex.org/W2470361888","https://openalex.org/W7100135705","https://openalex.org/W1966418655","https://openalex.org/W2143354980"],"abstract_inverted_index":{"We":[0],"propose":[1],"a":[2,33,54],"novel":[3],"notion":[4],"of":[5,49,56],"data-flow":[6,24,50],"coverage":[7,27,39],"for":[8,53],"testing":[9,52],"declarative":[10],"programs.":[11],"Moreover,":[12],"we":[13,45],"extend":[14],"an":[15],"automatic":[16],"test-case":[17],"generator":[18],"such":[19,35],"that":[20,36],"it":[21,37],"can":[22],"achieve":[23],"coverage.":[25],"The":[26],"information":[28,40],"is":[29],"obtained":[30],"by":[31],"instrumenting":[32],"program":[34],"collects":[38],"during":[41],"its":[42],"execution.":[43],"Finally,":[44],"show":[46],"the":[47],"benefits":[48],"based":[51],"couple":[55],"example":[57],"applications.":[58]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-10-30T12:39:25.321706","created_date":"2016-06-24T00:00:00"}