English

Szerző: " Szécsi Péter"

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

Találatok száma: 2.

Konferencia vagy workshop anyag

Brunner Tibor; Szécsi Péter; Porkoláb Zoltán: Bug path reduction strategies for symbolic execution.

Horváth Gábor; Kovács Réka; Szécsi Péter: Towards proper differential analysis of static analysis engine changes.

A lista elkészítésének dátuma 2024. április 24. 05:52:20 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.