{"id":"https://openalex.org/W2006659727","doi":"https://doi.org/10.1145/1982185.1982465","title":"FortressCheck","display_name":"FortressCheck","publication_year":2011,"publication_date":"2011-03-21","ids":{"openalex":"https://openalex.org/W2006659727","doi":"https://doi.org/10.1145/1982185.1982465","mag":"2006659727"},"language":"en","primary_location":{"id":"doi:10.1145/1982185.1982465","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1982185.1982465","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2011 ACM Symposium on Applied Computing","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/A5089143907","display_name":"Seong-Hoon Kang","orcid":"https://orcid.org/0000-0002-5814-2154"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]},{"id":"https://openalex.org/I4210099236","display_name":"Kootenay Association for Science & Technology","ror":"https://ror.org/011pv9p44","country_code":"CA","type":"nonprofit","lineage":["https://openalex.org/I4210099236"]}],"countries":["CA","KR"],"is_corresponding":true,"raw_author_name":"Seonghoon Kang","raw_affiliation_strings":["KAIST"],"affiliations":[{"raw_affiliation_string":"KAIST","institution_ids":["https://openalex.org/I4210099236","https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087492388","display_name":"Sukyoung Ryu","orcid":"https://orcid.org/0000-0002-0019-9772"},"institutions":[{"id":"https://openalex.org/I4210099236","display_name":"Kootenay Association for Science & Technology","ror":"https://ror.org/011pv9p44","country_code":"CA","type":"nonprofit","lineage":["https://openalex.org/I4210099236"]},{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["CA","KR"],"is_corresponding":false,"raw_author_name":"Sukyoung Ryu","raw_affiliation_strings":["KAIST"],"affiliations":[{"raw_affiliation_string":"KAIST","institution_ids":["https://openalex.org/I4210099236","https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5089143907"],"corresponding_institution_ids":["https://openalex.org/I157485424","https://openalex.org/I4210099236"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15910868,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1290","last_page":"1296"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991000294685364,"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.9962999820709229,"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/haskell","display_name":"Haskell","score":0.885127604007721},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8267890214920044},{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.6827125549316406},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.670547366142273},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.636830747127533},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.547217607498169},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5347040891647339},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.5181537866592407},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5145125389099121},{"id":"https://openalex.org/keywords/functional-testing","display_name":"Functional testing","score":0.4565041661262512},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4563466012477875},{"id":"https://openalex.org/keywords/integration-testing","display_name":"Integration testing","score":0.4261627793312073},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.30447691679000854},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2233634889125824},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.16494515538215637},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.1520291566848755},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1430284082889557},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07853442430496216}],"concepts":[{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.885127604007721},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8267890214920044},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.6827125549316406},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.670547366142273},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.636830747127533},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.547217607498169},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5347040891647339},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.5181537866592407},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5145125389099121},{"id":"https://openalex.org/C80823478","wikidata":"https://www.wikidata.org/wiki/Q4493432","display_name":"Functional testing","level":3,"score":0.4565041661262512},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4563466012477875},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.4261627793312073},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.30447691679000854},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2233634889125824},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.16494515538215637},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.1520291566848755},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1430284082889557},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07853442430496216},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C51234621","wikidata":"https://www.wikidata.org/wiki/Q2149495","display_name":"Testability","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"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/1982185.1982465","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1982185.1982465","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2011 ACM Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G827332761","display_name":null,"funder_award_id":"2010-0001723","funder_id":"https://openalex.org/F4320322349","funder_display_name":"Ministry of Education, Science and Technology"}],"funders":[{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"},{"id":"https://openalex.org/F4320322349","display_name":"Ministry of Education, Science and Technology","ror":"https://ror.org/01p262204"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W2009489720","https://openalex.org/W2096425305","https://openalex.org/W2096449544","https://openalex.org/W2107709519","https://openalex.org/W2119717320","https://openalex.org/W2172260321","https://openalex.org/W4244027506","https://openalex.org/W4244488020","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2119717320","https://openalex.org/W4242126179","https://openalex.org/W2183725039","https://openalex.org/W2235413408","https://openalex.org/W3122607007","https://openalex.org/W1598796492","https://openalex.org/W1983695976","https://openalex.org/W1997428058","https://openalex.org/W2088217310","https://openalex.org/W2074050424"],"abstract_inverted_index":{"QuickCheck":[0,44,71,82],"is":[1,45],"a":[2,18,25,31,36],"random":[3],"testing":[4,23,54,77],"library":[5],"designed":[6],"for":[7,33,40],"the":[8,70],"purely":[9],"functional":[10],"programming":[11,92],"language":[12],"Haskell.":[13],"Its":[14],"main":[15],"features":[16],"include":[17],"descriptive":[19],"yet":[20],"embedded":[21],"domain-specific":[22],"language,":[24],"variety":[26],"of":[27,38,91],"test":[28],"generators":[29],"including":[30],"generator":[32],"functions,":[34],"and":[35,67,83],"set":[37],"operations":[39],"monitoring":[41],"generated":[42],"inputs.":[43],"limited":[46],"to":[47,51],"ad-hoc":[48],"testing,":[49],"compared":[50],"more":[52],"systematic":[53,76],"methods":[55],"such":[56],"as":[57,73,75],"full":[58],"coverage":[59],"testing.":[60],"However,":[61],"experiences":[62],"showed":[63],"that":[64],"well-factored":[65],"functions":[66],"properties":[68],"make":[69],"approach":[72],"effective":[74],"while":[78],"maintaining":[79],"its":[80,84],"conciseness.":[81],"variants":[85],"are":[86],"now":[87],"available":[88],"in":[89],"dozens":[90],"languages.":[93]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}