{"id":"https://openalex.org/W2329154668","doi":"https://doi.org/10.1017/s0956796816000058","title":"Testing noninterference, quickly","display_name":"Testing noninterference, quickly","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2329154668","doi":"https://doi.org/10.1017/s0956796816000058","mag":"2329154668"},"language":"en","primary_location":{"id":"doi:10.1017/s0956796816000058","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0956796816000058","pdf_url":null,"source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-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":null,"display_name":"C\u0102T\u0102LIN HRI\u0162CU","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"C\u0102T\u0102LIN HRI\u0162CU","raw_affiliation_strings":["Inria Paris, Prosecco team, Paris, France (e-mail:"],"affiliations":[{"raw_affiliation_string":"Inria Paris, Prosecco team, Paris, France (e-mail:","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":null,"display_name":"LEONIDAS LAMPROPOULOS","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"LEONIDAS LAMPROPOULOS","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":null,"display_name":"ANTAL SPECTOR-ZABUSKY","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"ANTAL SPECTOR-ZABUSKY","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":null,"display_name":"ARTHUR AZEVEDO DE AMORIM","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"ARTHUR AZEVEDO DE AMORIM","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":null,"display_name":"MAXIME D\u00c9N\u00c8S","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"MAXIME D\u00c9N\u00c8S","raw_affiliation_strings":["Inria Paris, Gallium team, Paris, France"],"affiliations":[{"raw_affiliation_string":"Inria Paris, Gallium team, Paris, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":null,"display_name":"JOHN HUGHES","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":false,"raw_author_name":"JOHN HUGHES","raw_affiliation_strings":["Computer Science and Engineering, Chalmers University, Gothenburg, Sweden"],"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, Chalmers University, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":null,"display_name":"BENJAMIN C. PIERCE","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"BENJAMIN C. PIERCE","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":null,"display_name":"DIMITRIOS VYTINIOTIS","orcid":null},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"DIMITRIOS VYTINIOTIS","raw_affiliation_strings":["Programming Principles and Tools group, Microsoft Research, Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"Programming Principles and Tools group, Microsoft Research, Cambridge, UK","institution_ids":["https://openalex.org/I4210164937"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1326498283"],"apc_list":null,"apc_paid":null,"fwci":2.6583,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.91809049,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"26","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.38179999589920044,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.38179999589920044,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.3334999978542328,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.05739999935030937,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/counterexample","display_name":"Counterexample","score":0.9061999917030334},{"id":"https://openalex.org/keywords/falsifiability","display_name":"Falsifiability","score":0.859000027179718},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6155999898910522},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.460099995136261},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3693000078201294},{"id":"https://openalex.org/keywords/mechanism","display_name":"Mechanism (biology)","score":0.328000009059906}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.9061999917030334},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8665000200271606},{"id":"https://openalex.org/C116222747","wikidata":"https://www.wikidata.org/wiki/Q220888","display_name":"Falsifiability","level":2,"score":0.859000027179718},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6155999898910522},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5407999753952026},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.460099995136261},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3781999945640564},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3693000078201294},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.328000009059906},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3222000002861023},{"id":"https://openalex.org/C153517567","wikidata":"https://www.wikidata.org/wiki/Q26090","display_name":"Mechanism design","level":2,"score":0.30820000171661377},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.27950000762939453},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.26980000734329224},{"id":"https://openalex.org/C33276779","wikidata":"https://www.wikidata.org/wiki/Q1943363","display_name":"Design elements and principles","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.25440001487731934}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s0956796816000058","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0956796816000058","pdf_url":null,"source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01424796v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01424796","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Functional Programming, 2016, 26, e4 (62 p.). ⟨10.1017/S0956796816000058⟩","raw_type":"Journal articles"},{"id":"pmh:oai:research.chalmers.se:237023","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/237023","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":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W37906187","https://openalex.org/W72518666","https://openalex.org/W131515753","https://openalex.org/W1495812593","https://openalex.org/W1497183736","https://openalex.org/W1507441114","https://openalex.org/W1725973462","https://openalex.org/W1758455306","https://openalex.org/W1799755352","https://openalex.org/W1984440144","https://openalex.org/W1992085465","https://openalex.org/W2005525408","https://openalex.org/W2009489720","https://openalex.org/W2029976661","https://openalex.org/W2036560761","https://openalex.org/W2039304128","https://openalex.org/W2047370472","https://openalex.org/W2052047106","https://openalex.org/W2071542068","https://openalex.org/W2075849836","https://openalex.org/W2080914957","https://openalex.org/W2088923183","https://openalex.org/W2097444001","https://openalex.org/W2103139643","https://openalex.org/W2104658241","https://openalex.org/W2104993088","https://openalex.org/W2107147876","https://openalex.org/W2116236474","https://openalex.org/W2122049982","https://openalex.org/W2132897303","https://openalex.org/W2138037655","https://openalex.org/W2149996206","https://openalex.org/W2151704521","https://openalex.org/W2154942048","https://openalex.org/W2155877593","https://openalex.org/W2158763360","https://openalex.org/W2159192310","https://openalex.org/W2166542433","https://openalex.org/W2170224888","https://openalex.org/W2171269531","https://openalex.org/W2176407799","https://openalex.org/W2396983327","https://openalex.org/W3113163436","https://openalex.org/W4234122891","https://openalex.org/W4237492309","https://openalex.org/W4238033972","https://openalex.org/W4238083723","https://openalex.org/W4244488020","https://openalex.org/W4246769448","https://openalex.org/W4250728693","https://openalex.org/W4253277433","https://openalex.org/W4254234063"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Information-flow":[1],"control":[2],"mechanisms":[3],"are":[4,103],"difficult":[5],"both":[6,88],"to":[7,10,23,41,48,60,136,148],"design":[8,36,51],"and":[9,68,96,113,150],"prove":[11],"correct.":[12],"To":[13],"reduce":[14],"the":[15,35,50,79,166,169,174],"time":[16],"wasted":[17],"on":[18,117],"doomed":[19],"proof":[20,176],"attempts":[21],"due":[22],"broken":[24],"definitions,":[25],"we":[26,161],"advocate":[27],"modern":[28],"random-testing":[29,46],"techniques":[30],"for":[31,91,106,132,155,173],"finding":[32],"counterexamples":[33,135,154],"during":[34],"process.":[37],"We":[38,85,109,126],"show":[39,162],"how":[40,163],"use":[42],"QuickCheck,":[43],"a":[44,61,66,118],"property-based":[45],"tool,":[47],"guide":[49],"of":[52,81,100,120,123,168,177],"increasingly":[53],"complex":[54,180],"information-flow":[55],"abstract":[56],"machines,":[57],"leading":[58],"up":[59],"sophisticated":[62,89,170],"register":[63],"machine":[64],"with":[65],"novel":[67],"highly":[69],"permissive":[70],"flow-sensitive":[71],"dynamic":[72],"enforcement":[73],"mechanism":[74],"that":[75,87],"is":[76],"sound":[77],"in":[78],"presence":[80],"first-class":[82],"public":[83],"labels.":[84],"find":[86],"strategies":[90],"generating":[92],"well-distributed":[93],"random":[94],"programs":[95],"readily":[97],"falsifiable":[98],"formulations":[99],"noninterference":[101,175],"properties":[102],"critically":[104],"important":[105],"efficient":[107],"testing.":[108],"propose":[110],"several":[111],"approaches":[112],"evaluate":[114],"their":[115],"effectiveness":[116],"collection":[119],"injected":[121],"bugs":[122],"varying":[124],"subtlety.":[125],"also":[127],"present":[128],"an":[129],"effective":[130],"technique":[131],"shrinking":[133],"large":[134],"minimal,":[137],"easily":[138],"comprehensible":[139],"ones.":[140],"Taken":[141],"together,":[142],"our":[143,178],"best":[144],"methods":[145],"enable":[146],"us":[147],"quickly":[149],"automatically":[151],"generate":[152],"simple":[153],"more":[156],"than":[157],"45":[158],"bugs.":[159],"Moreover,":[160],"testing":[164],"guides":[165],"discovery":[167],"invariants":[171],"needed":[172],"most":[179],"machine.":[181]},"counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2}],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2016-06-24T00:00:00"}