Cited By
View all- Bartocci EFalcone YBonakdarpour BColombo CDecker NHavelund KJoshi YKlaedtke FMilewicz RReger GRosu GSignoles JThoma DZalinescu EZhang Y(2019)First international Competition on Runtime VerificationInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-017-0454-521:1(31-70)Online publication date: 1-Feb-2019
- Petiot GKosmatov NBotella BGiorgetti AJulliand J(2018)How testing helps to diagnose proof failuresFormal Aspects of Computing10.1007/s00165-018-0456-430:6(629-657)Online publication date: 12-Jun-2018
- Vorobyov KSignoles JKosmatov N(2017)Shadow state encoding for efficient monitoring of block-level propertiesACM SIGPLAN Notices10.1145/3156685.309226952:9(47-58)Online publication date: 18-Jun-2017
- Show More Cited By