@conference{instance292,
	 title = {{Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models}},
	 author = {Christian Seybold and Martin Glinz and Silvio Meier},
	 year = {2005},
	 address = {Taipei, Taiwan},
	 month = {December},
	 pages = {408-417},
	 booktitle = {Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005)},
	 group = {rerg},
	 Date-Added = {2026-08-02 18:39:36},
	 Date-Modified = {2026-08-03 06:52:26}
}