Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword symbolic execution / yhteensä: 2

viitteet: 1-2 / 2

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
1.	Flow analysis directed symbolic execution for model-based test generation	2010	Lahola, Mikko
2.	Automatic test data generation for programming exercises with symbolic execution and Java PathFinder	2006	Ihantola, Petri

« edellinen sivu | seuraava sivu »

INSSI