Scorri Autori Unibg  MAGRI, Eros

Opzioni
Risultati da 1 a 10 di 10
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2011 An eclipse-based environment for conformance testing by FSMs Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 Model-Driven Testing for Web Applications Using Abstract State Machines Bolis, Francesco; Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros; Musto, Lorenzo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 Evolutionary Testing of PHP Web Applications with WETT Bolis, Francesco; Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 A Domain Specific Language for Modeling Differential Constraints of Mobile Robots Guarnieri, Marco; Magri, Eros; Brugali, Davide; Gherardi, Luca 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 Conflict detection in security policies using Semantic Web technology Paraboschi, Stefano; Arrigoni Neri, Mario; Mutti, Simone; Magri, Eros; Guarnieri, Marco 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 Automated Management and Analysis of Security Policies using Eclipse Paraboschi, Stefano; ARRIGONI NERI, Mario; Mutti, Simone; Magri, Eros; Guarnieri, Marco 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 On the Notion of Redundancy in Access Control Policies Guarnieri, Marco; ARRIGONI NERI, Mario; Magri, Eros; Mutti, Simone 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 AURORA: AUtomatic RObustness coveRage Analysis Tool Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
31-gen-2013 A Model-Driven Approach for Securing Software Architectures Guarnieri, Marco; Arrigoni Neri, Mario; Magri, Eros; Mutti, Simone; Paraboschi, Stefano 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.03 Testi di poster in atti di convegno - Conference posters
Risultati da 1 a 10 di 10
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