Denduang Pradubsuwun

Publication Activity (10 Years)

Years Active: 2004-2019
Publications (10 Years): 2

Top Topics

Object Extraction

Domain Specific

Formal Verification

Top Venues

Publications

Pakorn Leesutthipornchai, Denduang Pradubsuwun
Association Extraction from Functional Testing Scenarios. IECC (2019)
Soravit Rodruksa, Denduang Pradubsuwun
Formal verification of ABAP by Z specification. JCSSE (2017)
Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. Myers
Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits. IEICE Trans. Inf. Syst. (7) (2005)
Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. Myers
Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits. ATVA (2004)