Framsteg under de senaste åren har gjort det möjligt att i vissa fall hitta fel automatiskt. Men felsökning handlar också om att korrigera fel. Kan verktyg göra detta automatiskt? De resultat som rapporteras i detta dokument, från det nya PACHIKA-verktyget, tyder på att ett sådant mål kan uppnås. PACHIKA utnyttjar skillnader i programbeteende för att generera programfixar direkt. Det automatiskt härleder objekt beteende modeller från utföranden, bestämmer skillnader mellan passerande och misslyckas körningar, genererar möjliga korrigeringar, och bedömer dem via regressionstest svit. Utvärderad på ASPECTJ felhistorik genererar PACHIKA en giltig fix för 3 av 18 kraschande fel. Varje fix anger felets plats och passerar ASPECTJ-testsviten.
PACHIKA REF utnyttjar objektets beteendemodeller.
Generating Fixes from Object Behavior Anomalies
{'venue': '2009 IEEE/ACM International Conference on Automated Software Engineering', 'journal': '2009 IEEE/ACM International Conference on Automated Software Engineering', 'mag_field_of_study': ['Computer Science']}