assignment2 « assignments - NWI-I00110-Testing-Techniques - Files related to NWI-I00110 Testing Techniques, autumn 2017, Radboud University Nijmegen.

Mode	Name	Size
-rw-r--r--	.latexmkrc	263	log plain blame
d---------	Bounded Retransmission Protocol Tester	175	log plain
-rw-r--r--	LStar_counterexamples.txt	4488	log plain blame
-rw-r--r--	LStar_hypothesis0.dot	832	log plain blame
-rw-r--r--	LStar_hypothesis1.dot	1023	log plain blame
-rw-r--r--	LStar_hypothesis2.dot	1405	log plain blame
-rw-r--r--	LStar_hypothesis3.dot	1598	log plain blame
-rw-r--r--	LStar_hypothesis4.dot	1790	log plain blame
-rw-r--r--	LStar_hypothesis5.dot	1980	log plain blame
-rw-r--r--	LStar_hypothesis6.dot	2182	log plain blame
l---------	LStar_learnedModel.dot -> LStar_hypothesis6.dot	21	log plain blame
-rw-r--r--	RivestSchapire_RandomWalk_full.dot	1980	log plain blame
-rw-r--r--	RivestSchapire_RandomWalk_full.txt	437	log plain blame
-rw-r--r--	RivestSchapire_WMethod_full.dot	2182	log plain blame
-rw-r--r--	RivestSchapire_WMethod_full.txt	2222	log plain blame
-rw-r--r--	RivestSchapire_WPMethod_full.dot	2182	log plain blame
-rw-r--r--	RivestSchapire_WPMethod_full.txt	2225	log plain blame
-rw-r--r--	RivestSchapire_counterexamples.txt	1679	log plain blame
-rw-r--r--	RivestSchapire_hypothesis0.dot	259	log plain blame
-rw-r--r--	RivestSchapire_hypothesis1.dot	451	log plain blame
-rw-r--r--	RivestSchapire_hypothesis2.dot	642	log plain blame
-rw-r--r--	RivestSchapire_hypothesis3.dot	1024	log plain blame
-rw-r--r--	TTT_counterexamples.txt	1679	log plain blame
-rw-r--r--	TTT_hypothesis0.dot	260	log plain blame
-rw-r--r--	TTT_hypothesis1.dot	453	log plain blame
-rw-r--r--	TTT_hypothesis2.dot	836	log plain blame
-rw-r--r--	TTT_hypothesis3.dot	1220	log plain blame
-rw-r--r--	Twice_counterexamples.txt	1517	log plain blame
-rw-r--r--	Twice_hypothesis0.dot	259	log plain blame
-rw-r--r--	Twice_hypothesis1.dot	1406	log plain blame
-rw-r--r--	Twice_hypothesis2.dot	1598	log plain blame
-rw-r--r--	assignment2.tex	10500	log plain blame