Testing mined specifications

Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012

Volumn , Issue , 2012, Pages

  Gabel, Mark ^a   Su, Zhendong ^b  

^a The University of Texas at Dallas   (United States)

^b University of California Davis   (United States)

Author keywords

reverse engineering; software tools; specification inference

Indexed keywords

AUTOMATED TOOLS; INDUCTIVE LEARNING; INDUCTIVE REASONING; JAVA PROGRAM; PROGRAM TRANSFORMATIONS; PROTOTYPE TOOLS; SPECIFICATION INFERENCES; SPECIFICATION MINING; STANDARD PRACTICES; TEMPORAL PROPERTY;

COMPUTER AIDED SOFTWARE ENGINEERING; JAVA PROGRAMMING LANGUAGE; REVERSE ENGINEERING; SEMANTICS; SOFTWARE ENGINEERING; SOFTWARE TESTING;

SPECIFICATIONS;

EID: 84871341908     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2393596.2393598     Document Type: Conference Paper

References (38)

1. F. Aleen and N. Clark. Commutativity Analysis for Software Parallelization: Letting Program Transformations See The Big Picture. In Proceeding of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), ASPLOS '09, 2009.
2. R. Alur, P. Cerný, P. Madhusudan, and W. Nam. Synthesis of Interface Specifications for Java Classes. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005.
3. G. Ammons, R. Bodík, and J. R. Larus. Mining Specifications. In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002.
4. G. Ammons, D. Mandelin, R. Bodík, and J. R. Larus. Debugging Temporal Specifications with Concept Analysis. In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming Language Design and Implementation, 2003.
5. T. Ball and S. K. Rajamani. Automatically Validating Temporal Safety Properties of Interfaces. In SPIN '01: Proceedings of the 8th International SPIN Workshop on Model Checking of Software, 2001.
6. J. Burnim and K. Sen. DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs. In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, 2010.
7. R.-Y. Chang, A. Podgurski, and J. Yang. Finding What's Not There: A New Approach to Revealing Neglected Conditions in Software. In Proceedings of ISSTA '07, 2007.
8. F. Chen and G. Rosu. MOP: An Efficient and Generic Runtime Verification Framework. In Proceedings of OOPSLA '07, 2007.
9. V. Dallmeier, C. Lindig, A. Wasylkowski, and A. Zeller. Mining Object Behavior with ADABU. In WODA '06: Proceedings of the 2006 International Workshop on Dynamic Systems Analysis, 2006.
10. V. Dallmeier, N. Knopp, C. Mallon, S. Hack, and A. Zeller. Generating Test Cases for Specification Mining. In Proceedings of the 19th International Symposium on Software Testing and Analysis, ISSTA '10, 2010.
11. R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on Test Data Selection: Help for the Practicing Programmer. Computer, 11(4), 1978.
12. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. In SOSP '01: Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles, 2001.
13. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly Detecting Relevant Program Invariants. In Proceedings of ICSE, 2000.
14. R. B. Evans and A. Savoia. Differential Testing: A New Approach to Change Detection. In The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering: Companion Papers, 2007.
15. S. J. Fink, E. Yahav, N. Dor, G. Ramalingam, and E. Geay. Effective Typestate Verification in the Presence of Aliasing. ACM Trans. Softw. Eng. Methodol., 17(2), 2008.
16. G. Fraser and A. Zeller. Generating parameterized unit tests. In Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA '11, 2011.
17. M. Gabel and Z. Su. Symbolic Mining of Temporal Specifications. In Proceedings of ICSE '08, 2008.
18. M. Gabel and Z. Su. Javert: Fully Automatic Mining of General Temporal Properties from Dynamic Traces. In Proceedings of SIGSOFT '08/FSE-16, 2008.
19. R. G. Hamlet. Testing Programs with the Aid of a Compiler. IEEE Trans. Softw. Eng., 3(4), 1977.
20. J. Henkel and A. Diwan. Discovering Algebraic Specifications from Java Classes. In ECOOP 2003 - 17th European Conference on Object-Oriented Programming, 2003.
21. T. A. Henzinger, R. Jhala, and R. Majumdar. Permissive Interfaces. In ESEC/FSE-13: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005.
22. W. E. Howden. Weak mutation testing and completeness of test sets. IEEE Trans. Softw. Eng., 8(4), July 1982.
23. T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler. From Uncertainty to Belief: Inferring the Specification Within. In OSDI'06: Proceedings of the 7th conference on USENIX Symposium on Operating Systems Design and Implementation, 2006.
24. C. Le Goues and W. Weimer. Specification Mining with Few False Positives. In TACAS '09: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2009.
25. C. Lee, F. Chen, and G. Roşu. Mining parametric specifications. In Proceedings of the 33rd International Conference on Software Engineering, ICSE '11, 2011.
26. Z. Li and Y. Zhou. PR-Miner: Automatically Extracting Implicit Programming Rules and Detecting Violations in Large Software Code. In Proceedings of ESEC/FSE-13, 2005.
27. Z. Li, L. Tan, X. Wang, S. Lu, Y. Zhou, and C. Zhai. Have Things Changed Now?: An Empirical Study of Bug Characteristics in Modern Open Source Software. In Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, ASID '06, 2006.
28. A. C. Nguyen and S.-C. Khoo. Extracting significant specifications from mining through mutation testing. In Proceedings of the 13rd International Conference on Formal Engineering Methods, ICFEM '11, 2011.
29. N. Polikarpova, I. Ciupa, and B. Meyer. A Comparative Study of Programmer-Written and Automatically Inferred Contracts. In Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009.
30. M. K. Ramanathan, A. Grama, and S. Jagannathan. Static Specification Inference Using Predicate Mining. In Proceedings of PLDI, 2007.
31. M. Renieris, S. Chan-Tin, and S. P. Reiss. Elided Conditionals. In Proceedings of the 5th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2004.
32. M. C. Rinard and P. C. Diniz. Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers. ACM Trans. Program. Lang. Syst., 19(6), 1997.
33. J. R. Ruthruff, S. Elbaum, and G. Rothermel. Experimental program analysis: a new program analysis paradigm. In Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA '06, 2006.
34. S. Shoham, E. Yahav, S. Fink, and M. Pistoia. Static Specification Mining Using Automata-based Abstractions. In Proceedings of ISSTA, 2007.
35. R. E. Strom and S. Yemini. Typestate: A Programming Language Concept for Enhancing Software Reliability. IEEE Trans. Softw. Eng., 12(1), 1986.
36. J. Whaley, M. C. Martin, and M. S. Lam. Automatic Extraction of Object-oriented Component Interfaces. In Proceedings of ISSTA '02, 2002.
37. T. Xie and D. Notkin. Mutually Enhancing Test Generation and Specification Inference. In A. Petrenko and A. Ulrich, editors, Formal Approaches to Software Testing. 2004.
38. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: Mining Temporal API Rules from Imperfect Traces. In Proceedings of ICSE, 2006.