Testing data consistency of data-intensive applications using quickcheck

LM Castro, T Arts - Electronic Notes in Theoretical Computer Science, 2011 - Elsevier
Many software systems are data-intensive and use a data management systems for data
storage, such as Relational Database Management Systems (RDBMS). RDBMSs are used …

Advanced management of data integrity: property-based testing for business rules

LM Castro - Journal of Intelligent Information Systems, 2015 - Springer
Software testing is a very delicate aspect of software development, since designing good
test sets is a non-trivial task. In this article, we describe a testing technique for testing …

[PDF][PDF] Aplicación de técnicas de pruebas automáticas basadas en propiedades a los diferentes niveles de prueba del software

MÁF Fernández, M Ángel - 2015 - core.ac.uk
Las pruebas son una de las actividades clave en el desarrollo de software, puesto que
ayudan a detectar defectos que, de otro modo, pasarían desapercibidos hasta que el …

Property driven development in Erlang, by example

S Rivas, MÁ Francisco, VM Gulías - Proceedings of the 5th Workshop on …, 2010 - dl.acm.org
Property driven development in Erlang, by example Page 1 Property Driven Development in
Erlang, by Example Samuel Rivas R&D Department LambdaStream SL samuel.rivas …

Feasibility of property-based testing for time-dependent systems

M López, LM Castro, D Cabrero - International Conference on Computer …, 2013 - Springer
As needed as testing is in software development to ensure the construction of quality
products, it has also been traditionally forgotten or neglected, mostly due to its cost …

[PDF][PDF] Critical Evaluation of Validation Rules Automated Extraction from Data.

D Pejcoch - Journal of Systems Integration (1804-2724), 2014 - pdfs.semanticscholar.org
The goal of this article is to critically evaluate a possibility of automatic extraction of such
kind of rules which could be later used within a Data Quality Management process for …

Data modelling and the audit

G Gal - International Journal of Auditing Technology, 2015 - inderscienceonline.com
The development of a corporate-wide data model is a tool to integrate firm's data. The lack of
staff is an impediment to data management efforts. Creation of a comprehensive data-model …

On the development life cycle of distributed functional applications: a case study

LM Castro - 2010 - ruc.udc.es
In a world where technology plays a major, increasing role day after day, efforts devoted to
develop better software are never too much. Both industry and academia are well aware of …

Aplicación de técnicas de pruebas automáticas basadas en propiedades a los diferentes niveles de prueba del software

MÁ Francisco Fernández - 2015 - ruc.udc.es
Las pruebas son una de las actividades clave en el desarrollo de software, puesto que
ayudan a detectar defectos que, de otro modo, pasarían desapercibidos hasta que el …

Testing a distributed Wiki web application with QuickCheck

LG Ramon - 2012 - gupea.ub.gu.se
Web applications are complex, heterogeneous and dynamic. To ensure their correct
functional behaviour is a difficult task and by simply using unit testing and manually …