Note: This book is the first edition of Quantitative Finance with Case Studies in Python. For readers of the second edition, please go to this repo.

Abstract: Formal verification provides mathematical guarantees that a software is correct. Design-level verification tools ensure software specifications are correct, but they do not expose defects in ...

Abstract: Just-in-time defect prediction (JITDP) is a technique for predicting if a code change is defective. JITDP ensures software quality throughout the design phase and requires developers to ...

Code and experiment artefacts for our paper accepted at the BALANCES 2026 workshop, co-located with ACM Sustainability Week 2026 (Banff, AB, Canada, June 22–25, 2026). We evaluate on 100 real ...