English

Szerző: " Kádár István"

[Fel]

csoportosítás: Mű típusa | csoportosítás nélkül

Találatok száma: 3.

Cikk, tanulmány, mű

Kádár István: The optimization of a symbolic execution engine for detecting runtime errors. In: Acta cybernetica, (23) 2. pp. 573-597. (2017)

Kádár István; Hegedűs Péter; Ferenc Rudolf: Runtime exception detection in Java programs using symbolic execution. In: Acta cybernetica, (21) 3. pp. 331-352. (2014)

Konferencia vagy workshop anyag

Kádár István: The optimization of a symbolic execution engine for detecting runtime errors.

A lista elkészítésének dátuma 2025. április 5. 12:25:30 CEST.

Bielefeld Academic Search Engine

MTMT Minősített Repozitórium

Itt kérhet technikai vagy tartalmi segítséget: contenta AT ek.szte.hu
SZTE Egyetemi Kiadványok is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.