Author:
de Caso Guido,Braberman Victor,Garbervetsky Diego,Uchitel Sebastian
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Ex Post Project Risk Assessment: Method and Empirical Study;Journal of Construction Engineering and Management;2023-02
2. Predicate abstractions for smart contract validation;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23
3. Behaviour abstraction adequacy criteria for API call protocol testing;Software Testing, Verification and Reliability;2015-10-16
4. Model-driven generation of runtime checks for system properties;International Journal on Software Tools for Technology Transfer;2014-06-24
5. Inferring models of concurrent systems from logs of their behavior with CSight;Proceedings of the 36th International Conference on Software Engineering;2014-05-31