Author:
Batth S. S.,Vieira E. R.,Cavalli A.,Uyar M. Ü.
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Ashour, M., Khendek, F., Le-Ngoc, T.: Formal description of real-time systems using SDL. In: Proc. of the Sixth Int’l. Conf. on Real-Time Comp. Sys. and Appl (RTCSA’99), Hong-Kong (December 1999)
2. Alur, R., Dill, D.: A theory of timed automata. Theoretical Comput. Sci. 126, 183–235 (1994)
3. Cavalli, A., Lee, D., Rinderknecht, C., Zaidi, F.: Hit-or-jump an algorithm for embedded testing with applications to in services. In: Proc. of IFIP Int’l. Conf. FORTE/PSTV’99, (October 1999)
4. Cavalli, A., Mederreg, A., Zaidi, F.: Application of a Formal Testing Methodology to Wireless Telephony Networks. Journal of the Brazilian Comp. Soc. 10(2), 56–68 (2004)
5. Cavalli, A., Rodrigues, E.: Vieira. Test Case Generation based on Timed Constraints. In: IEEE ICESS 2005, Xian, China (December 2005)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mutation operators for feature-oriented software product lines;Software Testing, Verification and Reliability;2018-07-26
2. Automatic test case generation through collaboration diagram: a case study;International Journal of System Assurance Engineering and Management;2017-11-04
3. Multiple Mutation Testing from Finite State Machines with Symbolic Inputs;Testing Software and Systems;2017
4. Mutation Operators for Preprocessor-Based Variability;Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '16;2016
5. A Mutation-Based Approach for Testing AsmetaL Specifications;Arabian Journal for Science and Engineering;2015-09-04