[klee-dev] KLEE katsed ja edasi dissertatsiooniga tegelemine

[Urmas Repinski]

Tere!

Sobib küll, 29 aprill kell 16.00.

Ma leidsin seda väikest tutorial-i
http://www.cs.purdue.edu/homes/kim1051/cs490/proj3/description.html

On symbolic faili käivitamisest, aga ei tööta ikka.

Kirjutasin klee developer listi ka (klee-dev at imperial.ac.uk), ootan vastused. Edastan listi kiri ka, seal on hästi probleem sooritatud (järgmises kirjas).

Kuhtumiseni, 
Urmas Repinski.

> Date: Mon, 22 Apr 2013 09:59:37 +0300
> From: juhan at cc.ioc.ee
> To: urrimus at hotmail.com
> Subject: Re: KLEE katsed ja edasi dissertatsiooniga tegelemine
> 
> Tere Urmas!
> 
> Vaatame Klee probleemidele koos otsa. Aga kahjuks pole mul enne järgmist 
> nädalat võimalik, mul on käesolev nädal juba tegevustega ülebroneeritud.
> 
> Pakun kokkusaamiseks välja 29. aprillil kella 16.00-ks. Seni soovitan 
> uurida KLEE veebilehte ja näiteid, ehk õnnestub ise probleemile lahendus 
> leida.
> 
> -- 
> Juhan
> 
> 20.04.2013 16:07, Urmas Repinski kirjutas:
> > Tere, Juhan.
> >
> > Mul on uudised - ma leppisin Tanel Tammet'ga kokku et Teie ja tema olete minu juhendajad kokku.
> > Ma teen mai alguses presentatsiooni - seletan millised tulemused on olemas ja mis on see tool, millega ma tegelen.
> >
> > Klee-ga mul tekkis probleem - kui Teil on olemas inimesed, kes on rohkem kleega tuttavad siis kas on võimalik küsida nende käest - kuidas tekkitada symbolic faili klee-ga?
> > Muidu mul ei õnnedtu tekkitada kleega symbolic faili, ja kõik teised disainid eeldavad, et on olemas failisisend, ja sellega ma ei saa uued katsed teha.
> > Internetis ei ole piisavalt informatsiooni klee-st ka.
> >
> > Muidu esimeseks on vaja kindlasti publitseerida asjad, mis on juba kirjutatud - Model-Based Error Localization and Mutation-Based Error Correction C disainide jaoks.
> >
> > Ootan  abi või muut infot klee käivitramisest.
> >
> > Urmas Repinski.
> >   		 	   		
> >
> 

 		 	   		  
-------------- next part --------------
HTML attachment scrubbed and removed