Efficient state merging in symbolic execution

V Kuznetsov, J Kinder, S Bucur, G Candea - Acm Sigplan Notices, 2012 - dl.acm.org
Symbolic execution has proven to be a practical technique for building automated test case
generation and bug finding tools. Nevertheless, due to state explosion, these tools still …
被引用次数：384 相关文章
[PDF] psu.edu

[PDF][PDF] Efficient State Merging in Symbolic Execution

V Kuznetsov, J Kinder, S Bucur, G Candea - 2012 - Citeseer
Symbolic execution has proven to be a practical technique for building automated test case
generation and bug finding tools. Nevertheless, due to state explosion, these tools still …
[PDF] archive.org

[PDF][PDF] Efficient State Merging in Symbolic Execution

V Kuznetsov, J Kinder, S Bucur, G Candea - 2012 - scholar.archive.org
Symbolic execution has proven to be a practical technique for building automated test case
generation and bug finding tools. Nevertheless, due to state explosion, these tools still …
[PDF] royalholloway.ac.uk

[PDF][PDF] Efficient State Merging in Symbolic Execution

V Kuznetsov, J Kinder, S Bucur, G Candea - 2012 - pure.royalholloway.ac.uk
Symbolic execution has proven to be a practical technique for building automated test case
generation and bug finding tools. Nevertheless, due to state explosion, these tools still …
[PDF] stefanbucur.net

[PDF][PDF] Efficient State Merging in Symbolic Execution

V Kuznetsov, J Kinder, S Bucur, G Candea - 2012 - stefanbucur.net
Symbolic execution has proven to be a practical technique for building automated test case
generation and bug finding tools. Nevertheless, due to state explosion, these tools still …
[PDF] lmu.de

[PDF][PDF] Efficient State Merging in Symbolic Execution

V Kuznetsov, J Kinder, S Bucur, G Candea - 2012 - plai.ifi.lmu.de
Symbolic execution has proven to be a practical technique for building automated test case
generation and bug finding tools. Nevertheless, due to state explosion, these tools still …

Efficient state merging in symbolic execution

V Kuznetsov, J Kinder, S Bucur, G Candea - Proceedings of the 33rd …, 2012 - dl.acm.org
Symbolic execution has proven to be a practical technique for building automated test case
generation and bug finding tools. Nevertheless, due to state explosion, these tools still …

Efficient State Merging in Symbolic Execution

V Kuznetsov, J Kinder, S Bucur… - Proc. 33rd Conf …, 2012 - infoscience.epfl.ch
Symbolic execution has proven to be a practical technique for building automated test case
generation and bug finding tools. Nevertheless, due to state explosion, these tools still …
[PDF] core.ac.uk

[PDF][PDF] Efficient State Merging in Symbolic Execution

V Kuznetsov, J Kinder, S Bucur, G Candea - 2012 - core.ac.uk
Symbolic execution has proven to be a practical technique for building automated test case
generation and bug finding tools. Nevertheless, due to state explosion, these tools still …
[PDF] unibw.de

[PDF][PDF] Efficient State Merging in Symbolic Execution

V Kuznetsov, J Kinder, S Bucur, G Candea - 2012 - athene-forschung.unibw.de
Symbolic execution has proven to be a practical technique for building automated test case
generation and bug finding tools. Nevertheless, due to state explosion, these tools still …