{"id":"https://openalex.org/W2106729430","doi":"https://doi.org/10.1145/2659532.2659633","title":"Reducing user input validation code in web applications using Pex extension","display_name":"Reducing user input validation code in web applications using Pex extension","publication_year":2014,"publication_date":"2014-06-27","ids":{"openalex":"https://openalex.org/W2106729430","doi":"https://doi.org/10.1145/2659532.2659633","mag":"2106729430"},"language":"en","primary_location":{"id":"doi:10.1145/2659532.2659633","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2659532.2659633","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th International Conference on Computer Systems and Technologies","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/A5085950015","display_name":"Karel Frajt\u00e1k","orcid":"https://orcid.org/0000-0003-4133-2805"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Karel Frajt\u00e1k","raw_affiliation_strings":["Czech Technical University in Prague"],"affiliations":[{"raw_affiliation_string":"Czech Technical University in Prague","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025223600","display_name":"Miroslav Bure\u0161","orcid":"https://orcid.org/0000-0002-2994-7826"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Miroslav Bure\u0161","raw_affiliation_strings":["Czech Technical University in Prague"],"affiliations":[{"raw_affiliation_string":"Czech Technical University in Prague","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070117038","display_name":"Ivan Jel\u00ednek","orcid":null},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Ivan Jel\u00ednek","raw_affiliation_strings":["Czech Technical University in Prague"],"affiliations":[{"raw_affiliation_string":"Czech Technical University in Prague","institution_ids":["https://openalex.org/I44504214"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5085950015"],"corresponding_institution_ids":["https://openalex.org/I44504214"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.1758969,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"302","last_page":"308"},"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.9998000264167786,"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.9998000264167786,"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.9966999888420105,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8536189794540405},{"id":"https://openalex.org/keywords/client-side","display_name":"Client-side","score":0.7462581396102905},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.7049875259399414},{"id":"https://openalex.org/keywords/server-side","display_name":"Server-side","score":0.5735633969306946},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5515494346618652},{"id":"https://openalex.org/keywords/web-application","display_name":"Web application","score":0.4683890640735626},{"id":"https://openalex.org/keywords/unit-testing","display_name":"Unit testing","score":0.41851913928985596},{"id":"https://openalex.org/keywords/data-validation","display_name":"Data validation","score":0.41347554326057434},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3722228407859802},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3674444854259491},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3544003665447235},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1756475269794464}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8536189794540405},{"id":"https://openalex.org/C202477664","wikidata":"https://www.wikidata.org/wiki/Q1352449","display_name":"Client-side","level":2,"score":0.7462581396102905},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.7049875259399414},{"id":"https://openalex.org/C14414571","wikidata":"https://www.wikidata.org/wiki/Q519081","display_name":"Server-side","level":2,"score":0.5735633969306946},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5515494346618652},{"id":"https://openalex.org/C118643609","wikidata":"https://www.wikidata.org/wiki/Q189210","display_name":"Web application","level":2,"score":0.4683890640735626},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.41851913928985596},{"id":"https://openalex.org/C92446256","wikidata":"https://www.wikidata.org/wiki/Q3306762","display_name":"Data validation","level":2,"score":0.41347554326057434},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3722228407859802},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3674444854259491},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3544003665447235},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1756475269794464},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2659532.2659633","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2659532.2659633","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th International Conference on Computer Systems and Technologies","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5640074898","display_name":null,"funder_award_id":"SGS14/076/OHK3/1T/13","funder_id":"https://openalex.org/F4320309972","funder_display_name":"\u010cesk\u00e9 Vysok\u00e9 U\u010den\u00ed Technick\u00e9 v Praze"}],"funders":[{"id":"https://openalex.org/F4320309972","display_name":"\u010cesk\u00e9 Vysok\u00e9 U\u010den\u00ed Technick\u00e9 v Praze","ror":"https://ror.org/03kqpb082"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1511956503","https://openalex.org/W1534674107","https://openalex.org/W1990543981","https://openalex.org/W2000974833","https://openalex.org/W2097600306","https://openalex.org/W2107147876","https://openalex.org/W2118940525","https://openalex.org/W2264507861","https://openalex.org/W6693277731"],"related_works":["https://openalex.org/W4302890120","https://openalex.org/W3005688497","https://openalex.org/W4322735059","https://openalex.org/W2522587834","https://openalex.org/W4301042531","https://openalex.org/W73270673","https://openalex.org/W2518019954","https://openalex.org/W2943523602","https://openalex.org/W2732083259","https://openalex.org/W2028655213"],"abstract_inverted_index":{"Validation":[0],"of":[1,71,150,207,226],"user":[2,25,79,90,170],"input":[3,80,91,100,171,200],"data":[4,110,119],"is":[5,43,75,93,111,120,187],"very":[6],"important":[7,44],"in":[8,51,136,194],"web":[9,73,175],"application.":[10],"Not":[11],"only":[12],"it":[13,21,97],"protects":[14],"the":[15,24,52,60,72,99,109,117,124,130,190,203,208],"system":[16],"from":[17,189],"various":[18],"exploits,":[19],"but":[20,54],"also":[22,145],"improves":[23],"experience.":[26],"User":[27],"immediately":[28],"sees":[29],"what":[30],"values":[31,101,201],"are":[32,35,231],"missing":[33],"or":[34],"not":[36,57,76],"valid":[37],"and":[38,81,115,156,224],"should":[39],"be":[40,66,134,144,154,211],"fixed.":[41],"It":[42],"to":[45,77,113,129,168],"validate":[46,82],"code":[47,83,132,137,173,186,192,197],"on":[48,62,84,103,123,138,178,202,222],"client":[49,104,183,204],"side":[50,64,86,105,184],"browser,":[53],"that":[55,59],"does":[56],"mean":[58],"validation":[61,92,131,172,185],"server":[63,85,114,125],"can":[65,210],"omitted.":[67],"The":[68,89,181,196],"golden":[69],"rule":[70],"applications":[74,176],"trust":[78],"as":[87],"well.":[88],"therefore":[94],"duplicated":[95],"--":[96,218,230],"validates":[98,199],"first":[102],"using":[106],"JavaScript":[107,182],"before":[108],"sent":[112],"then":[116,198],"received":[118],"validated":[121],"again":[122],"side.":[126,205],"Changes":[127],"made":[128],"must":[133,143,153],"synchronized":[135],"both":[139],"sides.":[140],"All":[141],"implementations":[142],"unit":[146,151],"tested,":[147],"multiple":[148],"sets":[149],"tests":[152],"created":[155,177],"maintained.":[157],"We":[158],"will":[159],"describe":[160],"how":[161],"we":[162],"extended":[163],"white-box":[164],"testing":[165,209,223],"tool":[166],"Pex":[167],"generate":[169],"for":[174],".NET":[179],"platform.":[180],"generated":[188,214],"controller":[191],"written":[193],"C#.":[195],"Most":[206],"automated":[212],"executing":[213],"test.":[215],"Testing":[216],"resources":[217],"i.e":[219],"time":[220],"spent":[221],"number":[225],"testers":[227],"involved":[228],"people":[229],"saved.":[232]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}