Sfoglia per Autore
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions
2017 Aquino, A; Denaro, G; Pezze', M
Bidirectional Symbolic Analysis for Effective Branch Testing
2016 Baluda, M; Denaro, G; Pezze', M
JBSE: A symbolic executor for Java programs with complex heap inputs
2016 Braione, P; Denaro, G; Pezze', M
Reusing constraint proofs in program analysis
2015 Aquino, A; Bianchi, F; Chen, M; Denaro, G; Pezze', M
Dynamic data flow testing of object oriented systems
2015 Denaro, G; Margara, A; Pezze', M; Vivanti, M
Static/dynamic test case generation for software upgrades via ARC-B and deltatest
2015 Braione, P; Denaro, G; Riganelli, O; Baluda, M; Muhammad, A
Symbolic execution of programs with heap inputs
2015 Braione, P; Denaro, G; Pezze', M
JBSE
2014 Denaro, G
On the Right Objectives of Data Flow Testing
2014 Denaro, G; Pezze', M; Vivanti, M
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component
2014 Braione, P; Denaro, G; Mattavelli, A; Vivanti, M; Muhammad, A
PINCETTE - Validating Changes and Upgrades in Networked Software
2013 Chockler, H; Denaro, G; Ling, M; Fedyukovich, G; Hyvrinen, A; Mariani, L; Ali, M; Oriol, M; Rajan, A; Sery, O; Sharygina, N; Tautsching, M
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization
2013 Braione, P; Denaro, G; Pezze', M
Test-and-Adapt: An Approach for Improving Service Interchangeability
2013 Denaro, G; Pezze', M; Tosi, D
Quantifying the complexity of dataflow testing
2013 Denaro, G; Pezze', M; Vivanti, M
An industrial case study of the effectiveness of test generators
2012 Braione, P; Denaro, G; Mattavelli, A; Vivanti, M; Muhammad, A
All-Values Symbolic Execution
2012 Denaro, G
On the integration of software testing and formal analysis
2012 Braione, P; Denaro, G; Pezze', M
Enhancing Structural Software Coverage by Incrementally Computing Branch Executability
2011 Baluda, M; Braione, P; Denaro, G; Pezze', M
An Eclipse Plug-in for Engineering Service Interchangeability
2011 Denaro, G; Tosi, D
Structural Coverage of Feasible Code
2010 Baluda, M; Braione, P; Denaro, G; Pezze', M
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