Test generation using symbolic execution

P Godefroid - IARCS Annual Conference on Foundations of …, 2012 - drops.dagstuhl.de
Test Generation Using Symbolic Execution Page 1 Test Generation Using Symbolic Execution
Patrice Godefroid Microsoft Research pg@microsoft.com Abstract This paper presents a short …
被引用次数：50 相关文章
[PDF] emis.de

[PDF][PDF] Test Generation Using Symbolic Execution

P Godefroid - 32nd International Conference on Foundations of …, 2012 - cs.emis.de
Test Generation Using Symbolic Execution Page 38 Test Generation Using Symbolic Execution
Patrice Godefroid Microsoft Research pg@ microsoft. com Abstract This paper presents a short …
[PDF] core.ac.uk

[PDF][PDF] Test Generation Using Symbolic Execution

P Godefroid - core.ac.uk
Test Generation Using Symbolic Execution Page 1 Test Generation Using Symbolic Execution
Patrice Godefroid Microsoft Research pg@microsoft.com Abstract This paper presents a short …
[PDF] archive.org

[PDF][PDF] Test Generation Using Symbolic Execution

P Godefroid - scholar.archive.org
Test Generation Using Symbolic Execution Page 1 Test Generation Using Symbolic Execution
Patrice Godefroid Microsoft Research pg@microsoft.com Abstract This paper presents a short …
[PDF] github.io

[PDF][PDF] Test Generation Using Symbolic Execution

P Godefroid - patricegodefroid.github.io
Test Generation Using Symbolic Execution Page 1 Test Generation Using Symbolic Execution
Patrice Godefroid Microsoft Research pg@microsoft.com Abstract This paper presents a short …
[PDF] academia.edu

[PDF][PDF] Test Generation Using Symbolic Execution

P Godefroid - 32nd International Conference on Foundations of …, 2012 - academia.edu
Test Generation Using Symbolic Execution Page 38 Test Generation Using Symbolic Execution
Patrice Godefroid Microsoft Research pg@ microsoft. com Abstract This paper presents a short …
[PDF] psu.edu

[PDF][PDF] Test Generation Using Symbolic Execution

P Godefroid - 32nd International Conference on Foundations of …, 2012 - Citeseer
Test Generation Using Symbolic Execution Page 38 Test Generation Using Symbolic Execution
Patrice Godefroid Microsoft Research pg@ microsoft. com Abstract This paper presents a short …
[PDF] dagstuhl.de

[PDF][PDF] Test Generation Using Symbolic Execution

P Godefroid - IARCS Annual Conference on Foundations of …, 2012 - drops.dagstuhl.de
Test Generation Using Symbolic Execution Page 1 Test Generation Using Symbolic Execution
Patrice Godefroid Microsoft Research pg@microsoft.com Abstract This paper presents a short …
[PDF] researchgate.net

[PDF][PDF] Test Generation Using Symbolic Execution

P Godefroid - 32nd International Conference on Foundations of …, 2012 - researchgate.net
Test Generation Using Symbolic Execution Page 38 Test Generation Using Symbolic Execution
Patrice Godefroid Microsoft Research pg@ microsoft. com Abstract This paper presents a short …
[PDF] d-nb.info

[PDF][PDF] Test Generation Using Symbolic Execution

P Godefroid - 32nd International Conference on Foundations of …, 2012 - d-nb.info
Test Generation Using Symbolic Execution Page 38 Test Generation Using Symbolic Execution
Patrice Godefroid Microsoft Research pg@ microsoft. com Abstract This paper presents a short …