English

Szerző: " Szécsi Péter"

[Fel] Vissza
Export [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 3.

Cikk, tanulmány, mű

Horváth Gábor; Kovács Réka Nikolett; Szécsi Péter: Report on the differential testing of static analyzers. In: Acta cybernetica, (25) 4. pp. 781-795. (2022)

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 2026. január 25. 17:40:37 CET.
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.