Publisher
Springer Nature Switzerland
Reference40 articles.
1. Agarwal, R., Dhar, V.: Big data, data science, and analytics: the opportunity and challenge for is research (2014)
2. Asrafi, M., Liu, H., Kuo, F.C.: On testing effectiveness of metamorphic relations: a case study. In: 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, pp. 147–156. IEEE (2011)
3. Asteasuain, F.: A flexible and expressive formalism to specify metamorphic properties for big data systems validation. In: CACIC, pp 282–291 (2022). ISBN 978-987-1364-31-2
4. Asteasuain, F.: Formalizing operating systems for nano satellites on board computers. In: CONAIISI (2022)
5. Asteasuain, F., Braberman, V.: Declaratively building behavior by means of scenario clauses. Requirements Eng. 22(2), 239–274 (2016). https://doi.org/10.1007/s00766-015-0242-2