skip to main content
Ngôn ngữ:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Kết quả 1 - 20 của 33  trong Tất cả tài nguyên

Kết quả 1 2 next page
Chỉ hiển thị
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

An empirical approach for evaluating the usability of model-driven tools

Condori-Fernández, Nelly ; Panach, Jose Ignacio ; Baars, Arthur Iwan ; Vos, Tanja ; Pastor, Óscar

Science of Computer Programming, 01 November 2013, Vol.78(11), pp.2245-2258 [Tạp chí có phản biện]

ISSN: 0167-6423 ; E-ISSN: 1872-7964 ; DOI: 10.1016/j.scico.2012.07.017

Toàn văn sẵn có

Phiên bản sẵn có
2
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Biere, Armin ; Nahir, Amir ; Vos, Tanja

Series ISSN: 0302-9743 ; ISBN: 978-3-642-39610-6 ; E-ISBN: 978-3-642-39611-3 ; DOI: 10.1007/978-3-642-39611-3

Toàn văn sẵn có

3
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Using genetic programming to evolve action selection rules in traversal-based automated software testing: results obtained with the TESTAR tool

Esparcia Alcázar, Anna Isabel ; Almenar - Pedrós, Francisco ; Vos, Tanja Ernestina ; Rueda Molina, Urko; Universitat Politècnica De València. Departamento De Ingeniería De Sistemas Y Automática - Departament D'Enginyeria De Sistemes I Automàtica ; Universitat Politècnica De València. Departamento De Sistemas Informáticos Y Computación - Departament De Sistemes Informàtics I Computació

ISSN: 1865-9284 ; DOI: 10.1007/s12293-018-0263-8

Toàn văn sẵn có

Phiên bản sẵn có
4
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Evolutionary functional black-box testing in an industrial setting

Vos, Tanja ; Lindlar, Felix ; Wilmes, Benjamin ; Windisch, Andreas ; Baars, Arthur ; Kruse, Peter ; Gross, Hamilton ; Wegener, Joachim

Software Quality Journal, 2013, Vol.21(2), pp.259-288 [Tạp chí có phản biện]

ISSN: 0963-9314 ; E-ISSN: 1573-1367 ; DOI: 10.1007/s11219-012-9174-y

Toàn văn sẵn có

Phiên bản sẵn có
5
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

What do we know about the defect types detected in conceptual models?

Granda, Maria Fernanda ; Condori-Fernandez, Nelly ; Vos, Tanja E.J. ; Pastor, Oscar; Information Management and Software Engineering ; Software & Services ; Network Institute

2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS), 2015, Issue RCIS, pp.88-99

ISBN: 9781467366304

Toàn văn sẵn có

6
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A Model-level Mutation Tool to Support the Assessment of the Test Case Quality

Condori Fernandez, Nelly ; Granda, Maria Fernanda ; Vos, Tanja E.J. ; Pastor, Oscar ; Gołuchowski,, M. ; Pańkowska, C. ; Linger, H. ; Schneider, C.; Information Management and Software Engineering ; Software & Services

Information Systems Development: Complexity in Information Systems Development (ISD2016 Proceedings), 2016, Issue ISD2016 Proceedings

ISBN: 978-83-7875-307-0

Toàn văn sẵn có

7
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Joint Research Workshop 10th Systems Testing and Validation (STV15) and 1st International Workshop on User Interface Test Automation (INTUITEST 2015). Proceedings: 19th October 2015, Sophia Antipolis, France

Aho, Pekka ; Vos, Tanja ; Garbajosa, Juan ; Bøegh, Jørgen ; Rennoch, Axel

Toàn văn sẵn có

8
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Deterministically Testing Actor-Based Concurrent Software

Cordemans, Piet ; Steegmans, Eric ; Boydens, Jeroen ; Vos, Tanja ; Eldh, Sigrid ; Prasetya, Wishnu

Toàn văn sẵn có

9
Material Type:
Sách
Thêm vào Góc nghiên cứu

Test Prioritization based on Change Sensitivity: an Industrial Case Study

Nguyen, Cu ; Tonella, Paolo ; Vos, Tanja ; Condori, Nelly ; Mendelson, Bilha ; Citron, Daniel ; Shehory, Onn

Toàn văn sẵn có

Phiên bản sẵn có
10
Facilitating the Verification of Diffusing Computations and Their Applications
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Facilitating the Verification of Diffusing Computations and Their Applications

E.J. Vos, Tanja ; Swierstra, S. D.

CLEI Electronic Journal, 08/01/2005, Vol.8(1) [Tạp chí có phản biện]

E-ISSN: 0717-5000 ; DOI: http://dx.doi.org/10.19153/cleiej.8.1.2

Toàn văn sẵn có

Phiên bản sẵn có
11
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

A Methodological Framework for Evaluating Software Testing Techniques and Tools

Vos, Tanja Ernestina ; Marín, Beatriz ; Escalona, María José ; Marchetto, Alessandro; Universitat Politècnica De València. Escola Tècnica Superior D'Enginyeria Informàtica

DOI: 10.1109/QSIC.2012.16

Toàn văn sẵn có

12
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Cobertura de código e Informes de Error en Eclipse: más información para evaluar TESTAR

Martín López - Asúnsolo, Antonio; Esparcia Alcázar, Anna Isabel ; Vos, Tanja Ernestina ; Universitat Politècnica De València. Departamento De Sistemas Informáticos Y Computación - Departament De Sistemes Informàtics I Computació

Toàn văn sẵn có

13
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Testing-Based Conceptual Schema Validation in a Model-Driven Environment

Granda Juca, María Fernanda; Condori Fernández, Olinda Nelly ; Pastor López, Oscar ; Vos, Tanja Ernestina ; Universitat Politècnica De València. Departamento De Sistemas Informáticos Y Computación - Departament De Sistemes Informàtics I Computació

DOI: 10.4995/Thesis/10251/89091

Toàn văn sẵn có

14
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Reconocimiento de widgets automático para aplicaciones Java/Swing en TESTAR

Pastor Ricos, Fernando; Vos, Tanja Ernestina ; Esparcia Alcázar, Anna Isabel ; Universitat Politècnica De València. Escola Tècnica Superior D'Enginyeria Informàtica ; Universitat Politècnica De València. Departamento De Sistemas Informáticos Y Computación - Departament De Sistemes Informàtics I Computació

Toàn văn sẵn có

15
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Testing-Based Conceptual Schema Validation in a Model-Driven Environment

Granda Juca, María Fernanda; Condori Fernández, Olinda Nelly ; Pastor López, Oscar ; Vos, Tanja Ernestina ; Universitat Politècnica De València. Departamento De Sistemas Informáticos Y Computación - Departament De Sistemes Informàtics I Computació

Toàn văn sẵn có

16
Towards an Experimental Framework for Measuring Usability of Model-Driven Tools
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Towards an Experimental Framework for Measuring Usability of Model-Driven Tools

Panach, Jose Ignacio ; Condori-Fernández, Nelly ; Baars, Arthur ; Vos, Tanja ; Romeu, Ignacio ; Pastor, Óscar; Campos, Pedro (Editor) ; Graham, Nicholas (Editor) ; Jorge, Joaquim (Editor) ; Nunes, Nuno (Editor) ; Palanque, Philippe (Editor) ; Winckler, Marco (Editor)

Lecture Notes in Computer Science, Human-Computer Interaction – INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV, pp.640-643

ISBN: 9783642237676 ; ISBN: 3642237673 ; E-ISBN: 9783642237683 ; E-ISBN: 3642237681 ; DOI: 10.1007/978-3-642-23768-3_102

Toàn văn sẵn có

17
Incremental Implementation of Syntax Driven Logics
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Incremental Implementation of Syntax Driven Logics

Prasetya, Ignatius Sri Wishnu Brata ; Azurat, A. ; Vos, Tanja E. J. ; Leeuwen, Arthur Van

Journal of Software, 09/01/2006, Vol.1(3) [Tạp chí có phản biện]

ISSN: 1796-217X ; DOI: http://dx.doi.org/10.4304/jsw.1.3.1-13

Toàn văn sẵn có

18
Future Internet Testing: First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers
Material Type:
Sách
Thêm vào Góc nghiên cứu

Future Internet Testing: First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers

Vos, E.J. ;Lakhotia, Kiran ;Bauersfeld, Sebastian;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Kobsa, Alfred (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Nierstrasz, Oscar (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Vos, Tanja E.J (Editor) ; Lakhotia, Kiran (Editor) ; Bauersfeld, Sebastian (Editor)

Lecture Notes in Computer Science

ISBN: 9783319077840 ; ISBN: 3319077848 ; E-ISBN: 9783319077857 ; E-ISBN: 3319077856 ; DOI: 10.1007/978-3-319-07785-7

Toàn văn sẵn có

19
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Material Type:
Sách
Thêm vào Góc nghiên cứu

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Hutchison, David ;Kanade, Takeo ;Kittler, Josef;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Nierstrasz, Oscar (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Sudan, Madhu (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Vardi, Moshe Y (Editor) ; Weikum, Gerhard (Editor) ; Biere, Armin (Editor) ; Nahir, Amir (Editor) ; Vos, Tanja (Editor)

Lecture Notes in Computer Science

ISBN: 9783642396106 ; ISBN: 3642396100 ; E-ISBN: 9783642396113 ; E-ISBN: 3642396119 ; DOI: 10.1007/978-3-642-39611-3

Toàn văn sẵn có

20
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Effectiveness Assessment of an Early Testing Technique using Model-Level Mutants

Condori Fernandez, O.N. ; Granda, M.F. ; Vos, Tanja E.J. ; Pastor, Oscar; Software & Services ; Information Management and Software Engineering

EASE'17 Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering, 2017, pp.98-107

ISBN: 978-1-4503-4804-1

Toàn văn sẵn có

Kết quả 1 - 20 của 33  trong Tất cả tài nguyên

Kết quả 1 2 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Chỉ hiển thị

  1. Tạp chí có phản biện (5)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2011  (2)
  2. 2011đến2012  (5)
  3. 2013đến2014  (9)
  4. 2015đến2017  (9)
  5. Sau 2017  (6)
  6. Lựa chọn khác open sub menu

Đang tìm Cơ sở dữ liệu bên ngoài...