{"id":"https://openalex.org/W1908365537","doi":null,"title":"Automatic Verification and Tuning of Transaction-based Database Applications","display_name":"Automatic Verification and Tuning of Transaction-based Database Applications","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W1908365537","mag":"1908365537"},"language":"en","primary_location":{"id":"mag:1908365537","doi":null,"is_oa":false,"landing_page_url":"http://dspace.kci.go.kr/handle/kci/1769725","pdf_url":null,"source":{"id":"https://openalex.org/S4306496169","display_name":"\uc815\ubcf4\uacfc\ud559\ud68c\ub17c\ubb38\uc9c0 : \ub370\uc774\ud0c0\ubca0\uc774\uc2a4","issn_l":"1229-7739","issn":["1229-7739"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"\uc815\ubcf4\uacfc\ud559\ud68c\ub17c\ubb38\uc9c0 : \ub370\uc774\ud0c0\ubca0\uc774\uc2a4","raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5005219029","display_name":"\uac15\ud604\uad6c","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\uac15\ud604\uad6c","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5024509724","display_name":"\uc774\uad11\uadfc","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\uc774\uad11\uadfc","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19458128,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"32","issue":"1","first_page":"86","last_page":"99"},"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.5586000084877014,"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.5586000084877014,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.2125999927520752,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.09570000320672989,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/transaction-processing","display_name":"transaction processing","score":0.6859999895095825},{"id":"https://openalex.org/keywords/automatic-error-detection","display_name":"automatic error detection","score":0.7020000219345093},{"id":"https://openalex.org/keywords/program-analysis","display_name":"program analysis","score":0.8069999814033508}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35473424196243286}],"mesh":[],"locations_count":2,"locations":[{"id":"mag:1908365537","doi":null,"is_oa":false,"landing_page_url":"http://dspace.kci.go.kr/handle/kci/1769725","pdf_url":null,"source":{"id":"https://openalex.org/S4306496169","display_name":"\uc815\ubcf4\uacfc\ud559\ud68c\ub17c\ubb38\uc9c0 : \ub370\uc774\ud0c0\ubca0\uc774\uc2a4","issn_l":"1229-7739","issn":["1229-7739"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"\uc815\ubcf4\uacfc\ud559\ud68c\ub17c\ubb38\uc9c0 : \ub370\uc774\ud0c0\ubca0\uc774\uc2a4","raw_type":null},{"id":"mag:2403667029","doi":null,"is_oa":false,"landing_page_url":"http://www.koreascience.or.kr/article/ArticleFullRecord.jsp?cn=JBGHEH_2005_v32n1_86","pdf_url":null,"source":{"id":"https://openalex.org/S4306496169","display_name":"\uc815\ubcf4\uacfc\ud559\ud68c\ub17c\ubb38\uc9c0 : \ub370\uc774\ud0c0\ubca0\uc774\uc2a4","issn_l":"1229-7739","issn":["1229-7739"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Jeongbo gwahaghoe nonmunji. dei'ta'bei'seu","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2403667029","https://openalex.org/W2282107315","https://openalex.org/W2709711009","https://openalex.org/W2997629465","https://openalex.org/W2127772088","https://openalex.org/W2260114645","https://openalex.org/W2763260107","https://openalex.org/W2899531149","https://openalex.org/W7026777749","https://openalex.org/W3181236397"],"abstract_inverted_index":{"\ubcf8":[0],"\ub17c\ubb38\uc5d0\uc11c\ub294":[1],"\ud504\ub85c\uadf8\ub7a8":[2,7],"\ubd84\uc11d":[3],"\uae30\uc220\uc5d0":[4],"\uae30\ubc18\ud558\uc5ec,":[5],"\uc8fc\uc5b4\uc9c4":[6],"\ub0b4\uc5d0\uc11c":[8],"\ud2b8\ub79c\uc7ad\uc158":[9,24,65,67],"\ucc98\ub9ac":[10,25],"\uad00\ub828\uc624\ub958\ub97c":[11],"\uc790\ub3d9\uc73c\ub85c":[12,17],"\uac80\ucd9c\ud574\uc8fc\uace0,":[13],"\uc131\ub2a5\uc800\ud558":[14],"\uc694\uc18c\uac00":[15],"\ubc1c\uacac\ub418\uba74":[16],"\uac1c\uc120\ub41c":[18],"\ucf54\ub4dc\ub85c":[19],"\ubcc0\ud658\ud558\uc5ec":[20],"\uc8fc\ub294":[21],"\uc2dc\uc2a4\ud15c\uc744":[22],"\uc81c\uc548\ud55c\ub2e4.":[23],"\uc624\ub958\ub780":[26],"\ud2b8\ub79c\uc7ad\uc158\uc744":[27,75],"\uc5f4\uace0\uc11c":[28],"\ub2eb\uc9c0":[29],"\uc54a\ub294":[30],"\uacbd\uc6b0\ub098,":[31],"\uc798\ubabb\ub41c":[32],"\uc7a0\uae08\uc218\uc900(Locking-Level)\uc744":[33],"\uc124\uc815\ud558\ub294":[34],"\uacbd\uc6b0\ub97c":[35,77],"\ub9d0\ud55c\ub2e4.":[36,78],"\uc804\uc790\uc758":[37],"\uacbd\uc6b0,":[38,55],"\uc6d0\ud558\ub294":[39],"\ub300\ub85c":[40],"\ub370\uc774\ud0c0\uac00":[41],"\uc800\uc7a5\ub418\uc9c0":[42],"\uc54a\uac70\ub098":[43],"\uc7a5\uc2dc\uac04":[44],"\ub370\uc774\ud0c0\ubca0\uc774\uc2a4":[45],"\ud14c\uc774\ube14\uc744":[46],"\uc7a0\uae08(Locking)\uc73c\ub85c\uc368":[47],"\uc2dc\uc2a4\ud15c":[48],"\uc804\uccb4\uc758":[49],"\uc131\ub2a5\uc744":[50],"\ub5a8\uc5b4\ub728\ub9b4":[51],"\uc218":[52],"\uc788\ub2e4.":[53],"\ud6c4\uc790\uc758":[54],"\uc2dc\uc2a4\ud15c\uc5d0":[56],"\ub530\ub77c":[57],"\uc608\uc678\uc0c1\ud669\uc774\ub098":[58],"\ud504\ub85c\uadf8\ub7a8\uc758":[59],"\ud30c\ud589\uc801":[60],"\uc2e4\ud589":[61],"\uc911\ub2e8\uc744":[62],"\uc57c\uae30\ud55c\ub2e4.":[63],"\ube44\ud6a8\uc728\uc801\uc778":[64],"\ucc98\ub9ac\ub780,":[66],"\uc601\uc5ed(Boundary)":[68],"\ub610\ub294":[69],"\uc7a0\uae08\uc218\uc900\uc744":[70],"\ube44\ud6a8\uc728\uc801\uc73c\ub85c":[71],"\uc124\uacc4\ud558\uc5ec\uc11c":[72],"\ub2e4\ub978":[73],"\ud504\ub85c\uc138\uc2a4\ub4e4\uc758":[74],"\uc9c0\uc5f0\uc2dc\ud0a4\ub294":[76]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}