Scorri Autori Unibg  

Opzioni
Risultati da 21 a 40 di 60
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2014 Test generation for sequential nets of Abstract State Machines with information passing Arcaini, Paolo; Gargantini, Angelo Michele 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2015 Using mutation to assess fault detection capability of model review Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2015 Modeling and validating self-adaptive service-oriented applications Arcaini, Paolo; Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2015 Generating Tests for Detecting Faults in Feature Models Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2015 How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions Arcaini, Paolo; Gargantini, Angelo Michele; Elvinia, Riccobene 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2015 Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation Arcaini, Paolo; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2015 Rehabilitating equivalent mutants as static anomaly detectors in software artifacts Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Vavassori, Paolo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016 Automatic Detection and Removal of Conformance Faults in Feature Models Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016 Unified syntax for abstract state machines Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo Michele; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016 SMT-based automatic Proof of ASM model refinement 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-2016 Visual Notation and Patterns for Abstract State Machines Arcaini, Paolo; Bonfanti, Silvia; 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-2016 How to assure correctness and safety of medical software: The hemodialysis machine case study Arcaini, Paolo; Bonfanti, Silvia; 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-2017 NuSeen: A Tool Framework for the NuSMV Model Checker 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-2017 Formal design and verification of self-adaptive systems with decentralized control Arcaini, Paolo; Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2017 Rigorous development process of a safety-critical system: from ASM models to Java code Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2017 MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular 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-2017 Automated repairing of variability models Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2017 A novel use of equivalent mutants for static anomaly detection in software artifacts Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Vavassori, Paolo 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2018 Integrating formal methods into medical software development: The ASM approach Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif; Riccobene, Elvinia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2018 A DSL for MAPE patterns representation in self-adapting systems Arcaini, Paolo; Mirandola, Raffaela; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
Risultati da 21 a 40 di 60
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