12.05 10:00 - 12:00
USI East Campus, Room D2.19 |
|---|
| |
|---|
Abstract: Passive testing is an approach to verify system behavior by observing logs from normal operation, without actively injecting test stimuli. This talk presents an industrial case study on applying passive testing in the domain of vehicular embedded systems, using Timed Easy Approach to Requirements Syntax (T-EARS) to specify temporal requirements and Napkin Studio to evaluate these requirements against real system execution logs. The work is the result of a collaboration with Volvo Construction Equipment. The talk discusses the ability to detect requirement violations or injected faults, and the perceptions of industry stakeholders regarding the adoption of such passive tests in their verification process.
Host: Prof. Mauro Pezzè | |
|---|
|
|---|
|
|
| | Aleksandra Nicaj is a researcher working on trustworthy AI and software testing for safety-critical and autonomous systems. Her research focuses on AI-driven verification, scenario-based testing, and passive testing of vehicular embedded systems. She has contributed to research and industrial projects at the Austrian Institute of Technology and Volvo Construction Equipment, with publications on passive testing frameworks for embedded automotive software. Aleksandra Nicaj has presented her work internationally through New York University (NYU), ICTSS, MAIA workshops, and invited academic lectures, and has experience across full-stack development, QA automation, and AI-assisted engineering. She is keen to contribute to international collaborations connecting academia and industry in trustworthy autonomous systems and software quality assurance." 10:00 |
|---|
| |
|---|
|
|
|
|
