Date: Thursday, 10th December 2020
Location: TEAMS - code to join the team: n25vdtt
Speakers: Pietro Barbieri & Dario Olianas
Time: 2:30 PM
Title Pietro: Regular corecursion in different programming paradigms
Abstract Pietro:
Infinite data structures, such as streams or infinite trees, occur in many applications in computer science. A major problem for programming languages is how to finitely, and possibly efficiently, represent infinite structures, and, even harder, to manipulate such finite representations to reflect the expected behavior. In the talk, I will discuss the existing solutions in three different programming paradigms.
Bio Pietro:
Pietro is a second year Computer Science PhD student at DIBRIS, University of Genoa. He got both his BSc and MSc in Computer Science at the University of Genoa. Since then, he started research under the supervision of professor Elena Zucca. His main interests revolve around programming languages semantics.
-----------------------------------------------------------------------------------------------------------------------
Title Dario: The problem of test dependencies in End-to-end Web test suites
Abstract Dario:
Quality assurance of Web applications is usually performed through testing, performed at different levels of abstraction. At the acceptance (or end-to-end) level, test cases interact with the application through the web browser, like a human user would do. Best practices prescribe that test cases should be independent (i.e. they should not assume that the system under test is already in an expected state), but this is not always possible: dependent test are a serious problem that affects end-to-end web test suites. In particular they can mask faults in the system under test, make testing results unreliable and prevent the parallel execution of test suites.
In this talk, I will describe the problem and some of the solutions to handle it that I'm currently working on.
Bio Dario:
Dario Olianas obtained an MSc in Computer Science in 2019 from the University of Genoa, and he is currently a second year PhD student with the Software Engineering & Programming Languages research group. His research area is the testing of web and mobile applications.
--
The organizers