Funder
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Fundação de Amparo á Pesquisa do Estado de São Paulo
Publisher
Springer Science and Business Media LLC
Reference44 articles.
1. Aichernig, B.: Automated black-box testing with abstract VDM oracle. In: Proceedings of the 18th International Conference Computer Safety, Reliability and Security, Lecture Notes in Computer Science 1698, pp. 250–259. Springer, New York (1999)
2. Alligood, K., Sauer, T., Yorke, J.: Chaos: An Introduction to Dynamical Systems. Springer, New York (2000)
3. Andrews, J., Zhang, Y.: General test result checking with log file analysis. IEEE Trans. Softw. Eng. 29(7), 634–648 (2003)
4. Araujo, R., Vincenzi, A., Delebecque, F., Maldonado, J., Delamaro, M.: Devising mutant operators for dynamic systems models by applying the HAZOP study. In: Proceeding of the Sixth International Conference on Software Engineering Advances, IARIA, pp. 58–64 (2011)
5. Bagge, A., Haveraaen, M.: Axiom-based transformations: optimisation and testing. Electron. Notes Theor. Comput. Sci. 238(5), 17–33 (2009)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Possibilities of the Cyber-Physical Approach to Study the Frequency Properties of a Closed-Loop System with Incomplete Information About the Control Plant Model;Cyber-Physical Systems: Modelling and Industrial Application;2022
2. Evaluating model testing and model checking for finding requirements violations in Simulink models;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12
3. Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12