Moez Krichen. Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems. In Joaquim Filipe, Michal Smialek, Alexander Brodsky 0001, Slimane Hammoudi, editors, Enterprise Information Systems - 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3-5, 2019, Revised Selected Papers. Volume 378 of Lecture Notes in Business Information Processing, pages 457-472, Springer, 2019. [doi]
Abstract is missing.