Finding and fixing software bugs automatically with SapFix and Sapienz – Facebook Research
Finding and fixing software bugs automatically with SapFix and Sapienz Debugging code is drudgery. But SapFix, a new AI hybrid tool created by Facebook engineers, can significantly reduce the amount of time engineers spend on debugging, while also speeding up the process of rolling out new software. SapFix can automatically generate fixes for specific bugs, and then propose them to engineers for a
Facebook、バグを自動で修正する新ツール「SapFix」開発
Facebookが、バグを発見し自動的に修正するよう開発した新しいツール「SapFix」を開発している。このツールは、Facebookの「Android」版アプリケーションを利用しているデバイスに安定したコードのアップデートを提供するために利用される。Facebookが把握している限り、人工知能（AI）を利用したテストおよびデバッグツールをこれだけの規模で実用向けに実現する初めてのものだという。 SapFixはさまざまな種類のバグとソフトウェアに対応できるよう開発されているため、これによって広範な企業が、高品質なコードの作成を高速化できるようになる可能性がある。 この新ツールは、「Sapienz」があってもなくても実行可能だ。SapienzもFacebookが開発したインテリジェントな自動ツールで、ソフトウェアをテストしてバグを検知する機能を備える。Facebookは「SapFix」を使用
SMTソルバでプログラムを作る: 週記
ICFP programming contest 2013に参加していました（よくわかる解説）。チームの成績は戦略ミスなどもあって散々だったのですが、ちょっと変わったアプローチで問題に取り組んだと思うので、自分のチームのアプローチを紹介しておきます。リポジトリはこちら。 なにを達成したいか Knuth本やHacker's delight に紹介されているプログラミング技術の一つとして、bit trickが挙げられます。たとえば、整数xのビット表現のうち、一番右にある1をクリアするコードは "x & (x - 1)" として記述できます。このようなコードを、仕様から直接導出することはできるでしょうか？ あるいは、有限個の入出力(Oracleと呼ぶことにします)が与えられた場合、その入出力を満たすようなプログラムを生成することは出来るでしょうか？ これらの疑問に答えるのが、Jha, Gulwa
GeneXus Japan
GeneXus™ は GeneXus S.A. の登録商標です。また、当サイトに掲載されているその他の商標は、すべてそれぞれの所有者の所有物です。
ローコード開発コミュニティ
ローコード開発とは、単なる「ローコード開発ツールを用いた開発」ではなく、「業務のデザイン(業務要件をもとに、業務のあるべき姿を設計すること)から運用・保守工程まで含むシステムライフサイクルを通して、生産性・保守性向上と継続的品質改善を行うやり方」であり、「ローコード」とは、労働集約的な開発に対して「期間短縮」、「少人数開発」、「品質向上による手戻り削減」を意味します。
SyGuS
Website maintained by Saswat Padhi @ SyGuS-Org. Hydeout theme © 2021 Andrew Fong, MIT License. Copyrights for papers and solvers are property of their respective owners. The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Recent work on program synthesis and program optimization illustrates many potentia
LARA – Lab for Automated Reasoning and Analysis -
Leon is an automated system for verifying, repairing, and synthesizing functional Scala programs. The system can be tried out online, with no installation required, at the following link: http://leon.epfl.ch Leon source code is publicly available on github: https://github.com/epfl-lara/leon The github repository contains the documentation that can be built in various formats, including in particul
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Kestrel Institute
Home | ExCAPE: Expeditions in Computer Augmented Program Engineering
Photo Tourism: Microsoft Research, Interactive Visual Media Group