-
5
-
-
0004072686
-
-
(2nd Ed.). Pearson Education, Inc
-
A. Aho, M. Lam, R. Sethi, and J. Ullman. Compilers: principles, techniques, and tools (2nd Ed.). Pearson Education, Inc, 2006.
-
(2006)
Compilers: Principles, Techniques, and Tools
-
-
Aho, A.1
Lam, M.2
Sethi, R.3
Ullman, J.4
-
6
-
-
57449083130
-
Finding bugs in dynamic web applications
-
S. Artzi, A. Kiezun, J. Dolby, F. Tip, D. Dig, A. Paradkar and M. Ernst. Finding Bugs in Dynamic Web Applications. In ISSTA'08.
-
ISSTA'08
-
-
Artzi, S.1
Kiezun, A.2
Dolby, J.3
Tip, F.4
Dig, D.5
Paradkar, A.6
Ernst, M.7
-
7
-
-
85088713724
-
Hybrid dynamic data race detection
-
R. Callahan, J. Choi. Hybrid dynamic data race detection. In PPoPP'03.
-
PPoPP'03
-
-
Callahan, R.1
Choi, J.2
-
9
-
-
84873445488
-
Atomizer: A dynamic atomicity checker for multithreaded programs
-
C. Flanagan and S. Freund. Atomizer: A Dynamic Atomicity Checker For Multithreaded Programs. In POPL'04.
-
POPL'04
-
-
Flanagan, C.1
Freund, S.2
-
10
-
-
84865621386
-
Using static analysis for ajax intrusion detection
-
A. Guha, S. Krishnamurthi and T. Jim. Using Static Analysis for Ajax Intrusion Detection. In WWW'09.
-
WWW'09
-
-
Guha, A.1
Krishnamurthi, S.2
Jim, T.3
-
11
-
-
85008255060
-
Precise interface identification to improve testing and analysis of web applications
-
W. Halfond, S. Anand, and A. Orso. Precise Interface Identification to Improve Testing and Analysis of Web Applications. In ISSTA'09.
-
ISSTA'09
-
-
Halfond, W.1
Anand, S.2
Orso, A.3
-
12
-
-
85071221608
-
Avio: Detecting atomicity violations via access interleaving invariants
-
S. Lu, J. Tucek, F. Qin, Y. Zhou. Avio: detecting atomicity violations via access interleaving invariants. In ASPLOS-XII.
-
ASPLOS-XII
-
-
Lu, S.1
Tucek, J.2
Qin, F.3
Zhou, Y.4
-
14
-
-
77249160785
-
Invariant-based automatic testing of AJAX user interfaces
-
A. Mesbah and A. Deursen. Invariant-based automatic testing of AJAX user interfaces. In ICSE'09.
-
ICSE'09
-
-
Mesbah, A.1
Deursen, A.2
-
15
-
-
33749823368
-
Static approximation of dynamically generated web pages
-
Y. Minamide. Static Approximation of Dynamically Generated Web Pages. In WWW'05.
-
WWW'05
-
-
Minamide, Y.1
-
17
-
-
77950470798
-
Randomized active atomicity violation detection in concurrent programs
-
C. Park, K.Sen. Randomized active atomicity violation detection in concurrent programs. In SIGSOFT '08/FSE-16.
-
SIGSOFT '08/FSE-16
-
-
Park, C.1
Sen, K.2
-
19
-
-
0031272525
-
Eraser: A dynamic data race detector for multithreaded programs
-
S. Savage, M. Burrows, G. Nelso, P. Sobalvarro and T. Anderson. Eraser: a dynamic data race detector for multithreaded programs. In ACM Trans. Comput. Syst. 15(4): 391-411 (1997).
-
(1997)
ACM Trans. Comput. Syst.
, vol.15
, Issue.4
, pp. 391-411
-
-
Savage, S.1
Burrows, M.2
Nelso, G.3
Sobalvarro, P.4
Anderson, T.5
-
20
-
-
57349153984
-
Static detection of cross-site scripting vulnerabilities
-
G. Wassermann and Z. Su. Static Detection of Cross-Site Scripting Vulnerabilities. In ICSE'08.
-
ICSE'08
-
-
Wassermann, G.1
Su, Z.2
-
21
-
-
84865647705
-
Characterizing insecure javascript practices on the web
-
C. Yue and H. Wang. Characterizing insecure javascript practices on the web. In WWW'09.
-
WWW'09
-
-
Yue, C.1
Wang, H.2
|