Programvarans beteendemodeller har visat sig användbara för design, validering, verifiering och underhåll. Emellertid, existerande metoder för att härleda sådana modeller ibland övergeneralize vad beteende är lagligt. Vi skisserar en ny metod som använder sig av troliga programinvarianter och metodinklusionssekvenser för att erhålla en objektnivåmodell som beskriver legala utförandesekvenser. Nyckelinsikten är att använda programinvarianter för att identifiera liknande tillstånd i sekvenserna. Vi exemplifierar hur vår strategi förbättrar vissa aspekter av de senaste FSA-slutmetoderna.
Krka m.fl. REF använder inferred program invarianter och metod anrop sekvenser för att få en objektnivå modell.
Using dynamic execution traces and program invariants to enhance behavioral model inference
{'venue': "ICSE '10", 'journal': None, 'mag_field_of_study': ['Computer Science']}