Symbolic Execution for Runtime Error Detection and Investigation of Refactoring Activities Based on a New Dataset

Kádár István
2018

The optimization of a symbolic execution engine for detecting runtime errors

Kádár István
2016

The optimization of a symbolic execution engine for detecting runtime errors

Kádár István
2017

Java programok implementációs problémáinak detektálása szimbolikus végrehajtás segítségével

Kádár István
2012

Szimbolikus végrehajtó keretrendszer kiegészítése constraint építő mechanizmusokkal

Kádár István
2014

Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors

Kádár István, Hegedűs Péter, Ferenc Rudolf
2015

Runtime Exception detection in Java programs using symbolic execution

Kádár István, Hegedűs Péter, Ferenc Rudolf
2013

Runtime exception detection in Java programs using symbolic execution

Kádár István, Hegedűs Péter, Ferenc Rudolf
2014

Runtime Exception Detection in Java Programs Using Symbolic Execution

Kádár István, Hegedűs Péter, Ferenc Rudolf
2014

A Code Refactoring Dataset and Its Assessment Regarding Software Maintainability

Kádár István, Hegedűs Péter, Ferenc Rudolf, Gyimóthy Tibor
2016

Empirical evaluation of software maintainability based on a manually validated refactoring dataset

Hegedűs Péter, Kádár István, Ferenc Rudolf, Gyimóthy Tibor
2018

Permutációs tömörítés

Késmárki Csobán
1999