Sfoglia per Autore
Verifying Opacity by Abstract Interpretation
2022-01-01 Mastroeni, Isabella; Pasqua, Michele
Automated black-box testing of nominal and error scenarios in RESTful APIs
2022-01-01 Corradini, D.; Zampieri, A.; Pasqua, M.; Viglianisi, E.; Dallago, M.; Ceccato, M.
RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs
2022-01-01 Corradini, Davide; Zampieri, Amedeo; Pasqua, Michele; Ceccato, Mariano
Domain Precision in Galois Connection-Less Abstract Interpretation
2023-01-01 Mastroeni, Isabella; Pasqua, Michele
Enhancing REST API Testing with NLP Techniques
2023-01-01 Kim, Myeongsoo; Corradini, Davide; Sinha, Saurabh; Orso, Alessandro; Pasqua, Michele; Tzoref-Brill, Rachel; Ceccato, Mariano
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode
2023-01-01 Pasqua, Michele; Benini, Andrea; Contro, Filippo; Crosara, Marco; DALLA PREDA, Mila; Ceccato, Mariano
AbU: A calculus for distributed event-driven programming with attribute-based interaction
2023-01-01 Pasqua, Michele; Miculan, Marino
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs
2023-01-01 Corradini, Davide; Pasqua, Michele; Ceccato, Mariano
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems
2024-01-01 Pasqua, Michele; Miculan, Marino
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation
2024-01-01 Pasqua, Michele; Ceccato, Mariano; Tonella, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Verifying Opacity by Abstract Interpretation | 1-gen-2022 | Mastroeni, Isabella; Pasqua, Michele | |
| Automated black-box testing of nominal and error scenarios in RESTful APIs | 1-gen-2022 | Corradini, D.; Zampieri, A.; Pasqua, M.; Viglianisi, E.; Dallago, M.; Ceccato, M. | |
| RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs | 1-gen-2022 | Corradini, Davide; Zampieri, Amedeo; Pasqua, Michele; Ceccato, Mariano | |
| Domain Precision in Galois Connection-Less Abstract Interpretation | 1-gen-2023 | Mastroeni, Isabella; Pasqua, Michele | |
| Enhancing REST API Testing with NLP Techniques | 1-gen-2023 | Kim, Myeongsoo; Corradini, Davide; Sinha, Saurabh; Orso, Alessandro; Pasqua, Michele; Tzoref-Brill, Rachel; Ceccato, Mariano | |
| Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode | 1-gen-2023 | Pasqua, Michele; Benini, Andrea; Contro, Filippo; Crosara, Marco; DALLA PREDA, Mila; Ceccato, Mariano | |
| AbU: A calculus for distributed event-driven programming with attribute-based interaction | 1-gen-2023 | Pasqua, Michele; Miculan, Marino | |
| Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs | 1-gen-2023 | Corradini, Davide; Pasqua, Michele; Ceccato, Mariano | |
| Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems | 1-gen-2024 | Pasqua, Michele; Miculan, Marino | |
| Hypertesting of Programs: Theoretical Foundation and Automated Test Generation | 1-gen-2024 | Pasqua, Michele; Ceccato, Mariano; Tonella, Paolo |
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