Distinguished Lecture Series
Generating Software Tests
Andreas Zeller
CISPA Helmholtz Institute for IT Security
15/04/2019
Anfiteatro VA4 no piso-1 do Edificio de Civil – IST/Alameda | 11:00H
Abstract
Software has bugs. What can we do to find as many of these as possible? In this talk, I show how to systematically test software by generating such tests automatically, starting with simple random “fuzzing” generators and then proceeding to more effective grammar-based and coverage-guided approaches. Being fully automatic and easy to deploy, such fuzzers run at little cost, yet are very effective in finding bugs: Our own Langfuzz grammar-based test generator for JavaScript runs around the clock for the Firefox, Chrome, and Edge web browsers and so far has found more than 2,600 confirmed bugs. Our latest test generator prototypes are even able to automatically learn the input language of a given program, which allows to generate highly effective tests for arbitrary programs without any particular setup. In the past months, we have collected our tools and techniques in an interactive textbook (www.fuzzingbook.org) with 10,000 well-documented lines of Python code for highly productive fuzzing.
Bio
Andreas Zeller is Faculty at the CISPA Helmholtz Center for Information Security, and professor for Software Engineering at Saarland University, both in Saarbrücken, Germany. In 2010, Zeller was inducted as Fellow of the ACM for his contributions to automated debugging and mining software archives, for which he also obtained the ACM SIGSOFT Outstanding Research Award in 2018. His current work focuses on specification mining and test case generation, funded by grants from DFG and the European Research Council (ERC).
Host
António Manuel Ferreira Rito da Silva
Upcoming Events
OLISSIPO Workshop: “How to design a graphical abstract” with Dr. Rita Félix (CNC-UC)
On April 19, the OLISSIPO project will host an 8-hour workshop titled “How to design a graphical abstract” with Dr. Rita Félix, a science communicator, illustrator and designer from CNC Center for Neuroscience and Cell Biology (Coimbra, Portugal). Registration is free and seating is limited.
Registration Deadline: April 5 | Register here (free but mandatory)
Date & Time: April 19, 09h00-18h00 ( 8-hours)
Where: INESC-ID, R. Alves Redol 9, 1000-029 Lisboa | Room 9 (Auditorium), Ground Floor
Summary: “How to design a graphical abstract” Workshop aims to explain what a graphical abstract is, and give you design tools and tips on how to create a better, clear and engaging graphical abstract. This workshop is tailored to give you tools and improve your graphical abstract, without having to learn how to use a new software program (like Adobe Illustrator). Bring your graphical abstract, share it with the class, work on it and take home a new version.
Short Bio: Rita Félix is a science communicator, illustrator and designer, with life sciences research experience. Currently working as the Institutional Communication Manager and Designer at CNC-UC. She completed her PhD in Neuroscience in 2020, in the Champalimaud Neuroscience Programme. After that, she enrolled in a Digital Illustration Specialization Course to further develop her visualization and design skills. Worked as a Scientific Graphic Designer at Science Crunchers, a science communication company, where she developed multiple graphical abstracts, article figures, infographics, diagrams, illustrations, visual identity, logos and webdesign for companies, scientific institutions and Horizon 2020 consortia. More information at https://ritallfelix.wixsite.com/portfolio .
INESC-ID talk: “Rise of the AI-Empowered End User Software Engineer” by Ed Ayers and Andy Gordon (Cogna)
On April 19, INESC-ID will host a talk by Ed Ayers and Andy Gordon from the startup Cogna. The talk is titled “Rise of the AI-Empowered End User Software Engineer” and is organised by INESC-ID researcher Nuno Lopes.
Date & Time: April 19, 15h00 -16h00
Where: INESC-ID, Rua Alves Redol, 9, 1000-029 Lisboa | Room 9 (Auditorium), Ground Floor
Summary:
“What if natural language really is the new programming language? Inspired by the transformation of professional software engineering by generative AI, let’s take the next step: empowering end users. We can boost their productivity with hyper-customized software generated from natural language. This challenge needs research right across software engineering: requirements, architecture, coding, testing, verification, repair, and maintenance. We will survey current progress and open research questions in this exciting new area of programming language research.”
(Photo: Cogna website)