-
1
-
-
33846012075
-
-
A. V. Aho, R. Sethi, and J. D. Ullmann. Compilers, Addison Wesley
-
A. V. Aho, R. Sethi, and J. D. Ullmann. Compilers -Principles, Techniques and Tools. Addison Wesley, 1986.
-
(1986)
Principles, Techniques and Tools
-
-
-
4
-
-
17644363668
-
Efficient Relational Calculation for Software Analysis
-
Feb
-
D. Beyer, A. Noack, and C. Lewerentz. Efficient Relational Calculation for Software Analysis. IEEE TSE, 31(2): 137-149, Feb. 2005.
-
(2005)
IEEE TSE
, vol.31
, Issue.2
, pp. 137-149
-
-
Beyer, D.1
Noack, A.2
Lewerentz, C.3
-
5
-
-
34247854816
-
An empirical study of static program slice size
-
D. Binkley, N. Gold, and M. Harman. An empirical study of static program slice size. ACM TOSEM, 16(2):8, 2007.
-
(2007)
ACM TOSEM
, vol.16
, Issue.2
, pp. 8
-
-
Binkley, D.1
Gold, N.2
Harman, M.3
-
6
-
-
57349086456
-
Market Share: Database Management Systems Software, EMEA
-
Technical report, Gartner, June
-
F. Biscotti, C. Graham, and D. Sommer. Market Share: Database Management Systems Software, EMEA, 2005. Technical report, Gartner, June 2006.
-
(2005)
-
-
Biscotti, F.1
Graham, C.2
Sommer, D.3
-
7
-
-
33845934486
-
-
T.-H. Choi, O. Lee, H. Kim, and K.-G. Doh. A practical string analyzer by the widening approach. In N. Kobayashi, editor, APLAS, 4279 of LNCS, pages 374-388. Springer, 2006.
-
T.-H. Choi, O. Lee, H. Kim, and K.-G. Doh. A practical string analyzer by the widening approach. In N. Kobayashi, editor, APLAS, volume 4279 of LNCS, pages 374-388. Springer, 2006.
-
-
-
-
8
-
-
35248891044
-
Precise analysis of string expressions
-
Proc. 10th International Static Analysis Symposium, SAS '03, of, Springer-Verlag, June
-
A. S. Christensen, A. Isteller, and M. I. Schwartzbach. Precise analysis of string expressions. In Proc. 10th International Static Analysis Symposium, SAS '03, volume 2694 of LNCS, pages 1-18. Springer-Verlag, June 2003.
-
(2003)
LNCS
, vol.2694
, pp. 1-18
-
-
Christensen, A.S.1
Isteller, A.2
Schwartzbach, M.I.3
-
9
-
-
2442466828
-
Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation
-
Y. Cohen and Y. A. Feldman. Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation. ACM TOSEM, 12(3):285-316, 2003.
-
(2003)
ACM TOSEM
, vol.12
, Issue.3
, pp. 285-316
-
-
Cohen, Y.1
Feldman, Y.A.2
-
13
-
-
0029457221
-
Demand interprocedural dataflow analysis
-
S. Horwitz, T. Reps, and M. Sagiv. Demand interprocedural dataflow analysis. SIGSOFT Softw. Eng. Notes, 20(4): 104-115, 1995.
-
(1995)
SIGSOFT Softw. Eng. Notes
, vol.20
, Issue.4
, pp. 104-115
-
-
Horwitz, S.1
Reps, T.2
Sagiv, M.3
-
14
-
-
0029180795
-
A unified treatment of flow analysis in higher-order languages
-
New York, NY, USA, ACM Press
-
S. Jagannathan and S. Weeks. A unified treatment of flow analysis in higher-order languages. In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 393-407, New York, NY, USA, 1995. ACM Press.
-
(1995)
POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
, pp. 393-407
-
-
Jagannathan, S.1
Weeks, S.2
-
15
-
-
1542286887
-
A family of test adequacy criteria for database-driven applications
-
New York, NY, USA, ACM Press
-
G. M. Kapfhammer and M. L. Soffa. A family of test adequacy criteria for database-driven applications. In Proc. of the 9th European software engineering conference (ESEC/FSE 2003), pages 98-107, New York, NY, USA, 2003. ACM Press.
-
(2003)
Proc. of the 9th European software engineering conference (ESEC/FSE 2003)
, pp. 98-107
-
-
Kapfhammer, G.M.1
Soffa, M.L.2
-
18
-
-
33745794058
-
Context-sensitive points-to analysis: Is it worth it?
-
A. Mycroft and A. Zeller, editors, 15th Int. Conference on Compiler Construction, of, Vienna, Springer
-
O. Lhoták and L. Hendren. Context-sensitive points-to analysis: is it worth it? In A. Mycroft and A. Zeller, editors, 15th Int. Conference on Compiler Construction, volume 3923 of LNCS, pages 47-64, Vienna, 2006. Springer.
-
(2006)
LNCS
, vol.3923
, pp. 47-64
-
-
Lhoták, O.1
Hendren, L.2
-
19
-
-
0032305833
-
Slicing objects using system dependence graphs
-
00:358
-
D. Liang and M. Harrold. Slicing objects using system dependence graphs, icsm, 00:358, 1998.
-
(1998)
icsm
-
-
Liang, D.1
Harrold, M.2
-
20
-
-
0032188336
-
How well do experienced software developers predict software change?
-
October
-
M. Lindval and K. Sandahl. How well do experienced software developers predict software change? Journal of Systems and Software, 43:19-27(9), October 1998.
-
(1998)
Journal of Systems and Software
, vol.43
, Issue.9
, pp. 19-27
-
-
Lindval, M.1
Sandahl, K.2
-
21
-
-
57349123294
-
-
Phoenix Framework, http://research.microsoft.com/phoenix, 2007.
-
(2007)
Phoenix Framework
-
-
-
23
-
-
12844268515
-
Chianti: A tool for change impact analysis of Java programs
-
ACM Press
-
X. Ren, F. Shah, F. Tip, B. G. Ryder, and O. Chesley. Chianti: a tool for change impact analysis of Java programs. In Proc. of the 19th Conf. on Object-oriented programming systems, languages, and applications (OOPSLA '04), pages 432-448. ACM Press, 2004.
-
(2004)
Proc. of the 19th Conf. on Object-oriented programming systems, languages, and applications (OOPSLA '04)
, pp. 432-448
-
-
Ren, X.1
Shah, F.2
Tip, F.3
Ryder, B.G.4
Chesley, O.5
-
24
-
-
84963539896
-
Speeding up slicing
-
ACM Press
-
T. Reps, S. Horwitz, M. Sagiv, and G. Rosay. Speeding up slicing. In SIGSOFT '94: Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, pages 11-20. ACM Press, 1994.
-
(1994)
SIGSOFT '94: Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
, pp. 11-20
-
-
Reps, T.1
Horwitz, S.2
Sagiv, M.3
Rosay, G.4
-
25
-
-
35248819232
-
Dimensions of precision in reference analysis of object-oriented programming languages
-
B. Ryder. Dimensions of precision in reference analysis of object-oriented programming languages. Lecture Notes of Computer Science, 137:126-137, 2003.
-
(2003)
Lecture Notes of Computer Science
, vol.137
, pp. 126-137
-
-
Ryder, B.1
-
26
-
-
0003464007
-
-
PhD thesis, Carnegie Mellon University, Pittsburgh, PA, USA
-
O. G. Shivers. Control-flow analysis of higher-order languages or taming lambda. PhD thesis, Carnegie Mellon University, Pittsburgh, PA, USA, 1991.
-
(1991)
Control-flow analysis of higher-order languages or taming lambda
-
-
Shivers, O.G.1
-
27
-
-
0027342170
-
Quantifying schema evolution
-
D. I. Sjoberg. Quantifying schema evolution. IST 35(1):35-44, 1993.
-
(1993)
IST
, vol.35
, Issue.1
, pp. 35-44
-
-
Sjoberg, D.I.1
-
28
-
-
0004096330
-
A survey of program slicing techniques
-
Technical report, Centre for Mathematics and Computer Science, Amsterdam, Netherlands
-
F. Tip. A survey of program slicing techniques. Technical report, Centre for Mathematics and Computer Science, Amsterdam, Netherlands, 1994.
-
(1994)
-
-
Tip, F.1
-
29
-
-
34548273555
-
S1GPLAN Not
-
B. Wiedermann and W. R. Cook. Extracting queries by static analysis of transparent persistence. S1GPLAN Not., 42(1): 199-210, 2007.
-
(2007)
, vol.42
, Issue.1
, pp. 199-210
-
-
Wiedermann, B.1
Cook, W.R.2
-
30
-
-
0003850806
-
Rigi Users's manual, Version 5.4.4
-
Technical report, University of Victoria, Dept of Computer Science
-
K. Wong. Rigi Users's manual, Version 5.4.4. Technical report, University of Victoria, Dept of Computer Science, ftp://ftp.rigi.csc.uvic.ca/pub/rigi/doc, 1998.
-
(1998)
-
-
Wong, K.1
|