QUARK: Empirical assessment of automaton-based specification miners

Proceedings - Working Conference on Reverse Engineering, WCRE

Volumn , Issue , 2006, Pages 51-60

  Lo, David ^a   Khoo, Siau Cheng ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; QUALITY ASSURANCE; REVERSE ENGINEERING; ROBUSTNESS (CONTROL SYSTEMS); SPECIFICATIONS;

QUARK(QUALITY ASSURANCE FRAMEWORK); SOFTWARE TEMPORAL SPECIFICATION; SPECIFICATION MINERS;

DATA MINING;

EID: 34948849748     PISSN: 10951350     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.2006.47     Document Type: Conference Paper

References (27)

1. G. Ammons, R. Bodik, and J. R. Laras. Mining specification. In Proc. of Principles of Programming Languages, 2002.
2. G. Ammons, D. Mandelin, R. Bodik, and J. Larus. Debugging temporal specifications with concept analysis. In Proc. of Programming Language Design and Implementation, 2003.
3. D. Angluin. Identifying languages from stochastic examples. Yale tech. report, YALEU/DCS/RR-614, 1988.
4. A.Raman, P.Andreae, and J.D.Patrick. A beam search algorithm for pfsa inference. Pattern Analysis and Applications, 1998.
5. A. Biermann and J. Feldman. On the synthesis of finite-state machines from samples of their behaviour. IEEE Transactions on Computers, 21:591-597, 1972.
6. R. Binder. Testing Object-Oriented Systems Models,Patterns,And Tools. Addison-Wesley, 2000.
7. R. Capilla and J. C. Dueñas. Light-weight product-lines for evolution and maintenance of web sites. In Proc. of the Euro. Conf. On Software Maintenance And Reengineering, 2003.
8. J. E. Cook and A. L. Wolf. Discovering models of software processes from event-based data. ACM Transactions on Software Engineering and Methodology, 7(3):215-249, July 1998.
9. C. de la Higuera and F. Thollard. Identification in the limit with probability one of stochastic deterministic finite automata. In Proc. of International Colloquium of Grammatical Inference and Applications, 2000.
10. S. Deelstra, M. Sinnema, and J. Bosch. Experiences in software product families: Problems and issues during product derivation. In Proc. of Software Product Line Conference, 2004.
11. A. Fox. Addressing software dependability with statistical and machine learning techniques. In Proc. of Int. Conf. of Software Engineering, 2005. Invited Talk.
12. E. M. Gold. Language identification in the limit. Information and Control, 10:447-474, 1967.
13. G.Salton. Automatic Information Organization and Retrieval. McGraw-Hill, 1968.
14. D. Hand, H. Mannila, and P. Smyth. Principles of Data Mining. MIT Press, 2001.
15. P. Hingston. Inference of regular languages using model simplicity. In Proc. of the Australasian Conf. on Computer Science, 2001.
16. M. Kearns, Y. Mansour, D. Ron, R. Rubinfeld, R. Schapire, and L. Sellie. On the learnability of discrete distributions. In Proc. of ACM Symposium on Theory of Computing, 1994.
17. D. Lo and S.-C. Khoo. Quark: Towards better quality specification miners. NUS tech. report, TRA 7/06, 2006.
18. R. Lyngsø, C. Pedersen, and H. Nielsen. Metrics and similarity measures for hidden markov models. In Proc. of the National Conf. on Artificial Intelligence, 1999.
19. L. Mariani and M. Pezze. Behavior capture and test: Automated analysis for component integration. In Proc. of the Int. Conf. on Engineering of Complex Computer Systems, 2005.
20. J. W. Nimmer and M. D. Ernst. Automatic generation of program specifications. In Proc. of the 2002 International Symposium on Software Testing and Analysis, 2002.
21. A. V. Raman and J. D. Patrick. The sk-strings method for inferring pfsa. In Proc. of the workshop on automata induction, grammatical inference and language acquisition, 1997.
22. S. P. Reiss and M. Renieris. Encoding program executions. In Proc. of the Int. Conf. on Software Engineering, 2001.
23. A. Silberschatz, P. Galvin, and G. Gagne. Operating System Concepts. Wiley, 2003.
24. Sun Microsystems,Inc. The java hotspot performance engine architecture. online at http://java.sun.com/products/hotspot/whitepaper.html, 1999.
25. The Apache Software Foundation. Jakarta commons/net. online at http://jakarta.apache.org/commons/net/.
26. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M.Das. Perracotta: Mining temporal api rules from imperfect traces. In Proc. of Int. Conf. on Software Engineering, 2006.
27. Y.Zou, T. Lau, K. Kontogiannis, T. Tong, and R. McKegney. Model-driven busineess process recovery. In Proc. of Working Conf. on Reverse Engineering, 2004.