Cited By
View all- Ratiu DUlrich A(2019)An integrated environment for Spin-based C code checkingInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-019-00510-w21:3(267-286)Online publication date: 1-Jun-2019
- Groce AAhmed IJensen CMckenney PHolmes J(2018)How verified (or tested) is my code? Falsification-driven verification and testingAutomated Software Engineering10.5555/3288647.328871225:4(917-960)Online publication date: 1-Dec-2018
- Groce AAhmed IJensen CMcKenney PHolmes J(2018)How verified (or tested) is my code? Falsification-driven verification and testingAutomated Software Engineering10.1007/s10515-018-0240-y25:4(917-960)Online publication date: 11-Jul-2018
- Show More Cited By