Invarianter är kortfattade och användbara beskrivningar av ett programs beteende. Eftersom de flesta program inte kommenteras med invarianter, har tidigare forskning försökt att automatiskt generera dem från källkod. I detta dokument föreslår vi en ny strategi för invarianta generationer med hjälp av sökning. Vi återanvänder spårgenereringsfronten av det befintliga verktyget Daikon och integrerar det med genetisk programmering och ett verktyg för mutationstestning. Vi visar att vårt system kan hitta samma invarianter genom sökning som Daikon producerar via mallinstantiation, och vi finner också användbara invarianter som Daikon inte gör. Vi presenterar sedan en metod för att rangordna invarianter så att vi kan identifiera de som är mest intressanta, genom en ny tillämpning av programmutation.
Nyligen, Ratcliff et al. REF har föreslagit en teknik för att återanvända spårgenerationen av Daikon och integrera den med genetisk programmering för att producera användbara invarianter.
Searching for invariants using genetic programming and mutation testing
{'venue': "GECCO '11", 'journal': None, 'mag_field_of_study': ['Computer Science']}