SCOPUS 정보 검색 플랫폼

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 992-994

DyTa: Dynamic symbolic execution guided with static verification results

(4) Ge, Xi a Taneja, Kunal a Xie, Tao a Tillmann, Nikolai b

a North Carolina State University (United States)

b MICROSOFT RESEARCH (United States)

Author keywords

defect detection; static analysis; testing

Indexed keywords

DEFECT DETECTION; DYNAMIC PHASE; DYNAMIC SYMBOLIC EXECUTIONS; DYNAMIC TESTS; FALSE POSITIVE; POTENTIAL DEFECTS; RESEARCH TOPICS; STATIC PHASE; STATIC VERIFICATION; TEST INPUTS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DEFECTS; SOFTWARE TESTING; STATIC ANALYSIS; TESTING;

VERIFICATION;

EID: 79959873939 PISSN: 02705257 EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/1985793.1985971 Document Type: Conference Paper

Times cited : (66)

References (10)

1
- 33244471534
- Check 'n' Crash: Combining Static Checking and Testing
- C. Csallner and Y. Smaragdakis. Check 'n' Crash: Combining Static Checking and Testing. In Proc. ICSE, pages 422-431, 2005.
- (2005) Proc. ICSE , pp. 422-431
- Csallner, C.¹ Smaragdakis, Y.²

2
- 34247362881
- Effective Typestate Verification in the Presence of Aliasing
- S. Fink, E. Yahav, N. Dor, G. Ramalingam, and E. Geay. Effective Typestate Verification in the Presence of Aliasing. In Proc. ISSTA, pages 133-144, 2006.
- (2006) Proc. ISSTA , pp. 133-144
- Fink, S.¹ Yahav, E.² Dor, N.³ Ramalingam, G.⁴ Geay, E.⁵

3
- 31844450371
- DART: Directed Automated Random Testing
- P. Godefroid, N. Klarlund, and K. Sen. DART: Directed Automated Random Testing. In Proc. PLDI, pages 213-223, 2005.
- (2005) Proc. PLDI , pp. 213-223
- Godefroid, P.¹ Klarlund, N.² Sen, K.³

4
- 79959869583
- hashing algorithms, 2010. http://hashlib.codeplex.com/.
- (2010) Hashing Algorithms

5
- 79951744451
- Finding Bugs is Easy
- D. Hovemeyer and W. Pugh. Finding Bugs is Easy. In Proc. OOPSLA, pages 132-136, 2004.
- (2004) Proc. OOPSLA , pp. 132-136
- Hovemeyer, D.¹ Pugh, W.²

6
- 79959882647
- Practical Verification for the Working Programmer with Code Contracts and Abstract Interpretation
- Invited Talk
- F. Logozzo. Practical Verification for the Working Programmer with Code Contracts and Abstract Interpretation (Invited Talk). In Proc. VMCAI, 2011.
- Proc. VMCAI, 2011
- Logozzo, F.¹

7
- 79959896876
- Microsoft Code Contracts, 2010. http://research.microsoft.com/en-us/ projects/contracts/.
- (2010) Microsoft Code Contracts

8
- 32344447459
- CUTE: A Concolic Unit Testing Engine for C
- K. Sen, D. Marinov, and G. Agha. CUTE: A Concolic Unit Testing Engine for C. In Proc. ESE/FSE, pages 263-272, 2005.
- (2005) Proc. ESE/FSE , pp. 263-272
- Sen, K.¹ Marinov, D.² Agha, G.³

9
- 70349687482
- Guided Path Exploration for Regression Test Generation
- K. Taneja, T. Xie, N. Tillmann, J. de Halleux, and W. Schulte. Guided Path Exploration for Regression Test Generation. In Companion Proc. ICSE, NIER, pages 311-314, 2009.
- (2009) Companion Proc. ICSE, NIER , pp. 311-314
- Taneja, K.¹ Xie, T.² Tillmann, N.³ De Halleux, J.⁴ Schulte, W.⁵

10
- 43149111827
- Pex: White Box Test Generation for. NET
- N. Tillmann and J. de Halleux. Pex: White Box Test Generation for. NET. In Proc. TAP, pages 134-153, 2008.
- (2008) Proc. TAP , pp. 134-153
- Tillmann, N.¹ De Halleux, J.²

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