Gábor Árpád Németh

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Incremental Maintenance

Materialized Views

Symbolic Execution

Top Venues

Fundam. Informaticae

Publications

Gábor Árpád Németh, Zoltán Pap
The Incremental Maintenance of Transition Tour. Fundam. Informaticae 129 (3) (2014)
Gusztáv Adamis, Antal Wu-Hen-Chang, Gábor Árpád Németh, Levente Erös, Gábor Kovács
Data Flow Testing in TTCN-3 with a Relational Database Schema. SDL Forum (2013)
Gábor Kovács, Gábor Árpád Németh, Mahadevan Subramaniam, Zoltán Pap
Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications. SDL Forum (2009)
Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh
A Bounded Incremental Test Generation Algorithm for Finite State Machines. TestCom/FATES (2007)