IWSF & SHIFT Program

 

For more details please refer to the individual workshop page.

Monday, October 9th

Keynote

Speaker: Prof. Bertrand Meyer. Constructor Institute, Schaffhausen (Switzerland)

Title: In search for bugs and fixes: roaming the proof-test border

Abstract: Tests and proofs, long considered competitors or adversaries in software verification, are actually complementary. Modern proof tools based on SMT solving make it possible to exploit and expand that complementarity through their reliance of the generation of counterexamples. Over the past two years (in work with involving Li Huang and Manuel Oriol) we have combined the power of SMT-based proof tools and of Eiffel’s Design by Contract to develop techniques for generating test cases, full-coverage test suites, and bug fixes (for Automatic Program Repair). One of the key insights to take advantage of the counterexamples produced by a failed attempt at a proof; failure on either side of the test-proof fence can produce useful results on the other side. The talk will explore the proof-test duality and survey these recent results, which hold the promise of significant advances in fault identification and removal.

Biografy: Bertrand Meyer is Professor of Software Engineering at Constructor Institute, Schaffhausen (Switzerland). He was previously at ETH Zurich and is CTO of Eiffel Software. His latest book is a compendium on requirements: Handbook of Requirements and Business Analysis (Springer, 2022).

Program

(13:30 - 13:35) Welcome Welcome, and Introduction to SHIFT and IWSF Workshop, Chairs and all workshop participators

(13:35 - 14:15) [Invited Keynote] In search for bugs and fixes: roaming the proof-test border
Prof. Bertrand Meyer

(14:15-14:30) Keynote Q&A

(14:30-14:45) Coffee Break

(14:45-15:10) DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities
Ivan Baheux, Oum-El-Kheir Aktouf, Mohammed El Amin Tebib, Mariem Graa, Pascal Andre and Yves Ledru

(15:10-15:35) Finding Needle in a Haystack: An Algorithm for Real-Time Log Anomaly Detection with Real-Time Learning
Prachi Chitnis and Abhaya Asthana

(15:35-15:50) Coffee Break

(15:50-16:15) A Bayesian Network-Based Analysis of Changing Impact of Organizational Goals on Software Development
Kiyoshi Honda, Naohiro Hashimoto, Hironori Washizaki, Yoshiaki Fukazawa, Masahiro Taga, Akira Matsuzaki, Kazuyuki Nakagawa and Yusuke Sakai

(16:15-16:40) Risk-Aware Intrusion Detection and Prevention System for Automated UAS
Raphael Schermann, Thomas Ammerer, Philipp Stelzer, Georg Macher and Christian Steger

(16:40-16:50) Coffee Break

(16:50-17:25) Panel discussion of relevant topics in the research area

(17:25-17:30) Closing Closing Discussion – All participators in workshop