Resultados de búsqueda - "Program verification."

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

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

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

Lightweight object specification with typestates. por Bierhoff, Kevin

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

Software verification and validation with destiny a parallel approach to automated theorem proving. por 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. por Li, Zhenmin

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

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