Execution generated test cases: How to make systems code crash itself

C Cadar, D Engler - International SPIN Workshop on Model Checking of …, 2005 - Springer
This paper presents a technique that uses code to automatically generate its own test cases
at run time by using a combination of symbolic and concrete (ie regular) execution The input …
被引用次数：361 相关文章

Execution Generated Test Cases: How to Make Systems Code Crash Itself

C Cadar, D Engler - Model Checking Software - infona.pl
This paper presents a technique that uses code to automatically generate its own test cases
at run time by using a combination of symbolic and concrete (ie regular) execution The input …

Systems Code Crash Itself

C Cadar, D Engler - … SPIN Workshop, San Francisco, CA, USA …, 2005 - books.google.com
This paper presents a technique that uses code to automatically generate its own test cases
at run-time by using a combination of symbolic and concrete (ie, regular) execution. The …

Execution generated test cases: how to make systems code crash itself

C Cadar, D Engler - Proceedings of the 12th international conference on …, 2005 - dl.acm.org
This paper presents a technique that uses code to automatically generate its own test cases
at run time by using a combination of symbolic and concrete (ie regular) execution The input …
[PDF] stanford.edu

[PDF][PDF] Execution Generated Test Cases: How to Make Systems Code Crash Itself

C Cadar, D Engler - stanford.edu
This paper presents a technique that uses code to automatically generate its own test cases
at run-time by using a combination of symbolic and concrete (ie, regular) execution. The …

[引用][C] Execution generated test cases: How to make systems code crash itself

C CADAR, D ENGLER - Lecture notes in computer science, 2005 - pascal-francis.inist.fr
Execution generated test cases : How to make systems code crash itself CNRS Inist Pascal-Francis
CNRS Pascal and Francis Bibliographic Databases Simple search Advanced search Search by …
[PDF] ic.ac.uk

[PDF][PDF] Execution Generated Test Cases: How to Make Systems Code Crash Itself

C Cadar, D Engler - doc.ic.ac.uk
This paper presents a technique that uses code to automatically generate its own test cases
at run-time by using a combination of symbolic and concrete (ie, regular) execution. The …

Execution Generated Test Cases: How to Make Systems Code Crash Itself

C Cadar, D Engler - Springer
This paper presents a technique that uses code to automatically generate its own test cases
at run-time by using a combination of symbolic and concrete (ie, regular) execution. The …
[PDF] ic.ac.uk

[PDF][PDF] Execution Generated Test Cases: How to Make Systems Code Crash Itself

C Cadar, D Engler - wwwhomes.doc.ic.ac.uk
This paper presents a technique that uses code to automatically generate its own test cases
at run-time by using a combination of symbolic and concrete (ie, regular) execution. The …
[PDF] academia.edu

[PDF][PDF] Execution Generated Test Cases: How to Make Systems Code Crash Itself

C Cadar, D Engler - academia.edu
This paper presents a technique that uses code to automatically generate its own test cases
at run-time by using a combination of symbolic and concrete (ie, regular) execution. The …