Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Approximate model counting, sparse XOR constraints and minimum distance
2019 Boreale, M.; Gorla, D.
Output Sampling for Output Diversity in Automatic Unit Test Generation
2022 Menendez, Hd; Boreale, M; Gorla, D; Clark, D
Products, polynomials and differential equations in the stream calculus
2023 Boreale, Michele; Collodi, Luisa; Gorla, Daniele
An Implicit Function Theorem for the Stream Calculus
2023 Boreale, Michele; Collodi, Luisa; Gorla, Daniele
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Approximate model counting, sparse XOR constraints and minimum distance | 2019 | Boreale, M.; Gorla, D. | |
Output Sampling for Output Diversity in Automatic Unit Test Generation | 2022 | Menendez, Hd; Boreale, M; Gorla, D; Clark, D | |
Products, polynomials and differential equations in the stream calculus | 2023 | Boreale, Michele; Collodi, Luisa; Gorla, Daniele | |
An Implicit Function Theorem for the Stream Calculus | 2023 | Boreale, Michele; Collodi, Luisa; Gorla, Daniele |
Mostrati risultati da 1 a 4 di 4
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