Denduang Pradubsuwun

According to our database, Denduang Pradubsuwun authored at least 3 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Association Extraction from Functional Testing Scenarios.

Pakorn Leesutthipornchai, Denduang Pradubsuwun

Proceedings of the 2019 International Electronics Communication Conference, 2019

2017

Formal verification of ABAP by Z specification.

Soravit Rodruksa, Denduang Pradubsuwun

Proceedings of the 14th International Joint Conference on Computer Science and Software Engineering, 2017

2005

Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits.

Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. Myers

IEICE Trans. Inf. Syst., 2005