skip to main content
Language:

Results 1 - 10 of 96  for USP Intelectual Production

Sorted by: Sorted by: Date-newestOr hit Enter to replace sort method
Results 1 2 3 4 5 next page
Refined by: author/creator: Simão, A remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Similarity testing for role-based access control systems
Similarity testing for role-based access control systems
Material Type:
Article 		Add to e-Shelf

Similarity testing for role-based access control systems

Carlos Diego N. Damasceno (Carlos Diego Nascimento Damasceno) Paulo Cesar Masiero; Adenilso da Silva Simão

Journal of Software Engineering Research and Development Heidelberg : Springer v. 6, n. 1, p. 1-37, Jan. 2018

Heidelberg 2018

Available at ICMC - Inst. Ciên. Mat. Computação    (PROD 2883524 )(GetIt)

2
Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI
Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI
Material Type:
Conference Paper 		Add to e-Shelf

Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI

Carlos Diego Nascimento Damasceno Paulo Sérgio Lopes de Souza; Adenilso da Silva Simão; Escola Regional de Alto Desempenho de São Paulo - ERAD-SP (8. 2017 São Carlos, SP)

Anais Porto Alegre : SBC, 2017

Porto Alegre, RS SBC 2017

Available at ICMC - Inst. Ciên. Mat. Computação    (PROD 2853254 )(GetIt)

3
Reducing the concretization effort in fsm-based testing of software product lines
Reducing the concretization effort in fsm-based testing of software product lines
Material Type:
Conference Paper 		Add to e-Shelf

Reducing the concretization effort in fsm-based testing of software product lines

Vanderson Hafemann Fragal Adenilso da Silva Simão; André Takeshi Endo; Mohammad Reza Mousavi; IEEE International Conference on Software Testing, Verification and Validation Workshops - ICSTW (10. 2017 Tokyo, Japan)

Proceedings Piscataway, NJ : IEEE

Piscataway, NJ IEEE 2017

Available at ICMC - Inst. Ciên. Mat. Computação    (PROD 2852305 )(GetIt)

4
Adaptive localizer based on splitting trees
Adaptive localizer based on splitting trees
Material Type:
Conference Paper 		Add to e-Shelf

Adaptive localizer based on splitting trees

Roland Groz Adenilso da Silva Simão; Catherine Oriat; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)

Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 326-332, 2017

Cham, SZ Springer 2017

Available at ICMC - Inst. Ciên. Mat. Computação    (PROD 2864869 )(GetIt)

5
Fault-based testing for refinement in CSP
Fault-based testing for refinement in CSP
Material Type:
Conference Paper 		Add to e-Shelf

Fault-based testing for refinement in CSP

Ana Cavalcanti Adenilso da Silva Simão; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)

Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 21-37, 2017

Cham, SZ Springer 2017

Available at ICMC - Inst. Ciên. Mat. Computação    (PROD 2864877 )(GetIt)

6
Experimental comparison of approaches for checking completeness of test suites from finite state machines
Experimental comparison of approaches for checking completeness of test suites from finite state machines
Material Type:
Article 		Add to e-Shelf

Experimental comparison of approaches for checking completeness of test suites from finite state machines

Adilson Bonifacio Arnaldo Moura; Adenilso da Silva Simão

Information and Software Technology Amsterdam : Elsevier v. 92, p. 95-104, Dez. 2017

Amsterdam 2017

Available at ICMC - Inst. Ciên. Mat. Computação    (PROD 2861189 )(GetIt)

7
Formal mutation testing for Circus
Formal mutation testing for Circus
Material Type:
Article 		Add to e-Shelf

Formal mutation testing for Circus

Alex Alberto Ana Cavalcanti; Marie-Claude Gaudel; Adenilso da Silva Simão

Information and Software Technology Amsterdam : Elsevier v. 81, p. 131-153, Jan. 2017

Amsterdam 2017

Available at ICMC - Inst. Ciên. Mat. Computação    (PROD 2772735 )(GetIt)

8
Generating checking sequences for user defined fault models
Generating checking sequences for user defined fault models
Material Type:
Conference Paper 		Add to e-Shelf

Generating checking sequences for user defined fault models

Alexandre Petrenko Adenilso da Silva Simão; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)

Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 320-325, 2017

Cham, SZ Springer 2017

Available at ICMC - Inst. Ciên. Mat. Computação    (PROD 2864702 )(GetIt)

9
Impact of the vendor lock-in problem on testing as a service (TaaS)
Impact of the vendor lock-in problem on testing as a service (TaaS)
Material Type:
Conference Paper 		Add to e-Shelf

Impact of the vendor lock-in problem on testing as a service (TaaS)

Ricardo Ramos de Oliveira Rafael Messias Martins; Adenilso da Silva Simão; IEEE International Conference on Cloud Engineering - IC2E 2017 Vancouver, Canadá)

IEEE Software Piscataway, NJ : IEEE

Piscataway, NJ IEEE 2017

Available at ICMC - Inst. Ciên. Mat. Computação    (PROD 2840236 )(GetIt)

10
An assessment of extended finite state machine test selection criteria
An assessment of extended finite state machine test selection criteria
Material Type:
Article 		Add to e-Shelf

An assessment of extended finite state machine test selection criteria

Khaled El-Fakih Adenilso da Silva Simão; Noshad Jadoon; José Carlos Maldonado

The Journal of Systems and Software Amsterdm : Elsevier v. 123, p. 106-118, Jan. 2017

Amsterdam 2017

Available at ICMC - Inst. Ciên. Mat. Computação    (PROD 2782530 )(GetIt)

Results 1 - 10 of 96  for USP Intelectual Production

Sorted by: Sorted by: Date-newestOr hit Enter to replace sort method
Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Refine My Results

Resource Type 

  1. Articles  (79)
  2. Books  (8)
  3. Technical Productions  (5)
  4. Academic Productions  (3)
  5. Other  (1)
  6. Patents  (1)
  7. More options open sub menu

Creation Date 

From To
Refine
  1. Before2007  (7)
  2. 2007To2008  (12)
  3. 2009To2010  (20)
  4. 2011To2013  (23)
  5. After 2013  (34)
  6. More options open sub menu

Language 

  1. English  (80)
  2. Portuguese  (17)
  3. More options open sub menu

Suggested New Searches

Ignore my query and look for everything

by this author/creator:

  1. Simão, A
  2. Petrenko, A
  3. Maldonado, J
  4. Endo, A
  5. Souza, S

on this subject:

  1. Sistemas De Informação
  2. Engenharia De Software
  3. Softwares
  4. Sistemas Distribuídos
  5. Programação Concorrente

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait