All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Pex extension for generating user input validation code for web applications

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F14%3A00222773" target="_blank" >RIV/68407700:21230/14:00222773 - isvavai.cz</a>

  • Result on the web

    <a href="http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0004994103150320" target="_blank" >http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0004994103150320</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.5220/0004994103150320" target="_blank" >10.5220/0004994103150320</a>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Pex extension for generating user input validation code for web applications

  • Original language description

    The code written by a software developer is not always flawless. The more code is created the more errors are introduced into the system. In web development different programming languages can be used to implement back-end and front-end sides of the application. For example, it is possible to implement user input validation multiple times - it validates the input values on client-side using JavaScript before the data is sent to server and then the received data is validated again on the server-side. Thelogic is duplicated, changes made to the validation code must be synchronised on both sides. All implementations must be also unit tested, which increases the time required to create and maintain multiple sets of unit tests. In this paper, we will describe how white-box testing tool Pex can be extended to generate user input validation code for ASP.NET MVC web applications. The validation code won't be duplicated in JavaScript on the client-side and the application will be protected fro

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

    IN - Informatics

  • OECD FORD branch

Result continuities

  • Project

  • Continuities

    S - Specificky vyzkum na vysokych skolach

Others

  • Publication year

    2014

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Article name in the collection

    Proceedings of the 9th International Conference on Software Engineering and Applications

  • ISBN

    978-989-758-036-9

  • ISSN

  • e-ISSN

  • Number of pages

    6

  • Pages from-to

    315-320

  • Publisher name

    INSTICC Press

  • Place of publication

    Setúbal

  • Event location

    Vienna

  • Event date

    Aug 29, 2014

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article