If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Hakjoo Oh is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 5 Similar Profiles
Static analysis Engineering & Materials Science
Semantics Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Acoustic waves Engineering & Materials Science
Scalability Engineering & Materials Science
Information use Engineering & Materials Science
Costs Engineering & Materials Science
Static Analysis Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2009 2019

  • 235 Citations
  • 9 h-Index
  • 21 Conference contribution
  • 14 Article

Concolic testing with adaptively changing search heuristics

Cha, S. & Oh, H., 2019 Aug 12, ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (eds.). Association for Computing Machinery, Inc, p. 235-245 11 p. (ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing
Explosions

Resource-Aware Program Analysis Via Online Abstraction Coarsening

Heo, K., Oh, H. & Yang, H., 2019 May 1, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019. IEEE Computer Society, p. 94-104 11 p. 8812143. (Proceedings - International Conference on Software Engineering; vol. 2019-May).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Coarsening
Controllers
Data storage equipment
Static analysis
1 Citation (Scopus)

Adaptive static analysis via learning with Bayesian optimization

Kihong, H. E. O., Oh, H., Yang, H. & Kwangkeun, Y. I., 2018 Nov 1, In : ACM Transactions on Programming Languages and Systems. 40, 4, 14.

Research output: Contribution to journalArticle

Static analysis
Costs
1 Citation (Scopus)

A scalable learning algorithm for data-driven program analysis

Cha, S., Jeong, S. & Oh, H., 2018 Dec 1, In : Information and Software Technology. 104, p. 1-13 13 p.

Research output: Contribution to journalArticle

Learning algorithms
Scalability
Personnel
Costs
8 Citations (Scopus)

Automatically generating search heuristics for concolic testing

Cha, S., Hong, S., Lee, J. & Oh, H., 2018 May 27, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018. IEEE Computer Society, p. 1244-1254 11 p. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing