@article{MTMT:2606946,
	title = {Applying Mutation Analysis to SDL Specifications},
	url = {https://m2.mtmt.hu/api/publication/2606946},
	author = {Kovács, Gábor and Pap, Zoltán and Le Viet, D and Wu Hen Chang, Antal and Csopaki, Gyula},
	doi = {10.1007/3-540-45075-0_16},
	journal-iso = {LECT NOTES COMPUT SC},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {2708},
	unique-id = {2606946},
	issn = {0302-9743},
	abstract = {Mutation analysis is a fault based testing method used initially for code based software testing, and lately for specification based testing and validation as well. In this paper, the method is applied to SDL (Specification and Description Language) specifications. It is used to automate the process of conformance test generation and selection for telecommunications protocols. We present two algorithms for automatic test generation and selection. These provide the basis of the Test Selector tool developed at the Budapest University of Technology and Economics. We present the results of an empirical study using the tool.},
	year = {2003},
	eissn = {1611-3349},
	pages = {269-284}
}

@article{MTMT:2654494,
	title = {Application of heuristic methods for conformance test selection},
	url = {https://m2.mtmt.hu/api/publication/2654494},
	author = {Csöndes, Tibor and Kotnyek, Balázs and Zoltán, Szabó János},
	doi = {10.1016/S0377-2217(01)00284-3},
	journal-iso = {EJOR},
	journal = {EUROPEAN JOURNAL OF OPERATIONAL RESEARCH},
	volume = {142},
	unique-id = {2654494},
	issn = {0377-2217},
	year = {2002},
	eissn = {1872-6860},
	pages = {203-218}
}