Static specification mining using automata-based abstractions

2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07

Volumn , Issue , 2007, Pages 174-184

  Shoham, Sharon ^a   Yahav, Eran ^a   Fink, Stephen ^a   Pistoia, Marco ^a  

^a NONE

Author keywords

Abstract interpretation; Specification mining; Static analysis; Typestate

Indexed keywords

ABSTRACTING; CLIENT SERVER COMPUTER SYSTEMS; DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE; STATIC ANALYSIS;

ABSTRACT INTERPRETATION; SPECIFICATION MINING; TYPESTATES;

DATA MINING;

EID: 34548219459     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1273463.1273487     Document Type: Article

References (0)