Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 63
Titolo Tipologia Data di pubblicazione Autori File
Reusing constraint proofs in program analysis 02 - Intervento a convegno 2015 DENARO, GIOVANNIPEZZE', MAURO +
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 01 - Articolo su rivista 2014 BRAIONE, PIETRODENARO, GIOVANNI +
On the Right Objectives of Data Flow Testing 02 - Intervento a convegno 2014 DENARO, GIOVANNIPEZZE', MAURO +
JBSE 99 - Altro 2014 DENARO, GIOVANNI
PINCETTE - Validating Changes and Upgrades in Networked Software 02 - Intervento a convegno 2013 DENARO, GIOVANNIMARIANI, LEONARDO +
Quantifying the complexity of dataflow testing 02 - Intervento a convegno 2013 DENARO, GIOVANNIPEZZE', MAURO +
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 02 - Intervento a convegno 2013 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
Test-and-Adapt: An Approach for Improving Service Interchangeability 01 - Articolo su rivista 2013 DENARO, GIOVANNIPEZZE', MAUROTOSI, DAVIDE
An industrial case study of the effectiveness of test generators 02 - Intervento a convegno 2012 BRAIONE, PIETRODENARO, GIOVANNI +
All-Values Symbolic Execution 02 - Intervento a convegno 2012 DENARO, GIOVANNI
On the integration of software testing and formal analysis 03 - Contributo in libro 2012 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
An Eclipse Plug-in for Engineering Service Interchangeability 02 - Intervento a convegno 2011 DENARO, GIOVANNI +
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 +
Ensuring interoperable service-oriented systems through engineered self-healing 02 - Intervento a convegno 2009 Denaro, GPezzè, MTosi, D
Towards Autonomic Service-Oriented Applications 01 - Articolo su rivista 2009 Denaro, GPezzè, M +
Toward deeply adaptive societies of digital systems 02 - Intervento a convegno 2009 DENARO, GIOVANNIPEZZE', MAURO +
DaTeC: Contextual data flow testing of Java classes 02 - Intervento a convegno 2009 DENARO, GIOVANNIPEZZE', MAURO +
Verifying LTL Properties of Bytecode with Symbolic Execution 02 - Intervento a convegno 2008 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO +
Contextual integration testing of classes 02 - Intervento a convegno 2008 DENARO, GIOVANNIPEZZE', MAURO +
Mostrati risultati da 21 a 40 di 63
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