Déjà Vu: A Replication Study on Code Smells and Faults in JavaScript Projects
2026-01-01 Pacifico, Kevin; Giordano, Giammaria; Pontillo, Valeria; Di Penta, Massimiliano; Andrew Tamburri, Damian; Palomba, Fabio
Toward Systematic Counterfactual Fairness Evaluation of Large Language Models: The CAFFE Framework
2025-01-01 Parziale, Alessandra; Voria, Gianmario; Pontillo, Valeria; Catolino, Gemma; De Lucia, Andrea; Palomba, Fabio
On the Harmfulness of Test Smells in Manual System Testing: A Controlled Experiment
2025-01-01 Soares, Gabriela; Santos, Vanessa; Ribeiro, M('a)rcio; Martins, Luana; Pontillo, Valeria; Aranda, Manoel; Gheyi, Rohit; Machado, Ivan; Palomba, Fabio
Um Modelo de Dados Extensível para Configuração da Simulação de Redes de Sensores Sem Fio
2010-01-01 Brasil Rebelo Dos Santos, Luciana; Ricardo Berkenbrock, Gian; Massaki Hirata, Celso
Teaching Web Programming based on Interdisciplinary Projects: An Experience Report
2017-01-01 Rebelo Dos Santos, Luciana; Cavichi De Freitas, Renan; Rodrigues Junior, Luis; Venezian Povoa, Lucas; Marques Da Cunha, Adilson
XMITS: Software Inspections via Formal Verification
2018-01-01 Brasil Rebelo Dos Santos, Luciana; Pereira Sales, Camila; Santiago Júnior, Valdivino
Transformation of UML Behavioral Diagrams to Support Software Model Checking
2014-01-01 Brasil Rebelo Dos Santos, Luciana; Alexandre De Santiago, Valdivino; Lankalapalli Vijaykumar, Nandamudi
A Formal Verification Tool for UML Behavioral Diagrams
2014-01-01 Dos Santos, Luciana Brasil Rebelo; Eras, Eduardo Rohde; De Santiago Júnior, Valdivino Alexandre; Vijaykumar, Nandamudi Lankalapalli
Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking
2015-01-01 Eras, Eduardo Rohde; Dos Santos, Luciana Brasil Rebelo; De Santiago Júnior, Valdivino Alexandre; Vijaykumar, Nandamudi Lankalapalli
A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections
2017-01-01 Dos Santos, Luciana Brasil Rebelo; De Santiago Júnior, Valdivino Alexandre; Freitas, Albino Vieira
Evaluating User Experience Elements on a Web System to Support Physiotherapeutic Treatment
2019-01-01 Silvério, Miriéle Dos Santos; Santos, Luciana Brasil Rebelo Dos
Input Data Optimization For Pauliceia 2.0 Platform's Historical Geocoding Web Service
2023-01-01 Diego De Sousa, ; Daniela Leal Musa, ; Vijaykumar, Nandamudi; Mariano, Rodrigo; Rebelo, Luciana; Silva, Raphael; Nascimento, Luanna; Ferla, Luis; Fook, Karla
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples
2019-01-01 Eras, Eduardo Rohde; De Santiago, Valdivino Alexandre; Dos Santos, Luciana Brasil Rebelo
Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping
2021-01-01 De Sousa Matsumura, Gabriel; Dos Santos, Luciana Brasil Rebelo; Conceição, Arlindo Flavio Da; Vijaykumar, Nandamudi Lankalapalli
A system to Support the Physiotherapeutic Treatment of Chronic Pain in the Spine
2021-01-01 Rebelo Dos Santos, Luciana Brasil; Dos Santos Silverio, Miriele; De Castro Mario, Cleyton; Guellner Ghedini, Cinara; Soares, Renato Jose
Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0
2021-01-01 Fook, Karla; Musa, Daniela; Vijaykumar, Nandamudi; Mariano, Rodrigo; Morais, Gabriel; Silva, Raphael; Sansigolo, Gabriel; Rebelo, Luciana; Ferla, Luís; Almeida, Cintia; Nascimento, Luanna; Fontes Da Silva, Vitória; Santos, Monaliza; Torres, Aracele; Pereira, Ângela; Atique, Fernando; Lesser, Jeffrey; Rogers, Thomas; Britt, Andrew; Laguardia, Rafael; Barbour, Ana; Farias, Orlando; Marco, Ariana; Dickinson, Caróu; Camargo, Sand Tamires
Journal first: A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains
2023-01-01 Barbosa, G.; Souza, É.; Rebelo, L.; Silva, M.; Balera, J.; Vijaykumar, N.
Impact of Generative Artificial Intelligence on Knowledge Management in Software Engineering: A Systematic Mapping Study
2025-01-01 Costa, Ana Claudia M. P.; Fantini, Julia Beiroco O.; Souza, Érica Ferreira De; Bragaesilva, Glaucia; Rebelo, Luciana; Felizardo, Katia Romero; Meinerz, Giovani Volnei
Split Architecture: Communication Under Limited Bandwidth and Storage Capacity
2026-01-01 Lie Espen, Oen; Heldal, Rogardt; Mascarenhas De Oliveira Lima, Keila; Pelliccione, Patrizio
CONTAaC: Continuous Architecting as Code
2026-01-01 Somma, Alessandra; Bucaioni, Alessio; Pelliccione, Patrizio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Déjà Vu: A Replication Study on Code Smells and Faults in JavaScript Projects | 1-gen-2026 | Pacifico, Kevin; Giordano, Giammaria; Pontillo, Valeria; Di Penta, Massimiliano; Andrew Tamburri, Damian; Palomba, Fabio | |
| Toward Systematic Counterfactual Fairness Evaluation of Large Language Models: The CAFFE Framework | 1-gen-2025 | Parziale, Alessandra; Voria, Gianmario; Pontillo, Valeria; Catolino, Gemma; De Lucia, Andrea; Palomba, Fabio | |
| On the Harmfulness of Test Smells in Manual System Testing: A Controlled Experiment | 1-gen-2025 | Soares, Gabriela; Santos, Vanessa; Ribeiro, M('a)rcio; Martins, Luana; Pontillo, Valeria; Aranda, Manoel; Gheyi, Rohit; Machado, Ivan; Palomba, Fabio | |
| Um Modelo de Dados Extensível para Configuração da Simulação de Redes de Sensores Sem Fio | 1-gen-2010 | Brasil Rebelo Dos Santos, Luciana; Ricardo Berkenbrock, Gian; Massaki Hirata, Celso | |
| Teaching Web Programming based on Interdisciplinary Projects: An Experience Report | 1-gen-2017 | Rebelo Dos Santos, Luciana; Cavichi De Freitas, Renan; Rodrigues Junior, Luis; Venezian Povoa, Lucas; Marques Da Cunha, Adilson | |
| XMITS: Software Inspections via Formal Verification | 1-gen-2018 | Brasil Rebelo Dos Santos, Luciana; Pereira Sales, Camila; Santiago Júnior, Valdivino | |
| Transformation of UML Behavioral Diagrams to Support Software Model Checking | 1-gen-2014 | Brasil Rebelo Dos Santos, Luciana; Alexandre De Santiago, Valdivino; Lankalapalli Vijaykumar, Nandamudi | |
| A Formal Verification Tool for UML Behavioral Diagrams | 1-gen-2014 | Dos Santos, Luciana Brasil Rebelo; Eras, Eduardo Rohde; De Santiago Júnior, Valdivino Alexandre; Vijaykumar, Nandamudi Lankalapalli | |
| Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking | 1-gen-2015 | Eras, Eduardo Rohde; Dos Santos, Luciana Brasil Rebelo; De Santiago Júnior, Valdivino Alexandre; Vijaykumar, Nandamudi Lankalapalli | |
| A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections | 1-gen-2017 | Dos Santos, Luciana Brasil Rebelo; De Santiago Júnior, Valdivino Alexandre; Freitas, Albino Vieira | |
| Evaluating User Experience Elements on a Web System to Support Physiotherapeutic Treatment | 1-gen-2019 | Silvério, Miriéle Dos Santos; Santos, Luciana Brasil Rebelo Dos | |
| Input Data Optimization For Pauliceia 2.0 Platform's Historical Geocoding Web Service | 1-gen-2023 | Diego De Sousa, ; Daniela Leal Musa, ; Vijaykumar, Nandamudi; Mariano, Rodrigo; Rebelo, Luciana; Silva, Raphael; Nascimento, Luanna; Ferla, Luis; Fook, Karla | |
| Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples | 1-gen-2019 | Eras, Eduardo Rohde; De Santiago, Valdivino Alexandre; Dos Santos, Luciana Brasil Rebelo | |
| Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping | 1-gen-2021 | De Sousa Matsumura, Gabriel; Dos Santos, Luciana Brasil Rebelo; Conceição, Arlindo Flavio Da; Vijaykumar, Nandamudi Lankalapalli | |
| A system to Support the Physiotherapeutic Treatment of Chronic Pain in the Spine | 1-gen-2021 | Rebelo Dos Santos, Luciana Brasil; Dos Santos Silverio, Miriele; De Castro Mario, Cleyton; Guellner Ghedini, Cinara; Soares, Renato Jose | |
| Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0 | 1-gen-2021 | Fook, Karla; Musa, Daniela; Vijaykumar, Nandamudi; Mariano, Rodrigo; Morais, Gabriel; Silva, Raphael; Sansigolo, Gabriel; Rebelo, Luciana; Ferla, Luís; Almeida, Cintia; Nascimento, Luanna; Fontes Da Silva, Vitória; Santos, Monaliza; Torres, Aracele; Pereira, Ângela; Atique, Fernando; Lesser, Jeffrey; Rogers, Thomas; Britt, Andrew; Laguardia, Rafael; Barbour, Ana; Farias, Orlando; Marco, Ariana; Dickinson, Caróu; Camargo, Sand Tamires | |
| Journal first: A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains | 1-gen-2023 | Barbosa, G.; Souza, É.; Rebelo, L.; Silva, M.; Balera, J.; Vijaykumar, N. | |
| Impact of Generative Artificial Intelligence on Knowledge Management in Software Engineering: A Systematic Mapping Study | 1-gen-2025 | Costa, Ana Claudia M. P.; Fantini, Julia Beiroco O.; Souza, Érica Ferreira De; Bragaesilva, Glaucia; Rebelo, Luciana; Felizardo, Katia Romero; Meinerz, Giovani Volnei | |
| Split Architecture: Communication Under Limited Bandwidth and Storage Capacity | 1-gen-2026 | Lie Espen, Oen; Heldal, Rogardt; Mascarenhas De Oliveira Lima, Keila; Pelliccione, Patrizio | |
| CONTAaC: Continuous Architecting as Code | 1-gen-2026 | Somma, Alessandra; Bucaioni, Alessio; Pelliccione, Patrizio |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1398
Data di pubblicazione
- 2020 - 2026500
- 2010 - 2019633
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE38
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...32
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...13
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE43
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...21
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...8
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS6
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng792
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1190
- open101
- reserved97
- partially open10