Author:
Artzi Shay,Kieżun Adam,Quinonez Jaime,Ernst Michael D.
Publisher
Springer Science and Business Media LLC
Reference64 articles.
1. Artzi, S., Ernst, M.D., Kieżun, A., Pacheco, C., Perkins, J.H.: Finding the needles in the haystack: Generating legal test inputs for object-oriented programs. In: M-TOOS 2006: 1st Workshop on Model-Based Testing and Object-Oriented Systems. Portland, OR, USA (2006)
2. Artzi, S., Kieżun, A., Glasser, D., Ernst, M.D.: Combined static and dynamic mutability analysis. In: ASE 2007: Proceedings of the 22nd Annual International Conference on Automated Software Engineering, pp. 104–113. Atlanta, GA, USA (2007)
3. Bacon, D.F., Sweeney, P.F.: Fast static analysis of C++ virtual function calls. In: Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 324–341. San Jose, CA, USA (1996). http://doi.acm.org/10.1145/236337.236371
4. Banning, J.P.: An efficient way to find the side effects of procedure calls and the aliases of variables. In: Proceedings of the Sixth Annual ACM Symposium on Principles of Programming Languages, pp. 29–41 (1979)
5. Biberstein, M., Gil, J., Porat, S.: Sealing, encapsulation, and mutability. In: ECOOP 2001—Object-Oriented Programming, 15th European Conference, pp. 28–52. Budapest, Hungary (2001)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Region and effect inference for safe parallelism;Automated Software Engineering;2019-05-11
2. Code Transformation Issues in Move-Instance-Method Refactorings;2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR);2019-05
3. Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces;Lecture Notes in Computer Science;2018
4. Region and Effect Inference for Safe Parallelism (T);2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE);2015-11
5. Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool;2015 IEEE/ACM 37th IEEE International Conference on Software Engineering;2015-05