Software testing foundations : a study guide for the Certified Tester exam
	Tác giả: Andreas Spillner, Tilo Linz, Hans Schaefer
	Xuất bản: Santa Barbara Calif: Rocky Nook, 2007
	Bộ sưu tập: Công nghệ thông tin
	eBook (chm) ddc:  004  Thêm vào giỏ

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
	Tác giả: Fouad ben Nasr Omri
	Xuất bản: Karlsruhe: KIT Scientific Publishing, 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering
	Tác giả:
	Xuất bản: : Institute for System Programming of the Russian Academy of Sciences ISPRAS, 2015
	Bộ sưu tập: Báo-Tạp chí
	ddc:   Thêm vào giỏ

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
	Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
	Xuất bản: Vienna: TU Wien Academic Press, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
	Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
	Xuất bản: Vienna: TU Wien Academic Press, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
	Tác giả: Alexander Nadel, Alexander Nadel, Kristin Yvonne Rozier, Kristin Yvonne Rozier
	Xuất bản: : TU Wien Academic Press, 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ