SCOPUS 정보 검색 플랫폼

Volumn , Issue , 2011, Pages 611-620

Precise identification of problems for structural test generation

Author keywords

data dependency; dynamic symbolic execution; problem identification; structural test generation

Indexed keywords

COMPLEX PROGRAMS; DATA DEPENDENCIES; DYNAMIC SYMBOLIC EXECUTION; OPEN SOURCE PROJECTS; PROBLEM IDENTIFICATION; STRUCTURAL TESTS; TEST INPUTS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; EQUIPMENT; SOFTWARE ENGINEERING;

SOFTWARE TESTING;

EID: 79959869952 PISSN: 02705257 EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/1985793.1985876 Document Type: Conference Paper

Times cited : (67)

References (14)

1
- 37149022691
- Type-Dependence Analysis and Program Transformation for Symbolic Execution
- S. Anand, A. Orso, and M. J. Harrold. Type-Dependence Analysis and Program Transformation for Symbolic Execution. In Proc. TACAS, pages 117-133, 2007.
- (2007) Proc. TACAS , pp. 117-133
- Anand, S.¹ Orso, A.² Harrold, M.J.³

2
- 0004116989
- McGraw-Hill Higher Education
- T. H. Cormen, C. Stein, R. L. Rivest, and C. E. Leiserson. Introduction to Algorithms. McGraw-Hill Higher Education, 2001.
- (2001) Introduction to Algorithms
- Cormen, T.H.¹ Stein, C.² Rivest, R.L.³ Leiserson, C.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.³

5
- 0032683272
- Residual Test Coverage Monitoring
- C. Pavlopoulou and M. Young. Residual Test Coverage Monitoring. In Proc. ICSE, pages 277-284, 1999.
- (1999) Proc. ICSE , pp. 277-284
- Pavlopoulou, C.¹ Young, M.²

6
- 79959883605
- QuickGraph
- QuickGraph, 2008. http://www.codeproject.com/KB /miscctrl/quickgraph. aspx.
- (2008)

7
- 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. ESEC/FSE, pages 263-272, 2005.
- (2005) Proc. ESEC/FSE , pp. 263-272
- Sen, K.¹ Marinov, D.² Agha, G.³

8
- 79959885126
- SvnBridge: Use TortoiseSVN with Team Foundation Server, 2009. http://www.codeplex.com/SvnBridge.
- (2009) SvnBridge: Use TortoiseSVN with Team Foundation Server

9
- 77949410786
- MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code
- S. Thummalapenta, T. Xie, N. Tillmann, P. de Halleux, and W. Schulte. MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code. In Proc. ESEC/FSE, pages 193-202, 2009.
- (2009) Proc. ESEC/FSE , pp. 193-202
- Thummalapenta, S.¹ Xie, T.² Tillmann, N.³ De Halleux, P.⁴ 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.²

11
- 32344453671
- Parameterized Unit Tests
- N. Tillmann and W. Schulte. Parameterized Unit Tests. In Proc. ESEC/FSE, pages 253-262, 2005.
- (2005) Proc. ESEC/FSE , pp. 253-262
- Tillmann, N.¹ Schulte, W.²

12
- 34547405637
- Mock-object Generation with Behavior
- N. Tillmann and W. Schulte. Mock-object Generation with Behavior. In Proc. ASE, pages 365-368, 2006.
- (2006) Proc. ASE , pp. 365-368
- Tillmann, N.¹ Schulte, W.²

13
- 57349106528
- Explaining failures of program analyses
- D. von Dincklage and A. Diwan. Explaining failures of program analyses. In Proc. PLDI, pages 260-269, 2008.
- (2008) Proc. PLDI , pp. 260-269
- Von Dincklage, D.¹ Diwan, A.²

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