Vidal Oriola, Germán Francisco(Springer, 2015-04-23)
Symbolic execution extends concrete execution by allowing symbolic input data and then exploring all feasible execution paths. It has been defined and used in the context of many different programming languages and paradigms. ...
Mesnard, Fred; Payet, Etienne; Vidal, Germán(Cambridge University Press, 2020-09)
[EN] Concolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. ...
Mesnard, Fred; Payet, Etienne; Vidal Oriola, Germán Francisco(Cambridge University Press, 2015-07)
Software testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic programming.
In this paper, we introduce a ...
Nishida, Naoki; Vidal Oriola, Germán Francisco(Elsevier, 2014-01)
Tail recursive functions are a special kind of recursive functions where the last action in
their body is the recursive call. Tail recursion is important for a number of reasons (e.g.,
they are usually more efficient). ...
González Abril, Juan José(Universitat Politècnica de València, 2020-10-15)
[ES] Recientemente, se ha introducido una nueva técnica de depuración para los programas concurrentes. Por un lado, la técnica permite recorrer una ejecución tanto hacia delante como hacia atrás, lo que resulta muy útil ...
Ortiz Mayordomo, Sergio(Universitat Politècnica de València, 2016-10-04)
[ES] En este trabajo se plantea el desarrollo de una aplicación web para el comercio
electrónico. Este portal permite gestionar la compra y venta de los distintos productos de un
modo sencillo y accesible desde cualquier ...
Casielles Bañón, José Manuel(Universitat Politècnica de València, 2015-07-30)
[ES] El proyecto consiste en el desarrollo de una aplicación para dispositivos móviles
(Smartphones y tablets).
Mediante esta aplicación, CasiTeka, el usuario podrá utilizar su dispositivo móvil para
acceder a la ...
Roberto Lendínez, Jesús Yoel(Universitat Politècnica de València, 2021-09-13)
[ES] En este trabajo se ha planteado una solución para líderes o administradores de las federaciones
de sociedades musicales, cuya necesidad es acceder a los datos para monitorizar y gestionar los
datos de las sociedades ...
Fructuoso Chofré, Vicente(Universitat Politècnica de València, 2021-10-05)
[ES] Este TFG presenta la realización de un depurador reversible de Prolog que permitirá a los
usuarios la carga y visualización de los distintos estados por los que pasa el programa para la
obtención de una solución ...
Cubel Simó, Javier(Universitat Politècnica de València, 2023-10-23)
[ES] El proyecto consiste en el diseño e implementación de un intérprete de línea de comandos (CLI, por sus siglas en inglés) para automatizar algunas de las tareas más cotidianas de los programadores en una empresa. Más ...
Hu, Jin Li(Universitat Politècnica de València, 2017-10-03)
[ES] En este proyecto se plantea desarrollar un portal web de carácter comercio
electrónico enfocado a empresas pequeñas. El portal se va a desarrollar con el
entorno de trabajo Bootstrap, el lenguaje de programación PHP ...
Skoreyko Viktorovich, Nazariy(Universitat Politècnica de València, 2021-09-23)
[ES] Este proyecto consiste en el diseño, desarrollo e instalación de un portal web que permita la gestión electrónica de expedientes de contratación. Dicho portal permitirá consultar diversa información sobre los expedientes, ...
Ruiz Comes, Marcel·Lí(Universitat Politècnica de València, 2021-01-05)
[ES] En un mundo en continuo cambio y rápida evolución, es imprescindible tener una buena
organización con el fin de ayudarnos en el día a día, por ello el presente proyecto se basa en la
creación de una aplicación web ...
Ferrer Sanz, Ignacio(Universitat Politècnica de València, 2021-09-13)
[ES] Resulta innegable que el impacto de las aplicaciones multiplataforma está creciendo incesantemente en el mundo de las aplicaciones móviles. Cada vez aparecen más frameworks de desarrollo capaces de, con ciertas ...
Barrachina Santana, Ernest(Universitat Politècnica de València, 2020-10-16)
[ES] Este proyecto presenta el desarrollo de una APP de Meditación para dispositivos
móviles, con un enfoque original, que incluye un sistema de niveles en el que se
desbloquea la formación a medida que se progresa en ...
Moreno Gil, Álex(Universitat Politècnica de València, 2022-10-18)
[ES] El objetivo de este proyecto es ofrecer una puerta de entrada a la tecnología blockchain de una manera intuitiva y visual para facilitar el entendimiento de sus técnicas y patrones de diseño, cada día más presentes ...
Puig Peral, Miguel(Universitat Politècnica de València, 2022-10-05)
[CA] El TFG es va desenvolupar en el marc d'unes pràctiques extracurriculars a l'empresa NTT Data. Concretament, s’ha dissenyat una solució enfocada a la gestió del flux de treball d’una empresa logística, centrant-se en ...
Xie Qiu, Zhe-Hao(Universitat Politècnica de València, 2023-10-18)
[CA] La contaminació ambiental o atmosfèrica és un problema generalitzat en les grans ciutats. Normalment es mesuren els nivells de partícules (PM2.5 i PM10), diòxid de nitrogen
(NO2) i diòxid de sofre (SO2).
Amb aquest ...
Galiana Fortea, Gonzalo(Universitat Politècnica de València, 2018-09-06)
[ES] Este trabajo se centró en la creación, mediante la metodología del desarrollo centrado
en el usuario, de una aplicación web de ámbito social para la obtención de información
actualizada, tanto de carácter personal ...