Suchergebnisse - "Program verification."

Testing static analysis tools using exploitable buffer overflows from open source code. von Zitser, Misha

An empirical methodology for introducing software processes. von Shull, Forrest

Towards a unified formal model for supporting mechanisms of dynamic component update Full text PdfPdf (268 KB). von Shen, Junrong

Lightweight object specification with typestates. von Bierhoff, Kevin

SableSpMT a software framework for analysing speculative multithreading in Java. von Pickett, Christopher J. F.

Software verification and validation with destiny a parallel approach to automated theorem proving. von Dykstra, Josiah

Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

PR-Miner automatically extracting implicit programming rules and detecting violations in large software code. von Li, Zhenmin

Modeling for image processing system validation, verification and testing. von Li, Xing

Generating optimal distinguishing sequences with a model checker. von Robinson-Mallett, Christopher