events

Type4Py: Deep Similarity Learning-Based Type Inference for Python (Amir Mir) Dynamic languages, such as Python and Javascript, trade static typing for developer flexibility. While this allegedly enables greater productivity, lack of static typing can cause runtime exceptions, type inconsistencies, and is a major factor for weak IDE support. To alleviate these issues, PEP 484 introduced optional type annotations for Python. As retrofitting types to existing codebases is error-prone and laborious, learning-based approaches have been proposed to enable automatic type annotations based on existing, partially annotated codebases.

Dear all, Join us on May the 7th, 14:00 - 15:00 on Zoom for the next SERG Reading Club 📖📚! We’re reading the chapter “Code Review” from “Software Engineering at Google”. Link: https://learning-oreilly-com.tudelft.idm.oclc.org/library/view/software-engineering-at/9781492082781/ch18.html#build_systems_and_build_philosophy Wanna join & you are not part of our Mattermost? Send an email to c.e.brandt /at/ tudelft.nl to get the Zoom link 😊

Dear all, Join us on April the 30th, 14:00 - 15:00 on Zoom for the next SERG Reading Club 📖📚! We’re reading: Utilizing a Journal Club to Build Research Competencies in a Cross-Disciplinary Environment Some quotes to give an impression: “The goal of this process-focused field note is to detail the steps taken to design and implement the pilot of a cross-disciplinary research-trainee-led journal club within a hospital-based research institute.”

Abstract: Quantum Software Development is the process of conceiving, specifying, designing, programming, documenting, and testing executable quantum programs that are meant to run on practical quantum hardware. Even though Quantum Software Development research has gained traction over the years, it is still mainly focused on problem analysis, language design, and implementation. Software testing, which is the process of executing a program or application with the intent of finding failures, and verifying that the software product is fit for use is yet to receive substantial attention in quantum software development.

Dear all, Join us on April the 23th, 14:00 - 15:00 on Zoom for the next SERG Reading Club 📖📚! We’re reading the chapter “Build Systems and Build Philosophy” from “Software Engineering at Google”. Link: https://learning-oreilly-com.tudelft.idm.oclc.org/library/view/software-engineering-at/9781492082781/ch18.html#build_systems_and_build_philosophy Wanna join & you are not part of our Mattermost? Send an email to c.e.brandt /at/ tudelft.nl to get the Zoom link 😊

Summary Software testing plays a crucial role in software development to improve the software’s consistency and performance. Since software testing activities demand considerable effort in the development process, many automated techniques have been introduced to aid de- velopers and testers in various testing phases, thereby reducing the costs related to these tasks. One category of these automated approaches seeks to generate software tests auto- matically using different strategies. One of the successful strategies, which is applied to industrial cases, uses metaheuristic search-based approaches for test generation automa- tion.