Items where Author is " Kádár István"

Group by: Item Type | No Grouping
Number of items: 3.

Article

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 and Hegedűs Péter and Ferenc Rudolf: Runtime exception detection in Java programs using symbolic execution. In: Acta cybernetica, (21) 3. pp. 331-352. (2014)

Conference or Workshop Item

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

This list was generated on 2024. szeptember 12. 17:43:51 CEST.