Scorri Autori Unibg  

Opzioni
Risultati da 41 a 60 di 191
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2009 Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing Calvagna, Andrea; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2009 Model-driven design and ASM-based analysis of embedded systems Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2010 Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2010 Design and Development of an Extensible Test Generation Tool based on the Eclipse Rich Client Platform Gargantini, Angelo Michele; Fraser, Gordon 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2010 Automatic review of Abstract State Machines by Meta Property Verification Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2010 On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course Scandurra, Patrizia; Gargantini, Angelo Michele; Salvaneschi, Guido 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2010 Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings Fraser, Gordon; Gargantini, Angelo Michele 1.6 Curatele - Editorships::1.6.01 Curatele - Edited books
1-gen-2010 Preface [to: Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings] Fraser, Gordon; Gargantini, Angelo Michele 1.2 Contributi in volume - Book chapters::1.2.02 Prefazioni/Postfazioni - Prefaces/Afterwords
1-gen-2010 A Formal Logic Approach to Constrained Combinatorial Testing Calvagna, Andrea; Gargantini, Angelo Michele 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2010 ASM Boerger, Egon; Gargantini, Angelo Michele; Riccobene, Elvinia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2010 Generating minimal fault detecting test suites for Boolean expressions Fraser, Gordon; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2010 AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 Using stereoscopic 3D technology for the diagnosis and treatment of amblyopia in young children Gargantini, Angelo Michele Working paper del Dipartimento di Ingegneria gestionale, dell'informazione e della produzione::WPs - Dep. of Information Technology and Mathematical Methods (2004-2012)
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-2011 Using 3D Vision for the diagnosis and treatment of amblyopia in young children Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 A model-driven process for engineering a toolset for a formal method Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2011 T-wise combinatorial interaction test suites construction based on coverage inheritance Calvagna, Andrea; Gargantini, Angelo Michele 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2011 Generation of fault detecting tests from formal specifications by model checking Calvagna, Andrea; Gargantini, Angelo Michele 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2011 Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 Dealing with Constraints in Boolean Expression Testing Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
Risultati da 41 a 60 di 191
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