Sciweavers

Share
108 search results - page 1 / 22
» An Integrated Framework for Checking Concurrency-Related Pro...
Sort
View
COMPSAC
2009
IEEE
10 years 6 months ago
An Integrated Framework for Checking Concurrency-Related Programming Errors
Developing concurrent programs is intrinsically dif´Čücult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
Qichang Chen, Liqiang Wang
ICLP
2009
Springer
11 years 5 days ago
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
Edison Mera, Manuel V. Hermenegildo, Pedro L&oacut...
DSN
2008
IEEE
10 years 6 months ago
SymPLFIED: Symbolic program-level fault injection and error detection framework
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalba...
DSN
2008
IEEE
10 years 6 months ago
Using likely program invariants to detect hardware errors
In the near future, hardware is expected to become increasingly vulnerable to faults due to continuously decreasing feature size. Software-level symptoms have previously been used...
Swarup Kumar Sahoo, Man-Lap Li, Pradeep Ramachandr...
TOOLS
2008
IEEE
10 years 6 months ago
Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
Friedrich Steimann, Thomas Eichstädt-Engelen,...
books