S. Scalabrino G. Grano D. Di Nucci A. De Lucia M. Guerra H. Gall - PowerPoint PPT Presentation

Jun 03, 2023 •100 likes •398 views

S. Scalabrino G. Grano D. Di Nucci A. De Lucia M. Guerra H. Gall R. Oliveto OCELOT a Search-Based Test-Data Generation Tool for C Testing is expensive Automatic Test Generation Search-Based Test Generation TIOBE Ranking TIOBE Ranking

S. Scalabrino G. Grano D. Di Nucci A. De Lucia M. Guerra H. Gall R. Oliveto
OCELOT a Search-Based Test-Data Generation Tool for C
Testing is expensive
Automatic Test Generation
Search-Based Test Generation
TIOBE Ranking
TIOBE Ranking
TESTGEN QUEST GADGET IGUANA Austin CAVM
TESTGEN QUEST GADGET IGUANA Austin CAVM
Source function Test suite
Source function Test suite
Build + Run + Write
Build Source function
Build Source function Instrumented code
Build Source function Instrumented code Compiled Binary
Run Compiled Binary
Run Compiled Binary
Write Test suite
Write #include <check.h> Test suite
OCELOT vs Austin
26% 79% Branch Coverage Austin OCELOT
https://ocelot.science
Hands-On Demo Friday, 10:30 - 12:00 Room Joffre CD
OCELOT a Search-Based Test-Data Generation Tool for C S. Scalabrino G. Grano D. Di Nucci A. De Lucia M. Guerra H. Gall R. Oliveto
Come see the demo (0.5 min)

Download Presentation

Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Search-based Testing of Procedural Programs: Iterative Single-Target or Multi-Target Approach?

Search-based Testing of Procedural Programs: Iterative Single-Target or Multi-Target Approach? Simone Scalabrino Giovanni Grano Dario Di Nucci Rocco Oliveto Andrea De Lucia The overall cost of testing has been estimated at being at

568 views • 39 slides

An Empirical Investigation on the Readability of Manual and Generated Test Cases G. Grano, S.

An Empirical Investigation on the Readability of Manual and Generated Test Cases G. Grano, S. Scalabrino, H. C. Gall, R. Oliveto ICPC ERA 2018, 27-28 May, Gothenburg (Sweden) grano@ifi.uzh.ch giograno90 Unit Test First defensive line

514 views • 16 slides

BECLoMA: Augmenting Stack Traces with User Review Information L. Pelloni, G. Grano, A.

BECLoMA: Augmenting Stack Traces with User Review Information L. Pelloni, G. Grano, A. Ciurumelea, S. Panichella, F. Palomba, H. Gall SANER 2018, 20-23 March, Campobasso (Italy) grano@ifi.uzh.ch giograno90 149 billions of apps 12 millions

592 views • 18 slides

2 Guerra Mundial 1939-1945 http://historiaonline.com.br Antecedentes da Guerra Poltica

2 Guerra Mundial 1939-1945 http://historiaonline.com.br Antecedentes da Guerra Poltica de apaziguamento: LIGA DAS NAES Tolerncia excessiva em relao s violaes do Tratado de Versalhes e Saint Germain.

958 views • 83 slides

Mining Source Code^3 Mining Idioms, Usages and Edits Dario Di Nucci Research Fellow

Mining Source Code^3 Mining Idioms, Usages and Edits Dario Di Nucci Research Fellow dario.di.nucci@vub.be Mining Software Repositories 3 Software Repositories? Issue Trackers Versioning Systems Archived Communication Market Places

919 views • 78 slides

Reasoning over Biological Networks using Maximum Satisfiability Jo ao Guerra and In es

Reasoning over Biological Networks using Maximum Satisfiability Jo ao Guerra and In es Lynce INESC-ID/Instituto Superior T ecnico, Technical University of Lisbon, Portugal CP 2012, Qu ebec Jo ao Guerra and In es Lynce

370 views • 20 slides

How High Will It Be? Using Machine Learning Models to Predict Branch Coverage in Automated

How High Will It Be? Using Machine Learning Models to Predict Branch Coverage in Automated Testing G. Grano, T. Titov, S. Panichella, H. Gall MaLTeSQuE@SANER 2018, 20, Campobasso (Italy) grano@ifi.uzh.ch giograno90 U.S. Economy Impact 1

333 views • 22 slides

Exploring the Integration of User Feedback in Automated Testing of Android Applications G.

Exploring the Integration of User Feedback in Automated Testing of Android Applications G. Grano, A. Ciurumelea, S. Panichella, F. Palomba, H. Gall SANER 2018, 20-23 March, Campobasso (Italy) grano@ifi.uzh.ch giograno90 149 billions of

593 views • 27 slides

Disclosure of Uterine Sarcomas Marisa R. Nucci, M.D. I have nothing to disclose Associate

Recent Developments in the Diagnosis Disclosure of Uterine Sarcomas Marisa R. Nucci, M.D. I have nothing to disclose Associate Professor of Pathology Division of Womens and Perinatal Pathology Department of Pathology Brigham and

744 views • 30 slides

Natureza Viva Gala, from the series Living Nature, Lucia Adverse, 2017, C-print, 90 cm x 60 cm

Natureza Viva Gala, from the series Living Nature, Lucia Adverse, 2017, C-print, 90 cm x 60 cm (35.4 in x 23.6 in) Summary Lucia Adverse 2 The Gallery 6 General Information 7 Thanks 8 Photos 9 1 Lucia Adverse Photo Autoportrait Lucia

468 views • 10 slides

Android Apps and User Feedback: A Dataset for Software Evolution and Quality Improvement

Android Apps and User Feedback: A Dataset for Software Evolution and Quality Improvement Workshop on App Market Analytics - WAMA 2017 G.Grano, A. Di Sorbo, F. Mercaldo, C. Visaggio G. Canfora, S. Panichella grano@ifi.uzh.ch giograno90

469 views • 29 slides

Wines SLH Chardonnay Chardonnay, Estate, Santa Lucia Highlands Pinot Noir, Santa Lucia

Wines SLH Chardonnay Chardonnay, Estate, Santa Lucia Highlands Pinot Noir, Santa Lucia Highlands, Santa Lucia Highlands Pinot Noir Estate, Santa Lucia Highlands Merlot, Kimberly, Arroyo Seco McIntyre - One of Californias Great Producers of

320 views • 5 slides

On the Diffusion of Test Smells in Automatically Generated Test Code: An Empirical Study Fabio

On the Diffusion of Test Smells in Automatically Generated Test Code: An Empirical Study Fabio Palomba * , Dario Di Nucci * , Annibale Panichella + , Rocco Oliveto , Andrea De Lucia * SBST 2016 May, 16th 2016 Austin, TX, USA * University of

607 views • 49 slides

Wines Chardonnay, Santa Lucia Highlands Chardonnay, Estate, Santa Lucia Highlands Pinot Noir,

Wines Chardonnay, Santa Lucia Highlands Chardonnay, Estate, Santa Lucia Highlands Pinot Noir, Santa Lucia Highlands Pinot Noir, Estate, Santa Lucia Highlands Merlot, Kimberly, Arroyo Seco McIntyre - One of Californias Great Producers of

653 views • 5 slides

experience Alberto Del Guerra Department of Physics, University of Pisa and INFN, Sezione di Pisa

The dawn of PET Monte Carlo: a personal experience Alberto Del Guerra Department of Physics, University of Pisa and INFN, Sezione di Pisa Largo B.Pontecorvo 3, Pisa (Italy) Email: alberto.del.guerra@unipi.it (Distinguished Lecturer IEEE NPSS)

605 views • 38 slides

Labor force participation, wage rigidities, and inflation Francesco Nucci* and Marianna Riggi**

Labor force participation, wage rigidities, and inflation Francesco Nucci* and Marianna Riggi** *Sapienza University of Rome ** Bank of Italy Challenges for macroeconomic policy in a low inflation environment ECB 5-6 November 2015 Challenges

706 views • 68 slides

News Department of Computer Science Undergraduate Events CPSC 314 Computer Graphics Events this

University of British Columbia News Department of Computer Science Undergraduate Events CPSC 314 Computer Graphics Events this week CS dept announcements Jan-Apr 2010 Drop-in Resume/Cover Letter Editing CSSS Laser Tag Date:

317 views • 4 slides

Accuracy and Fluency Practical ideas and a draft framework for helping learners to achieve both

Jason Anderson jasonanderson1@gmail.com Accuracy and Fluency Practical ideas and a draft framework for helping learners to achieve both simultaneously. IATEFL Liverpool 2013 Accuracy and Fluency Aims: s: to look at the origins of

506 views • 25 slides

Occupancy Where a species occurs; which of a set of suitable patches are occupied; what

Occupancy Where a species occurs; which of a set of suitable patches are occupied; what determines where a species can live... (Metapopulation) ecology, conservation, red-listing Occupancy: the proportion of sites occupied by a species

563 views • 43 slides

Research on Effects of Integrating Computational Science and Model Building in Water Systems

Research on Effects of Integrating Computational Science and Model Building in Water Systems Teaching and Learning Beth A. Covitt, University of Montana John C. Moore, Colorado State University Alan Berkowitz, Cary Institute of Ecosystem

509 views • 21 slides

Compositionality in Recursive Neural Networks Martha Lewis ILLC University of Amsterdam SYCO3,

Compositionality in Recursive Neural Networks Martha Lewis ILLC University of Amsterdam SYCO3, March 2019 Oxford, UK M. Lewis Compositionality in TreeRNNs 1/25 Outline Compositional distributional semantics Pregroup grammars and how to

314 views • 27 slides

DISRUPTING CONSENSUS: THE ROLE AND NATURE OF MINORITY REPORTS OF COMMITTEES MR JOHN ALIFERIS

DISRUPTING CONSENSUS: THE ROLE AND NATURE OF MINORITY REPORTS OF COMMITTEES MR JOHN ALIFERIS AND DR ANITA MACKAY OVERVIEW 1. Minority Reports as institutionalised dissent 2. Nuanced dissent: A taxonomy for classifying minority reports

489 views • 14 slides

A half-baked approach to an embedded device driver framework in Esterel Timothy Bourke and Leonid

1 A half-baked approach to an embedded device driver framework in Esterel Timothy Bourke and Leonid Ryzhyk School of Computer Science and Engineering, UNSW and National ICT Australia Arcot Sowmya Ihor Kuz UNSW Asia, Singapore National

1.78k views • 69 slides

CuriOS: Improving Reliability through Operating System Structure Nils Asmussen Paper Reading

Introduction Related OSs Design of CuriOS Evaluation Conclusion CuriOS: Improving Reliability through Operating System Structure Nils Asmussen Paper Reading Group 08/29/2012 1 / 21 Introduction Related OSs Design of CuriOS Evaluation

243 views • 23 slides