Hung-En Wang

According to our database, Hung-En Wang authored at least 4 papers between 2016 and 2022.

Collaborative distances:

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

2022

Homing Sequence Derivation With Quantified Boolean Satisfiability.

Kuan-Hua Tu, Hung-En Wang, Jie-Hong R. Jiang, Natalia Kushik, Nina Yevtushenko

IEEE Trans. Computers, 2022

2018

A symbolic model checking approach to the analysis of string and length constraints.

Hung-En Wang, Shih-Yu Chen, Fang Yu, Jie-Hong R. Jiang

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Homing Sequence Derivation with Quantified Boolean Satisfiability.

Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik

Proceedings of the Testing Software and Systems, 2017

2016

String Analysis via Automata Manipulation with Logic Circuit Representation.

Hung-En Wang, Tzung-Lin Tsai, Chun-Han Lin, Fang Yu, Jie-Hong R. Jiang

Proceedings of the Computer Aided Verification - 28th International Conference, 2016