메뉴 건너뛰기




Volumn , Issue , 2011, Pages 805-814

Statically locating web application bugs caused by asynchronous calls

Author keywords

Ajax; Automatic debugging; Javascript; Static analysis

Indexed keywords

AJAX; JAVASCRIPT; NETWORK LATENCIES; NON-DETERMINISM; STATIC PROGRAM ANALYSIS; USER EXPERIENCE; WEB APPLICATION;

EID: 84856909809     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1963405.1963517     Document Type: Conference Paper
Times cited : (62)

References (21)
  • 7
    • 85088713724 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • Static approximation of dynamically generated web pages
    • Y. Minamide. Static Approximation of Dynamically Generated Web Pages. In WWW'05.
    • WWW'05
    • Minamide, Y.1
  • 16
    • 33746060520 scopus 로고    scopus 로고
    • Effective static race detection for Java
    • M. Naik, A. Aiken and J. Whaley. Effective static race detection for Java. In PLDI'06.
    • PLDI'06
    • Naik, M.1    Aiken, A.2    Whaley, J.3
  • 17
    • 77950470798 scopus 로고    scopus 로고
    • 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
  • 18
  • 20
    • 57349153984 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.