Szerző: " Porkoláb Zoltán"

Cikk, tanulmány, mű

Umann Kristóf; Horváth Gábor; Porkoláb Zoltán: Uncovering hidden dependencies: constructing intelligible path witnesses using dataflow analyses. In: Acta cybernetica, (26) 3. pp. 713-747. (2024)

Fekete Anett; Porkoláb Zoltán: Using version control information to visualize developers' knowledge. In: Acta cybernetica, (26) 3. pp. 431-454. (2024)

Umann Kristóf; Porkoláb Zoltán: Detecting uninitialized variables in C++ with the Clang static analyzer. In: Acta cybernetica, (25) 4. pp. 923-940. (2022)

Szécsi Péter György; Horváth Gábor; Porkoláb Zoltán: Improved loop execution modeling in the Clang static analyzer. In: Acta cybernetica, (25) 4. pp. 909-921. (2022)

Rátai Dániel Balázs; Horváth Zoltán; Porkoláb Zoltán; Tóth Melinda: Traquest model : a novel model for ACID concurrent computations. In: Acta cybernetica, (25) 2. pp. 435-468. (2021)

Márton Gábor; Porkoláb Zoltán: Unit testing in C++ with compiler instrumentation and friends. In: Acta cybernetica, (23) 2. pp. 659-686. (2017)

Baráth Áron; Porkoláb Zoltán: Automatic checking of the usage of the C++ move semantics. In: Acta cybernetica, (22) 1. pp. 5-20. (2015)

Biczó Mihály; Pócza Krisztián; Forgács István; Porkoláb Zoltán: A new concept of effective regression test generation in a C++ specific environment. In: Acta cybernetica, (18) 3. pp. 481-501. (2008)

Konferencia vagy workshop anyag

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

Parragi Zsolt; Porkoláb Zoltán: Instantiation context aware types in C++.

Babati Bence; Pataki Norbert; Porkoláb Zoltán: Analysis of include dependencies in C++ source code.

Baráth Áron; Ispánovics Gábor Alex; Porkoláb Zoltán: Checking binary compatibility for modern programming language.

Brunner Tibor; Pataki Norbert; Porkoláb Zoltán: Finding semantical differences between C++ standard versions.

Parragi Zsolt; Porkoláb Zoltán: Preserving type information in memory usage measurement of C++ programs.

Márton Gábor; Porkoláb Zoltán: Unit testing and friends in C++.

Baráth Áron; Porkoláb Zoltán: Language support for high-level worst-case execution time estimation.

Szűgyi Zalán; Forgács István; Porkoláb Zoltán: DeepTest the static debugger of Java programs.

Szűgyi Zalán; Porkoláb Zoltán: Necessary test cases for decision coverage and modified condition / decision coverage : [abstract].

Pataki Norbert; Sipos Ádám; Porkoláb Zoltán: Structural complexity metrics on SDL programs : [abstract].

Biczó Mihály; Pócza Krisztián; Porkoláb Zoltán: Test generation with dynamic impact analysis for C++ programs : [abstract].

Zólyomi István; Porkoláb Zoltán: Family polymorphism in JAVA : [abstract].

Sillye Ádám; Porkoláb Zoltán: Uniform computation of complexity metrics in the .NET platform : [abstract].

Frohner Ákos; Porkoláb Zoltán; Varga László: Code generation from UML models : [abstract].

Porkoláb Zoltán: Using object oriented techniques at implementing compilers : [abstract].