Now 518 visitors
Today:0 Yesterday:0
Total: 123974 216S 51P 5R
2026-10-21, Week 43
Member Login
TACT Journal Homepage
Call for Paper
Committee
Find My Paper
Author Homepage
Statistics & History
Welcome Message
Paper Procedure
FAQ
Paper Archives
Outstanding Papers
Program & Proceedings
Presentation Platform
Hotel & Travel Info
Photo Gallery
Scheduler Login
Seminar
Archives Login
Sponsors


















Virual Oral Question and Answer
IEEE/ICACT20260382 Question.3
Questioner: hominpark@etri.re.kr    2026-02-10 오후 2:02:28 		IEEE/ICACT20260382 Answer.3
Answer by Auhor hovhannes.movsisyan@rau.am   2026-02-10 오후 2:02:28
Unlike the synthetic Juliet results, can your method resolve path explosion and ensure practical analysis speeds in real-world large-scale software? We have results on real-world projects, too. Some results are presented in slide 18. For example, our method verified paths on openssl and ffmpeg. All the reported issues have been verified by these project maintainers.

Select Voice