Travelled to:1 × France
1 × Italy
1 × Spain
1 × UK
1 × USA
2 × Canada
2 × Germany
2 × Portugal
Collaborated with:E.Díaz R.Blanco J.A.Corrales F.Obeso R.Casado M.Younas L.Sánchez M.J.S.Cabal J.García-Fanjul R.V.Seco A.Goitia C.Monteserín C.d.l.Riva R.Zurita D.Montes M.Hermida J.A.L.Brugos Á.Neira A.Alguero
Talks about:test (5) use (5) servic (3) furnac (3) model (3) blast (3) base (3) transact (2) techniqu (2) internet (2)
Person: Javier Tuya
DBLP: Tuya:Javier
Contributed to:
2012
20122011
2004
2003
2003200120001999
19951993Wrote 12 papers:
- ICST-2012-BlancoTS #approach #evaluation #interactive #test coverage #testing
- Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach (RB, JT, RVS), pp. 71–80.
- SAC-2012-CasadoTY #reliability #testing #transaction #web #web service
- Testing the reliability of web services transactions in cooperative applications (RC, JT, MY), pp. 743–748.
- ICST-2011-CasadoTY #framework #transaction #web #web service
- A Framework to Test Advanced Web Services Transactions (RC, JT, MY), pp. 443–446.
- FSE-2004-CabalT #database #metric #sql #testing #using
- Using an SQL coverage measurement for testing database applications (MJSC, JT), pp. 253–262.
- ASE-2003-DiazTB #automation #metaheuristic #testing #using
- Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search (ED, JT, RB), pp. 310–313.
- ICEIS-v2-2003-MontesTDBO
- A Decision Support System for Preventing and Correcting Burden Slips, Drops and Hangs in a Blast Furnace (DM, JT, ED, RB, FO), pp. 197–201.
- ICEIS-v1-2001-DiazTO #machine learning #using
- A Knowledge-Acquisition Methodology for a Blast Furnace Expert System Using Machine Learning Techniques (ED, JT, FO), pp. 336–339.
- ICEIS-2000-GoitiaGTC #internet
- Building Internet Shops: Current Status of the Cities Project (AG, JGF, JT, JAC), pp. 529–530.
- ICEIS-2000-TuyaDHBNAO #architecture #online
- An Architecture for On-Line Intelligent Control of Blast Furnaces (JT, ED, MH, JALB, ÁN, AA, FO), pp. 222–226.
- ICEIS-1999-Garcia-FanjulMRT #internet #named #online #using
- TIBLEUS: A Model to Build Internet Online Support Services Using ASP (JGF, CM, CdlR, JT), pp. 619–625.
- ESEC-1995-TuyaSC #model checking #modelling #safety #using #verification
- Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models (JT, LS, JAC), pp. 59–75.
- ESEC-1993-TuyaSZC #approach #design #realtime #specification
- A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification (JT, LS, RZ, JAC), pp. 301–312.