Sapienz Receives ISSTA 2026 Impact Paper Award

Meta researchers Ke Mao, Mark Harman, and Yue Jia received the ISSTA 2026 Most Influential Paper Award for their 2016 Sapienz paper on multi-objective automated testing for Android apps. Sapienz found 558 previously unknown crashes in an evaluation of 1,000 popular Google Play apps, was deployed at Meta within 17 months of publication, and now runs millions of tests daily across Meta's platforms, surfacing thousands of crashes weekly and safeguarding hundreds of app releases monthly. Its application-exploration approach also powers dynamic taint analysis at WhatsApp. The piece also touches on how LLM agents are extending Sapienz's ideas toward functional correctness and automated repair.

Source: https://engineering.fb.com/2026/10/15/developer-tools/sapienz-issta-2026-impact-paper-award-meta. 8 Sync News only summarizes and links out; content copyright belongs to the authors and original sources.

Recommended for you

Android Developers Blog1 Hot1 min12 h agoAI

Android Developers Blog is moving

Android Developers Blog đang chuyển từ nền tảng Blogger sang developer.android.com/blog để cải thiện định dạng và tích hợp sâu hơn với nội dung kỹ thuật. Việc thay đổi này nhằm mang lại trải nghiệm người đọc tốt hơn với bố cục được tối ưu. Bạn cần cập nhật dấu trang và đăng ký RSS feed mới tại địa chỉ mới để không bỏ lỡ bài viết. Di chuyển blog sang domain chính của Android sẽ giúp tập trung thông tin và tăng tính chuyên nghiệp cho nền tảng phát triển.

Lập trình viên nên đọc bài này để biết vị trí mới và cập nhật RSS feed của blog Android Developers.

#androidSource

ElixirStatus1 Hot5 min12 h agoAI

GitHub - keploy/keploy: Open-source platform for creating safe, isolated production sandboxes for API, integration, and E2E testing.

Keploy là nền tảng mã nguồn mở giúp tạo production sandboxes an toàn và cô lập cho API, integration và E2E testing. Giải pháp này ghi lại traffic thật từ production và tái tạo dependencies, cho phép test trong môi trường thực tế mà không ảnh hưởng đến hệ thống chính. Keploy hỗ tích hợp với các framework testing phổ biến như Go, Java, Python, Node.js, giúp developer tự động hóa quy trình test. Với khả năng mocking các dependency, Keploy giảm thiểu 90% thời gian setup test environment và tăng độ coverage test cho dự án phức tạp.

Keploy giúp bạn tạo môi trường sandbox an toàn, cô lập từ production để test API, tích hợp và E2E mà không ảnh hưởng đến hệ thống thực tế.

#testing#go#agentic-aiSource

XDA Developers1 Hot2 min5 h agoAI

The triple-OS NexPhone runs Android, Linux, and Windows 11, but you’ll have to wait until 2027 for it

Thiết bị NexPhone hỗ trợ triple-boot với hệ điều hành Android, Linux và Windows 11, nhưng thời điểm ra mắt đã bị hoãn đến năm 2027. Nguyên nhân gây ra sự chậm trễ là do các vấn đề kỹ thuật trong quá trình tích hợp ba hệ điều hành trên cùng một thiết bị phần cứng. Hệ quả là người dùng sẽ phải chờ thêm vài tháng so với kế hoạch ban đầu để trải nghiệm thiết bị đa nền tảng độc đáo này. Bài viết cung cấp thông tin chi tiết về cấu hình phần cứng hỗ trợ triple-boot và kế hoạch phát triển trong tương lai.

Thiết bị đa hệ điều hành NexPhone hứa hẹn mang trải nghiệm sử dụng linh hoạt nhưng bị hoãn đến 2027 sẽ giúp bạn định hướng xu hướng công nghệ tương lai.

#linux#android#windowsSource

Facebook Engineering 1 Hot9 min13 h agoAI

How Meta Built Forum With AI-Native Engineering

Meta đã xây dựng ứng dụng Forum cho Facebook Groups bằng mô hình AI-native gọi là "human-on-the-loop", trong đó các agent tự động lập kế hoạch, triển khai, xây dựng, kiểm tra và xác minh code khi các kỹ sư đặt mục tiêu và phê duyệt kết quả. Đội ngũ đã xử lý việc tự động hóa verification (builds, tests, UI matching) như một bước gate thay vì chỉ là compilation, cung cấp cho agent các công cụ trực tiếp để kiểm tra trạng thái app thay vì dựa vào mô tả. Họ sử dụng sandbox build flavor riêng biệt để cô lập prototype code khỏi production và triển khai navigation agents cho stress testing liên tục, phát hiện được một memory regression trước khi launch. Với phương pháp này, Forum đạt được feature parity với Facebook Groups chỉ sau 8 tuần và giảm gần một nửa memory use và page faults thông qua stress-testing tự động.

Bài này cho bạn thấy cách Meta áp dụng kỹ thuật AI-native để phát triển ứng dụng Forum chỉ trong 8 tuần, giảm thiểu lỗi nhờ kiểm thử tự động liên tục.

#testing#mobile#ai-codingSource

QA Wolf1 Hot9 min16 h agoAI

QA Wolf vs Claude Code vs Codex

QA Wolf vượt trội với tỷ lệ qua 93% trên 1,567 bài kiểm tra đa nền tảng gồm web, iOS và Android, cao hơn Claude Code (78%) và Codex (74%). Khác biệt lớn này bắt nguồn từ khả năng xử lý ngữ cảnh dài hạn và hiểu biết sâu về API của QA Wolf. Hệ quả cho thấy QA Wolf là lựa chọn tối ưu cho tự động hóa kiểm chất lượng phần mềm phức tạp. Các lập trình viên nên lưu ý rằng QA Wolf xử lý tốt nhất các tác vụ liên quan đến giao diện người dùng và logic nghiệp vụ trên nhiều nền tảng khác nhau.

Bài này giúp lập trình viên so sánh hiệu suất của các công cụ QA phổ biến để chọn giải pháp tối ưu cho dự án của mình.

#ai-agent#testing#claude-codeSource

Currents1 Hot19 min16 h agoAI

AI Playwright Tests: MCP, CLI, Agents and Prompts Compared

Bài viết so sánh hiệu quả giữa bốn phương pháp tự động hóa test Playwright với AI: MCP (Model Context Protocol), CLI (Command Line Interface), test agents và prompt-only assistant trên cùng bộ test suite. Nghiên cứu sử dụng 20 test case phức tạp để đo lường các chỉ số như tỉ lệ thành công (pass rate), thời gian thực thi execution time và chất lượng code generated. Kết quả cho thấy MCP đạt điểm cao nhất với 85% test case thành công và code sạch nhất, trong khi prompt-only assistant chỉ đạt 45% hiệu suất và thường tạo ra code không ổn định. Lập trình viên nên cân nhận đọc bài gốc để có cái nhìn chi tiết về cách triển khai từng phương pháp và các chiến lược prompt optimization giúp cải thiện hiệu quả test automation với AI.

Bài viết này giúp lập trình viên so sánh và lựa chọn phương pháp AI Playwright Tests hiệu quả nhất cho dự án của mình.

#ai-agent#testing#mcpSource

Milan Jovanović20 Hot6 min6 d agoAI

TimeProvider and FakeTimeProvider in .NET Tests

Khi test code phụ thuộc thời gian như invitation hết hạn sau 5 phút, việc sử dụng DateTime.Now gây khó khăn trong unit tests. .NET cung cấp TimeProvider và FakeTimeProvider để giải quyết vấn đề này, cho phép kiểm soát hoàn toàn giá trị thời gian trong môi trường test. FakeTimeProvider cho phép bạn thiết lập một thời gian cụ thể, ví dụ DateTime.Parse("2023-01-01 10:00:00"), để kiểm tra chính xác logic hết hạn mà không cần chờ đợi thời gian thực. Giải pháp này giúp loại bỏ dependency injection vào DateTime.Now và tạo ra test case đáng tin cậy, dễ bảo trì, đặc biệt quan trọng với các business logic phức tạp liên quan đến thời gian.

Bài viết giúp bạn kiểm tra mã phụ thuộc thời gian một cách hiệu quả bằng cách sử dụng TimeProvider và FakeTimeProvider trong .NET.

#testing#.net#c#Source

Tauri94 Hot3 min19 d agoAI

Announcing Tauri 2.12

Tauri 2.12 ra mắt như giải pháp cross-platform toolkit giúp xây dựng ứng dụng hiệu quả hơn. Phiên bản này tối ưu hóa FFI (Foreign Function Interface) và Rust runtime, giảm 30% kích thước binary so với bản 2.11. Hệ quả là ứng dụng chạy nhanh hơn và tiêu thụ ít bộ nhớ hơn đáng kể, đặc biệt với các ứng dụng sử dụng nhiều tính năng native. Điều đáng học là Tauri kết hợp Rust cho core security với JavaScript framework cho giao diện, tạo ra giải pháp hiệu quả mà không cần sacrifice trải nghiệm người dùng.

Bài viết này cung cấp những cải tiến quan trọng giúp lập trình viên xây dựng ứng dụng đa nền tảng hiệu quả hơn với Tauri.

#android#rust#gradleSource