Sfoglia per Autore
SUSHI: A test generator for programs with complex structured inputs
2018 Braione, P; Denaro, G; Mattavelli, A; Pezzè, M
Combining symbolic execution and search-based testing for programs with complex heap inputs
2017 Braione, P; Denaro, G; Mattavelli, A; Pezze', M
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions
2017 Aquino, A; Denaro, G; Pezze', M
JBSE: A symbolic executor for Java programs with complex heap inputs
2016 Braione, P; Denaro, G; Pezze', M
Bidirectional Symbolic Analysis for Effective Branch Testing
2016 Baluda, 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
Reusing constraint proofs in program analysis
2015 Aquino, A; Bianchi, F; Chen, M; Denaro, G; Pezze', M
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
JBSE
2014 Denaro, G
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
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
On the integration of software testing and formal analysis
2012 Braione, P; Denaro, G; Pezze', 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
An Eclipse Plug-in for Engineering Service Interchangeability
2011 Denaro, G; Tosi, D
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