{"id":"https://openalex.org/W2003820767","doi":"https://doi.org/10.5220/0004994103150320","title":"Pex Extension for Generating User Input Validation Code for Web Applications","display_name":"Pex Extension for Generating User Input Validation Code for Web Applications","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2003820767","doi":"https://doi.org/10.5220/0004994103150320","mag":"2003820767"},"language":"en","primary_location":{"id":"doi:10.5220/0004994103150320","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0004994103150320","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th International Conference on Software Engineering and Applications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0004994103150320","any_repository_has_fulltext":null},"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":["Faculty of Electrical Engineering, Czech Republic","Department of Computer Science, Faculty of Electrical Engineering Czech Technical University Karlovo nam. 13, 121 35 Praha 2, Czech Republic#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Department of Computer Science, Faculty of Electrical Engineering Czech Technical University Karlovo nam. 13, 121 35 Praha 2, Czech Republic#TAB#","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":["Faculty of Electrical Engineering, Czech Republic","Department of Computer Science, Faculty of Electrical Engineering Czech Technical University Karlovo nam. 13, 121 35 Praha 2, Czech Republic#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Department of Computer Science, Faculty of Electrical Engineering Czech Technical University Karlovo nam. 13, 121 35 Praha 2, Czech Republic#TAB#","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":["Faculty of Electrical Engineering, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Czech Republic","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":0,"citation_normalized_percentile":{"value":0.12330199,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"315","last_page":"320"},"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.9919999837875366,"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.9919999837875366,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9883000254631042,"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"}},{"id":"https://openalex.org/T12799","display_name":"Mobile and Web Applications","score":0.9441999793052673,"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/computer-science","display_name":"Computer science","score":0.8647924661636353},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.7394168972969055},{"id":"https://openalex.org/keywords/unit-testing","display_name":"Unit testing","score":0.6812978386878967},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6153537631034851},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5299319624900818},{"id":"https://openalex.org/keywords/client-side","display_name":"Client-side","score":0.4819031059741974},{"id":"https://openalex.org/keywords/web-application","display_name":"Web application","score":0.4537146985530853},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.43108826875686646},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4185697138309479},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40238064527511597},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3694314956665039},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.2588004171848297},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.13219165802001953},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.09530985355377197}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8647924661636353},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.7394168972969055},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.6812978386878967},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6153537631034851},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5299319624900818},{"id":"https://openalex.org/C202477664","wikidata":"https://www.wikidata.org/wiki/Q1352449","display_name":"Client-side","level":2,"score":0.4819031059741974},{"id":"https://openalex.org/C118643609","wikidata":"https://www.wikidata.org/wiki/Q189210","display_name":"Web application","level":2,"score":0.4537146985530853},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.43108826875686646},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4185697138309479},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40238064527511597},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3694314956665039},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2588004171848297},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.13219165802001953},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.09530985355377197}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0004994103150320","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0004994103150320","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th International Conference on Software Engineering and Applications","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5220/0004994103150320","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0004994103150320","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th International Conference on Software Engineering and Applications","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2522587834","https://openalex.org/W2943523602","https://openalex.org/W4402407159","https://openalex.org/W4254054560","https://openalex.org/W2795601048","https://openalex.org/W2403324299","https://openalex.org/W2015146187","https://openalex.org/W73270673","https://openalex.org/W2621177934","https://openalex.org/W2465899165"],"abstract_inverted_index":{"The":[0,11,81,143,168],"code":[1,13,90,137,145],"written":[2],"by":[3],"a":[4],"software":[5],"developer":[6],"is":[7,14,45,66,75,83],"not":[8],"always":[9],"flawless.":[10],"more":[12,17],"created":[15],"the":[16,22,40,56,64,72,79,88,106,152,155,166,188],"errors":[18],"are":[19],"introduced":[20],"into":[21],"system.":[23],"In":[24,118],"web":[25,141],"development":[26],"different":[27],"programming":[28],"languages":[29],"can":[30,129,170,183],"be":[31,92,100,130,147,158,184],"used":[32],"to":[33,47,68,87,109,132],"implement":[34,48],"back-end":[35],"and":[36,70,111,154,195],"front-end":[37],"sides":[38],"of":[39,115,180],"application.":[41],"For":[42],"example,":[43],"it":[44],"possible":[46],"user":[49,134],"input":[50,57,135,163,177],"validation":[51,89,136,144],"multiple":[52,113],"times":[53],"\u2014it":[54],"validates":[55],"values":[58,164],"on":[59,78,94,151,172,198],"client-side":[60,153],"using":[61,174],"JavaScript":[62,150],"before":[63],"data":[65,74,176],"sent":[67],"server":[69],"then":[71],"received":[73],"validated":[76],"again":[77],"server-side.":[80],"logic":[82],"duplicated,":[84],"changes":[85],"made":[86],"must":[91,99],"synchronised":[93],"both":[95],"sides.":[96],"All":[97],"implementations":[98],"also":[101],"unit":[102,116],"tested,":[103],"which":[104],"increases":[105],"time":[107,196],"required":[108],"create":[110],"maintain":[112],"sets":[114],"tests.":[117],"this":[119],"paper,":[120],"we":[121],"will":[122,157],"describe":[123],"how":[124],"white-box":[125],"testing":[126,173,194],"tool":[127],"Pex":[128],"extended":[131],"generate":[133],"for":[138],"ASP.NET":[139],"MVC":[140],"applications.":[142],"won't":[146],"duplicated":[148],"in":[149,193],"application":[156],"protected":[159],"from":[160,165],"sending":[161],"invalid":[162],"client-side.":[167],"testers":[169,191],"focus":[171],"meaningful":[175],"values.":[178],"Testing":[179],"corner":[181],"cases":[182],"automated":[185],"thus":[186],"saving":[187],"available":[189],"resources\u2014":[190],"involved":[192],"spent":[197],"testing.":[199]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}