Specification Mining: A Concise Introduction - Mining Software Specifications: Methodologies and Applications - page 4

TABLE 1.1: Categorization Based on Target Formalisms
Formalisms Past Studies

Automata Cook & Wolf [14], Ammons et al. [6], Ammons et

al. [7], Alur et al. [5], Henzinger et al. [31], Mari-
ani & Pezze [53], Acharya et al. [3], Dallmeier et
al. [15], Lo & Khoo [38], Acharya et al. [1], Mariani
et al. [52], Shevertalov & Mancoridis [65], Quante
& Koschke [60], Walkinshaw et al. [72], Gabel &
Su [30], Gabel & Su [29], Lorenzoli et al. [49], Mar-
iani & Pastore [54], Walkinshaw & Bogdanov [71],
Lo et al. [46], Pradel & Gross [58], Zhong et al. [77],
and Gabel & Su [28]

Value-Based Invariants Ernst et al. [23{26], Perkins & Ernst [57], Nimmer

& Ernst [56], Pytlik et al. [59], Brun & Ernst [11],
and Boshernitsan et al. [9]

Patterns/Rules Engler et al. [21], El-Ramly et al. [20], Li &

Zhou [37], Livshits & Zimmermann [37], Mandelin
et al. [50], Weimer & Necula [75], Kremenek et
al. [34], Safyallah & Sartipi [64], Yang et al. [76],
Lo et al. [39], Ramanathan et al. [61], Ramanathan
et al. [62], Thummalapenta & Xie [68], Lo et
al. [40], Ramanathan et al. [63], Zhong et al. [79] ,
Zhong et al. [78], Acharya & Xie [2], Heydarnoori
et al. [32], Lo et al. [47], Nguyen et al. [55], Thum-
malapenta & Xie [70], Thummalapenta & Xie [69],
Wasylkowski & Zeller [73], Zhong et al. [77], and
Lo et al. [41]

Sequence Diagrams Briand et al. [10], Lo et al. [48], de Sousa et al. [17],

Lo & Maoz [43], Lo & Maoz [42], Lo & Maoz [44],
and Doan et al. [19]