A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools
Lecture notes in computer science2013pp. 328–333
Citations Over Time
Related Papers
- → A weakest precondition calculus for BUnity(2012)1 cited
- → Programs: Formal specification with Z(2001)1 cited
- → Weakest precondition semantics for time and concurrency(1992)9 cited
- → Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus(2007)1 cited
- → Higher-Order Weakest Precondition Transformers via a CPS Transformation(2023)1 cited