mtmtMagyar Tudományos Művek Tára

XML JSON Átlépés a keresőbe In English

2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)

IEEE [szerk.]

Angol nyelvű Konferenciakötet (Könyv) Tudományos

Megjelent: IEEE, Piscataway (NJ), Amerikai Egyesült Államok 2025

Konferencia: 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025 2025-11-16 [Seoul, Dél-Korea]

Sorozatok: IEEE/ACM International Conference on Automated Software Engineering 1938-4300 2643-1572

Azonosítók

MTMT: 36910403
ISBN: 9798350357332

Fejezetek

Dong Chaopeng et al. Advancing Binary Code Similarity Detection via Context-Content Fusion and LLM Verification. (2025) Megjelent: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 304-316
Pawagi Mrigank et al. RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications. (2025) Megjelent: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 1234-1246
van Doren Raoul et al. Efficient and Verifiable Proof Logging for MaxSAT Solving. (2025) Megjelent: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 1325-1337
Wei Chenfeng et al. VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods. (2025) Megjelent: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 1415-1426
Ádám Zsófia et al. Non-termination Witnesses and Their Validation. (2025) Megjelent: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 1969-1981
Wang Xinyi et al. Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots. (2025) Megjelent: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 3695-3706
Yepes-Parra Juan Diego et al. Autonomous Agents for Accessibility: Simulating Visual Impairments in Web Interfaces. (2025) Megjelent: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 3953-3957

Hivatkozás stílusok: IEEE ACM APA Chicago Harvard CSLMásolásNyomtatás

2026-06-17 15:04

×

Lista exportálása irodalomjegyzékként

Hivatkozás stílusok: IEEE ACM APA Chicago HarvardNyomtatásMásolás