|
|
|
|
| LEADER |
01614 am a22002413u 4500 |
| 001 |
5177 |
| 042 |
|
|
|a dc
|
| 100 |
1 |
0 |
|a Pears, RL
|e author
|
| 100 |
1 |
0 |
|a Filipe, J
|e contributor
|
| 100 |
1 |
0 |
|a Maciaszek, L
|e contributor
|
| 700 |
1 |
0 |
|a Fong, A
|e author
|
| 700 |
1 |
0 |
|a Do, T
|e author
|
| 245 |
0 |
0 |
|a Precise guidance to dynamic test generation
|
| 260 |
|
|
|b DBLP,
|c 2013-02-26T04:29:24Z.
|
| 500 |
|
|
|a ENASE 2012 : 7th International Conference on Evaluation of Novel Approaches to Software Engineering , Wroclaw, Poland, 2012-06-29 to 2012-06-30, published in: ENASE 2012 - Proceedings of the 7th International Conference, pp.5 - 12
|
| 520 |
|
|
|a Dynamic symbolic execution has been shown an effective technique for automated test input generation. However, its scalability is limited due to the combinatorial explosion of the path space. We propose to take advantage of data flow analysis to better perform dynamic symbolic execution in the context of generating test inputs for maximum structural coverage. In particular, we utilize the chaining mechanism to (1) extract precise guidance to direct dynamic symbolic execution towards exploring uncovered code elements and (2) meanwhile significantly optimize the path exploration process. Preliminary experiments conducted to evaluate the performance of the proposed approach have shown very encouraging results.
|
| 540 |
|
|
|a OpenAccess
|
| 650 |
0 |
4 |
|a Dynamic Symbolic Execution
|
| 650 |
0 |
4 |
|a Automated Test Input Generation
|
| 650 |
0 |
4 |
|a Software Testing
|
| 650 |
0 |
4 |
|a Data Flow Analysis
|
| 655 |
7 |
|
|a Conference Contribution
|
| 856 |
|
|
|z Get fulltext
|u http://hdl.handle.net/10292/5177
|
