A-Str: Acyclic String Constraint Solver withNative Java String API Support
본 논문은 복잡한 Java 검증 및 동적 심볼릭 실행 벤치마크를 효율적이고 견고하게 해결하기 위해 Java String API를 네이티브로 지원하는 비순환 오토마타 기반 문자열 제약 조건 솔버인 A-Str을 제시하며, 이는 표준 SMT-LIB 벤치마크에서는 경쟁력을 유지하면서도 Java 특화 작업에서는 기존 도구들을 능가하는 성능을 보여준다.