סוג האירוע

בחר הכל

הרצאות פומביות

קולוקוויום

סמינרים

כנסים וימי עיון

מועדון IAP

מבחן/תחרות

צהרי יום א'

הרצאות לקהל הרחב

ימים פתוחים וייעוץ

טקסים ואירועים מיוחדים

תחום האירוע

בחר הכל

הפקולטה למדעים מדויקים

ביה"ס למדעי המתמטיקה

ביה"ס לפיזיקה ולאסטרונומיה

המועדון האסטרונומי

ביה"ס לכימיה

מרכז לחקר אינטראקציות אור חומר

פרס סאקלר במדעים הפיזיקליים - כימיה

סימפוזיונים והרצאות מיוחדות

החוג למדעי כדור הארץ

ביה"ס למדעי המחשב

ביה"ס למדעי כדור הארץ

החוג ללימודי הסביבה

The TAU Programming Languages and Systems Seminar - Program Repair That Learns From Mistakes

Batchen Golden, Technion

27 במאי 2018, 12:30 
בניין שרייבר, חדר 309 
הרצאה לקהל הרחב

Abstract:

In the process of software production and maintenance, much effort is invested in order to ensure that the product is as bug free as possible. Manual bug repair is time-consuming and requires close acquaintance with the checked program. Therefore, in recent years there has been much progress in the development of tools for automated program repair.

In this work, we present an approach for automatically repairing an erroneous program with respect to a given set of assertions. Programs are repaired using a predefined set of syntactic mutations, e.g. operator replacements. Searching the space of mutated programs is reduced to searching unsatisfiable sets of constraints, which is performed efficiently using cooperation between incremental SAT and SMT solvers. In order to narrow down the search space rapidly, our technique "learns from mistakes": whenever a mutated program P is found to contain a trace leading to an assertion violation, that trace is generalized using a novel error-generalization method. The result is a blocking-clause, passed to the SAT solver, blocking not only P but also other programs exhibiting the same erroneous behavior.

אוניברסיטת תל אביב עושה כל מאמץ לכבד זכויות יוצרים. אם בבעלותך זכויות יוצרים בתכנים שנמצאים פה ו/או השימוש
שנעשה בתכנים אלה לדעתך מפר זכויות, נא לפנות בהקדם לכתובת שכאן >>