Files

 master

/

stvr-jseft

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

mirshokraie

forgot to git push the cover letter

Sep 28, 2015

4133bcd · Sep 28, 2015

History

History

/

stvr-jseft

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
data		data	preparing STVR submission	Jul 7, 2015
fig		fig	changing the approach figure	Aug 14, 2015
r-scripts		r-scripts	preparing STVR submission	Jul 7, 2015
abstract.tex		abstract.tex	final changes	Sep 16, 2015
algorithm2e.sty		algorithm2e.sty	preparing STVR submission	Jul 7, 2015
approach.tex		approach.tex	formatting issues, move related work to end of paper	Sep 1, 2015
concs.tex		concs.tex	addressing Ali's comments	Sep 3, 2015
coverLetter.pdf		coverLetter.pdf	forgot to git push the cover letter	Sep 28, 2015
covg-table.tex		covg-table.tex	preparing STVR submission	Jul 7, 2015
discussion.tex		discussion.tex	see my comment in the appendix	Sep 15, 2015
domTestSample.tex		domTestSample.tex	preparing STVR submission	Jul 7, 2015
efficiency-abs-mut-table.tex		efficiency-abs-mut-table.tex	changing the evaluation sec	Aug 12, 2015
evaluation.tex		evaluation.tex	Done with my pass	Sep 3, 2015
extension.tex		extension.tex	final changes	Sep 16, 2015
faultDetection-table.tex		faultDetection-table.tex	adding fault detection capability results for the new state reduction…	Jul 21, 2015
funcCovg-table.tex		funcCovg-table.tex	preparing STVR submission	Jul 7, 2015
funcCovg.tex		funcCovg.tex	preparing STVR submission	Jul 7, 2015
funcCovgAlgo.tex		funcCovgAlgo.tex	preparing STVR submission	Jul 7, 2015
funcCovgExample.tex		funcCovgExample.tex	preparing STVR submission	Jul 7, 2015
intro.tex		intro.tex	see my comment in the appendix	Sep 15, 2015
mirshokraie-stvr.pdf		mirshokraie-stvr.pdf	forgot to git push the cover letter	Sep 28, 2015
motivation.tex		motivation.tex	formatting issues, move related work to end of paper	Sep 1, 2015
objectsChar-table.tex		objectsChar-table.tex	adding fault detection capability results for the new state reduction…	Jul 21, 2015
oracleGen.tex		oracleGen.tex	final changes	Sep 16, 2015
oracleGenAlgo.tex		oracleGenAlgo.tex	final changes	Sep 16, 2015
paper.tex		paper.tex	final changes	Sep 16, 2015
qunitTestSample.tex		qunitTestSample.tex	preparing STVR submission	Jul 7, 2015
related.tex		related.tex	addressing Ali's comments	Sep 3, 2015
results.tex		results.tex	see my comment in the appendix	Sep 15, 2015
stateAbstractionAlgo.tex		stateAbstractionAlgo.tex	almost done with state reduction section	Aug 9, 2015
stvrauth.cls		stvrauth.cls	preparing STVR submission	Jul 7, 2015
testCaseGen.tex		testCaseGen.tex	formatting issues, move related work to end of paper	Sep 1, 2015
testability-table.tex		testability-table.tex	preparing STVR submission	Jul 7, 2015
threatsToValidity.tex		threatsToValidity.tex	Done with my pass	Sep 3, 2015
tool.tex		tool.tex	preparing STVR submission	Jul 7, 2015
wileyj.bst		wileyj.bst	more changes	Aug 17, 2015
View all files