Sfoglia per Autore
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability
2011 Baluda, M; Braione, P; Denaro, G; Pezze', M
Structural Coverage of Feasible Code
2010 Baluda, M; Braione, P; Denaro, G; Pezze', M
Verifying LTL Properties of Bytecode with Symbolic Execution
2008 Braione, P; Denaro, G; Krena, B; Pezze', M
Classification methods and inductive learning rules: What we may learn from theory
2006 Alippi, C; Braione, P
On Calculi for Context-Aware Coordination
2004 Braione, P; Picco, G
Classification methods, reduced datasets and quality analysis applications
2004 Alippi, C; Braione, P
Titolo | Tipologia | Data di pubblicazione | Autori | File |
---|---|---|---|---|
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability | 01 - Articolo su rivista | 2011 | BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO + | |
Structural Coverage of Feasible Code | 02 - Intervento a convegno | 2010 | BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO + | |
Verifying LTL Properties of Bytecode with Symbolic Execution | 02 - Intervento a convegno | 2008 | BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO + | |
Classification methods and inductive learning rules: What we may learn from theory | 01 - Articolo su rivista | 2006 | BRAIONE, PIETRO + | |
On Calculi for Context-Aware Coordination | 02 - Intervento a convegno | 2004 | BRAIONE, PIETRO + | |
Classification methods, reduced datasets and quality analysis applications | 02 - Intervento a convegno | 2004 | BRAIONE, PIETRO + |
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