mtmt
Magyar 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
CSL
Másolás
Nyomtatás
2026-06-17 15:04
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás