Add to ORKGExecutable assertions can be inserted into a program to nd software faults. Unfortunately, the process of designing and embedding these assertions can be expensive and time consuming. We have developed the C-Patrol tool to reduce the overhead of using assertions in C programs. C-Patrol allows a developer to reference a set of previously de ned assertions, written in virtual C, bind assertion parameters, and direct the placement of the assertions by a pre-processor.
In this report I describe types of program annotations that could be used in C++ to enhance the test...
vulnerabilities in C programs that use union and pointer types. In: Proceedings of 201
Most current approaches to software verification are one-sided -- a safety prover will try to prove ...
During testing, it is nearly impossible to run all statments or branches of a program. It is especia...
Assertion-Based software testing has been shown to be a promising tool for generating test cases tha...
Dynamically testing software that has been augmented with assertions increases the defect observabil...
Run-time assurance of a distributed system can be obtained by comparing, at run-time, the behavior o...
[[abstract]]Automated dynamic validation through assertion checking has been proposed to ensure prog...
Abstract. We present a tool, called Cascade, to check assertions in C programs as part of a multi-st...
this paper we describe an Assertion Checking Environment (ACE) for compositional verification of pro...
Conference of 4th International Conference on Runtime Verification, RV 2013 ; Conference Date: 24 Se...
Abstract1—Automated assertion-based test data generation has been shown to be a promising tool for g...
Unlike testing, formal verification can not only prove the presence of errors, but their absence as ...
Abstract. Software testability, the tendency for software to reveal its faults during testing, is an...
The use of executable assertions is a powerful tool with which to perform program verification, prov...
In this report I describe types of program annotations that could be used in C++ to enhance the test...
vulnerabilities in C programs that use union and pointer types. In: Proceedings of 201
Most current approaches to software verification are one-sided -- a safety prover will try to prove ...
During testing, it is nearly impossible to run all statments or branches of a program. It is especia...
Assertion-Based software testing has been shown to be a promising tool for generating test cases tha...
Dynamically testing software that has been augmented with assertions increases the defect observabil...
Run-time assurance of a distributed system can be obtained by comparing, at run-time, the behavior o...
[[abstract]]Automated dynamic validation through assertion checking has been proposed to ensure prog...
Abstract. We present a tool, called Cascade, to check assertions in C programs as part of a multi-st...
this paper we describe an Assertion Checking Environment (ACE) for compositional verification of pro...
Conference of 4th International Conference on Runtime Verification, RV 2013 ; Conference Date: 24 Se...
Abstract1—Automated assertion-based test data generation has been shown to be a promising tool for g...
Unlike testing, formal verification can not only prove the presence of errors, but their absence as ...
Abstract. Software testability, the tendency for software to reveal its faults during testing, is an...
The use of executable assertions is a powerful tool with which to perform program verification, prov...
In this report I describe types of program annotations that could be used in C++ to enhance the test...
vulnerabilities in C programs that use union and pointer types. In: Proceedings of 201
Most current approaches to software verification are one-sided -- a safety prover will try to prove ...