Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programsSilva, Rodolfo AdamshukBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-05-30Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
The design of the UNIX operating systemMaurice J. BachEnglewood Cliffs, N.J. Prentice-Hall c1986Localização: ICMC - Inst. Ciên. Mat. Computação (68M30.15 B118d e.6 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Modern operating systemsAndrew S. Tanenbaum 1944-Englewood Cliffs, N.J. Prentice Hall c1992Localização: EESC - Esc. Engenharia de São Carlos (001.61 T164m ) e outros locais(Acessar) |
|
4 |
Material Type: Dissertação de Mestrado
|
Teste estrutural de programas concorrentes como uma composição de serviços na WebPrado, Rafael Regis DoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2016-03-24Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Dissertação de Mestrado
|
Evidências sobre o uso de técnicas de geração automática de dados de teste em programas concorrentesVilela, Ricardo FerreiraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2016-08-01Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Dissertação de Mestrado
|
Structural testing criteria for concurrent programs considering loop executionDiaz, Silvia Margarita DiazBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2019-05-24Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Dissertação de Mestrado
|
Study and definition of project attributes for selection of testing techniques for concurrent softwareSantos, Italo De OliveiraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2020-07-07Acesso online |
|
8 |
Material Type: Livro
|
User guide to the unix tm systemRebecca Thomas Jean YatesBerkeley Mcgraw-Hill 1985Localização: IFSC - Inst. Física de São Carlos (001.642 T461U 2.ed. ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Operating systems design and implementationAndrew S. Tanenbaum 1944- Albert S WoodhullUpper Saddle River, N.J. Pearson/Prentice Hall c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68M30.01 T164os.3 e.5 ) e outros locais(Acessar) |
|
10 |
Material Type: Dissertação de Mestrado
|
Estudo sobre adaptação de critérios de teste de programas concorrentes para o teste de integração de sistemas robóticos móveisSantos, Marcos Pereira DosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2016-03-23Acesso online. A biblioteca também possui exemplares impressos. |