Software Engineering Research Group
Software Testing Research - Publications
- Javier Tuya, Mª Jose Suarez-Cabal, Claudio de la Riva, Full predicate coverage for testing SQL database queries, Software Testing, Verification and Reliability. In Press, 2010.
[Run Tool |
Download PDF
| DOI]
- Dae Sung Kim-Park, Claudio de la Riva, Javier Tuya, A Partial Test Oracle for XML Query Testing, Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC-PART), Windsor, 2009. [Download PDF | DOI]
- Javier Tuya, Mª Jose Suarez-Cabal, Claudio de la Riva, Query-Aware Shrinking Test Databases, 2nd International Workshop on Testing Database Systems (DBTest), Providence, RI, June 2009. [Download PDF | Download Tool]
- Rubén Casado Tejedor, Javier Tuya, Testing Transactions in Service Oriented Architectures, ICWE DC, San Sebastian, June 2009. [Download PDF]
- Dae Sung Kim-Park, Claudio de la Riva, Javier Tuya, An Approach to a Test Oracle for XML Query Testing, ICWE DC, San Sebastian, June 2009. [Download PDF]
- Raquel Blanco, José García-Fanjul, Javier Tuya, A first approach to test case generation for BPEL compositions of web services using scatter search, 2nd International Workshop on Search-Based Software Testing, Denver, CO, April 2009. [Download PDF]
- Mª José Suárez Cabal, Javier Tuya, Structural Coverage Criteria for Testing SQL Queries, Journal of Universal Computer Science, 15(3) 584-619, 2009. [Download PDF]
- Raquel Blanco, Javier Tuya, Belarmino Adenso-Díaz, Automated test data generation using a Scatter Search approach, Information and Software Technology, 51(4) 708–720, April 2009. [Download PDF | DOI]
- Dae Sung Kim-Park, Claudio de la Riva, Javier Tuya, José García-Fanjul, Generating Input Documents for Testing XML Queries with ToXgene, Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC-PART), Windsor, 2008. [Download PDF]
- Eugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado, A tabu search algorithm for structural software testing, Computers and Operations Research, 35(10) 3049-3392, 2008. [Download PDF | DOI]
-
Javier Tuya, Javier Dolado, Mª Jose Suarez-Cabal, Claudio de la Riva, A controlled experiment on white-box database testing, ACM SIGSOFT Software Engineering Notes, 33(1) 8.1-8.6, January 2008. [DOI]
-
Javier Tuya, Claudio de la Riva, José García-Fanjul, A laboratory exercise in testing database applications, 7th Workshop on Teaching Software Testing (WTST-7), Melbourne, FL, January 2008. [Download PDF]
- Javier Tuya, Mª José Suárez-Cabal, Claudio de la Riva, Mutating Database Queries, Information and Software Technology, 49(4) 398-417, April 2007. [Download PDF | DOI]
- Raquel Blanco, Javier Tuya, Eugenia Díaz, B. Adenso Díaz, A Scatter Search approach for automated branch coverage in software testing, Engineering Intelligent Systems, 15(3) 9-15, 2007.
- Claudio de la Riva, Javier Tuya, Automatic Generation of Assumptions for Modular Verification of Software Specifications, Journal of Systems and Software, 79(9) 1324-1340, September 2006. [Download PDF | DOI]
- Javier Tuya, Mª José Suárez-Cabal, Claudio de la Riva, A practical guide to SQL white-box testing, ACM SIGPLAN Notices, 41(4) 36-41, 2006. [DOI]
- Javier Tuya, Mª José Suárez-Cabal, Claudio de la Riva, SQLMutation: a Tool to Generate Mutants of SQL Database Queries, Second Workshop on Mutation Analysis (Mutation 2006), Raleigh, NC, 2006. [Run Tool |
Download PDF | DOI]
- Claudio de la Riva, José García-Fanjul, Javier Tuya, A Partition-based Approach for XPath Testing, International Conference on Software Engineering Advances (ICSEA), Tahiti, 2006. [Download PDF |DOI]
- José García-Fanjul, Claudio de la Riva, Javier Tuya, Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking, Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC-PART), Windsor, 2006. [Download PDF | PPT | DOI]
- José García-Fanjul, Javier Tuya, Claudio de la Riva, Generating test cases specifications for compositions of web services, International Workshop on Web Services, Modeling and Testing (WS-MaTe), Palermo, 2006, pp. 83-94. [Download PDF]
- Eugenia Díaz, Raquel Blanco, Javier Tuya, Tabu search for automated loop coverage in software testing, International Conference on Knowledge Engineering and Decision Support (ICKEDS), Porto, 2006, pp. 229-234.
- Claudio de la Riva, Javier Tuya, José García-Fanjul, Testing XPath Queries using Model Checking, System Testing and Validation (STV), Potsdam, 2006, pp. 45-52. [Download PDF]
- Claudio de la Riva, Javier Tuya, A survey on testing XML-Based applications, IADIS International Conference, WWW/Internet, Lisbon, 2005, pp. 349-352.
- Eugenia Díaz, Raquel Blanco, Javier Tuya, Applying Tabu and Scatter Search to automated software test case generation, 6th Metaheuristics International Conference (MIC), Vienna, 2005.
- Mª José Suárez-Cabal, Javier Tuya, Using a SQL Coverage Measurement for Testing Database Applications, 12th ACM SIGSOFT Symposium on Foundations of Software Engineering. ACM Software Engineering Notes 19(6) 2004, 253-262. [Download PDF | DOI]
- Eugenia Díaz, Raquel Blanco, Javier Tuya, Automated Software Testing with Metaheuristic Techniques, ERCIM News, no. 58, Special Theme: Automated Software Engineering, 2004. [Browse HTML]
- Claudio de la Riva, Javier Tuya, Modular Model Checking of Software Specifications with Simultaneous Environment Generation, Int. Conf. on Automated Technology for Verification and Analysis, LNCS #3299, 2004, pp. 369-383.
- Mª José Suárez-Cabal, Javier Tuya, Improvement of test data by measuring SQL statement coverage, Software Technology and Engineering Practice, IEEE, 2004, pp. 241-246.
- Eugenia Díaz, Javier Tuya, Raquel Blanco, A modular tool for automated coverage in software testing, Software Technology and Engineering Practice, IEEE, 2004, pp. 234-240.
- Eugenia Díaz, Javier Tuya, Raquel Blanco, Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search, 18th IEEE International Conference on Automated Software Engineering (ASE) , Montreal, 2003, pp. 310-313. [Download PDF | DOI]
- Eugenia Díaz, Javier Tuya, Raquel Blanco, An automated test data generation tool using Tabu Search, UK Software Testing Workshop, York, UK, 2003.
- J. Tuya, M. E. Díaz-Fernández, M. J. Suárez-Cabal, A Review of Automatic Software Testing Generation Techniques, International workshop on system testing and validation (SV02), Paris, 2002.
- J. J. Dolado, J. Tuya, D. Rodríguez, Steps in the Ontological Modelling for the Software Verification and Validation Activities, International workshop on system testing and validation (SV02), Paris, 2002.
Edited
- 13th Conference on Software Engineering and Databases, 2008 (ISBN 978-84-612-5820-8) (PDF, 33.4Mb)
- Actas de Talleres de Ingenería del Software y Bases de Datos, Vol. 3, no. 4, 2009 (ISSN 1988-3455)
- Actas de Talleres de Ingenería del Software y Bases de Datos, Vol. 2, no. 4, 2008 (ISSN 1988-3455)
- Actas de Talleres de Ingenería del Software y Bases de Datos, Vol. 1, no. 4, 2007 (ISSN 1988-3455)
- Técnicas Cuantitativas para la Gestión en la Ingeniería del Software, netbiblo, 2007 (ISBN 978-84-9745-204-5)
|