Index of /~murali/teaching/2021-fall-cs4104/lectures/group-figs/aditya-pratapa/2018-05-16-prelim-presentation/efficient-mutant-synthesis

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[IMG]yeast-life-cycle.PNG 2018-05-11 17:33 459K 
[ ]vvv.pdf 2018-05-11 17:33 15K 
[ ]vsfl-vps-example.pdf 2018-05-11 17:33 44K 
[ ]vs-2-dcs-reduction.pdf 2018-05-11 17:33 74K 
[ ]verifiable-permissib..>2018-05-11 17:33 15K 
[ ]synthesis-example.pdf 2018-05-11 17:33 12K 
[ ]synthesis-example-7.pdf2018-05-11 17:33 17K 
[IMG]synthesis-example-6.svg2018-05-11 17:33 57K 
[ ]synthesis-example-6.pdf2018-05-11 17:33 17K 
[IMG]synthesis-example-5.svg2018-05-11 17:33 56K 
[ ]synthesis-example-5.pdf2018-05-11 17:33 16K 
[ ]synthesis-example-4.pdf2018-05-11 17:33 13K 
[ ]synthesis-example-3.pdf2018-05-11 17:33 16K 
[IMG]synthesis-example-2.svg2018-05-11 17:33 56K 
[ ]synthesis-example-2.pdf2018-05-11 17:33 12K 
[IMG]genetic-cross-exampl..>2018-05-11 17:33 241K 
[ ]evsfl-evps.pdf 2018-08-23 16:17 20K 
[ ]evps-example-permiss..>2018-08-23 16:17 55K 
[IMG]effMut-overview.svg 2018-08-23 16:17 1.0M 
[ ]effMut-overview.pdf 2018-08-23 16:17 15K 
[ ]diff-summary-upto6.pdf 2018-05-11 17:33 12K 
[IMG]diff-VPS-VSFL-summar..>2018-05-11 17:33 16K 
[ ]diff-VPS-VSFL-summar..>2018-05-11 17:33 13K 
[IMG]definitions.svg 2018-08-23 16:17 26K 
[ ]definitions.pdf 2018-08-23 16:17 23K 
[ ]definition-verifiabl..>2018-08-23 16:17 23K 
[ ]definition-verifiabl..>2018-08-23 16:17 23K 
[ ]definition-represent..>2018-08-23 16:17 4.4K 
[ ]definition-permissib..>2018-08-23 16:17 23K 
[ ]definition-mutant.pdf 2018-08-23 16:17 3.8K 
[ ]definition-cross-01.pdf2018-08-23 16:17 11K 
[ ]definition-cross-00.pdf2018-08-23 16:17 9.3K 
[ ]dag-vsfl.pdf 2018-05-11 17:33 19K 
[ ]dag-vps-false.pdf 2018-05-11 17:33 41K 
[IMG]VSFL-summary.png 2018-05-11 17:33 42K 
[ ]VSFL-summary.pdf 2018-05-11 17:33 56K 
[IMG]VSFL-results.svg 2018-05-11 17:33 68K 
[IMG]VSFL-numcrosses-summ..>2018-05-11 17:33 19K 
[ ]VSFL-numcrosses-summ..>2018-05-11 17:33 13K 
[ ]VSFL-VPS6-numcrosses..>2018-05-11 17:33 23K 
[IMG]VSFL-VPS-numcrosses-..>2018-05-11 17:33 25K 
[ ]VSFL-VPS-numcrosses-..>2018-05-11 17:33 19K 
[ ]VSFL-VPS-numcrosses-..>2018-05-11 17:33 23K 
[ ]VSFL-VPS-numcrosses-..>2018-05-11 17:33 23K 
[IMG]VS2-DCS-example.svg 2018-05-11 17:33 236K 
[ ]VS2-DCS-example.pdf 2018-05-11 17:33 23K 
[ ]VS2-DCS-example-d.pdf 2020-01-27 23:30 34K 
[IMG]VS2-DCS-example-c.svg 2020-01-27 23:30 240K 
[ ]VS2-DCS-example-c.pdf 2020-01-27 23:30 39K 
[ ]VS2-DCS-example-b.pdf 2018-05-11 17:33 11K 
[IMG]VS2-DCS-example-a.svg 2018-05-11 17:33 194K 
[ ]VS2-DCS-example-a.pdf 2018-05-11 17:33 3.5K 
[ ]VS2-DCS-example-LP0.pdf2018-05-11 17:33 24K 
[IMG]VS2-DCS-example-LP.svg 2018-05-11 17:33 264K 
[ ]VS2-DCS-example-LP.pdf 2018-05-11 17:33 36K 
[IMG]VS2-DCS-example-3.svg 2018-05-11 17:33 237K 
[ ]VS2-DCS-example-3.pdf 2018-05-11 17:33 56K 
[ ]VS2-DCS-example-2.pdf 2018-05-11 17:33 46K 
[ ]VS-FL.pdf 2018-08-23 16:17 5.4K 
[IMG]VS-FL-Algorithm.PNG 2018-05-11 17:33 162K 
[ ]VS-2.pdf 2018-08-23 16:17 5.3K 
[IMG]VPS.svg 2018-08-23 16:17 33K 
[ ]VPS.pdf 2018-08-23 16:17 5.7K 
[IMG]VPS-summary.png 2018-05-11 17:33 19K 
[ ]VPS-summary.pdf 2018-05-11 17:33 34K 
[IMG]VPS-numcrosses-summa..>2018-05-11 17:33 20K 
[ ]VPS-numcrosses-summa..>2018-05-11 17:33 14K 
[ ]VPS-MM.pdf 2018-08-23 16:17 7.1K 
[IMG]VPS-Algorithm.PNG 2018-05-11 17:33 120K 
[ ]VPS (copy).pdf 2018-08-23 16:17 8.2K 
[IMG]SL-results.svg 2018-05-11 17:33 71K 
[ ]SL-results.pdf 2018-05-11 17:33 17K 
[IMG]Rescued-results.svg 2018-05-11 17:33 70K 
[ ]Rescued-results.pdf 2018-05-11 17:33 22K 
[IMG]EVSFPT-time-Simulate..>2018-05-11 17:33 29K 
[ ]EVSFPT-time-Simulate..>2018-05-11 17:33 18K 
[IMG]EVSFPT-numcrosses-su..>2018-05-11 17:33 32K 
[ ]EVSFPT-numcrosses-su..>2018-05-11 17:33 14K 
[ ]EVSFPT-numcrosses-su..>2018-05-11 17:33 14K 
[IMG]EVSFPT-Simulated.png 2018-05-11 17:33 50K 
[ ]EVSFPT-Simulated.pdf 2018-05-11 17:33 152K 
[ ]EVSFPT-Simulated-cro..>2018-05-11 17:33 107K 
[IMG]EVSFPT-NC-Simulated.png2018-05-11 17:33 34K 
[ ]EVSFPT-NC-Simulated.pdf2018-05-11 17:33 17K 
[IMG]EVPS-time-Simulated.png2018-05-11 17:33 36K 
[ ]EVPS-time-Simulated.pdf2018-05-11 17:33 15K 
[IMG]EVPS-summary.png 2018-05-11 17:33 29K 
[ ]EVPS-summary.pdf 2018-05-11 17:33 14K 
[ ]EVPS-summary-crop.pdf 2018-05-11 17:33 14K 
[IMG]EMS-mutant.svg 2018-05-11 17:33 101K 
[IMG]DCS-example-LP.png 2018-05-11 17:33 17K