Mining parametric specifications
暂无分享,去创建一个
[1] Suresh Jagannathan,et al. Path-Sensitive Inference of Function Precedence Protocols , 2007, 29th International Conference on Software Engineering (ICSE'07).
[2] Thomas R. Gross,et al. Automatic Generation of Object Usage Specifications from Large Method Traces , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
[3] James R. Larus,et al. Mining specifications , 2002, POPL '02.
[4] Sudheendra Hangal,et al. Tracking down software bugs using automatic anomaly detection , 2002, ICSE '02.
[5] David Lo,et al. Mining Scenario-Based Triggers and Effects , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
[6] Leonardo Mariani,et al. Automatic generation of software behavioral models , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.
[7] Jerome A. Feldman,et al. On the Synthesis of Finite-State Machines from Samples of Their Behavior , 1972, IEEE Transactions on Computers.
[8] George C. Necula,et al. Mining Temporal Specifications for Error Detection , 2005, TACAS.
[9] References , 1971 .
[10] Zhendong Su,et al. Symbolic mining of temporal specifications , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.
[11] Andreas Zeller,et al. Mining object behavior with ADABU , 2006, WODA '06.
[12] Suresh Jagannathan,et al. Static specification inference using predicate mining , 2007, PLDI '07.
[13] Koushik Sen,et al. Predictive Typestate Checking of Multithreaded Java Programs , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
[14] Grigore Rosu,et al. Parametric Trace Slicing and Monitoring , 2009, TACAS.
[15] Janusz A. Brzozowski,et al. Derivatives of Regular Expressions , 1964, JACM.
[16] William G. Griswold,et al. Quickly detecting relevant program invariants , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[17] Zhendong Su,et al. Javert: fully automatic mining of general temporal properties from dynamic traces , 2008, SIGSOFT '08/FSE-16.
[18] David Lo,et al. Mining Hierarchical Scenario-Based Specifications , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
[19] Anand Raman,et al. The sk-strings method for inferring PFSA , 1997 .
[20] Grigore Rosu,et al. Mop: an efficient and generic runtime verification framework , 2007, OOPSLA.
[21] Jian Pei,et al. Mining API patterns as partial orders from source code: from usage scenarios to specifications , 2007, ESEC-FSE '07.
[22] Eran Yahav,et al. Static Specification Mining Using Automata-Based Abstractions , 2007, IEEE Transactions on Software Engineering.
[23] Manuvir Das,et al. Perracotta: mining temporal API rules from imperfect traces , 2006, ICSE.
[24] Lionel C. Briand,et al. Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software , 2006, IEEE Transactions on Software Engineering.
[25] Amer Diwan,et al. The DaCapo benchmarks: java benchmarking development and analysis , 2006, OOPSLA '06.
[26] William G. Griswold,et al. An Overview of AspectJ , 2001, ECOOP.
[27] Jian Pei,et al. MAPO: Mining and Recommending API Usage Patterns , 2009, ECOOP.
[28] Amer Diwan,et al. Discovering Documentation for Java Container Classes , 2007, IEEE Transactions on Software Engineering.