<--- Back to Details
First PageDocument Content
Software testing / Program analysis / Software review / Concurrent programming languages / Cross-platform software / Static program analysis / Dynamic program analysis / Programming tool / Lint / Application security / Software quality / Java
Date: 2011-06-20 15:01:26
Software testing
Program analysis
Software review
Concurrent programming languages
Cross-platform software
Static program analysis
Dynamic program analysis
Programming tool
Lint
Application security
Software quality
Java

http://www.stickyminds.com/BetterSoftware/magazine.asp?fn=cifea

Add to Reading List

Source URL: www.agitar.com

Download Document from Source Website

File Size: 82,24 KB

Share Document on Facebook

Similar Documents

Computing / Computer graphics / 3D rendering / Video game development / Computer programming / Graphics hardware / Graphics libraries / Texture atlas / Graphics processing unit / Texture mapping / Optimizing compiler / Rendering

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

DocID: 1xVY6 - View Document

Software engineering / Computer programming / Computing / Object-oriented programming languages / KeY / Symbolic execution / Thread / LLVM / Parallel computing / D / Concolic testing

Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw

DocID: 1xVzE - View Document

Static program analysis / Software engineering / Computing / Programming language theory / Control flow analysis / Soot / Call graph / Compiler / Analysis / Data-flow analysis / SIGPLAN / Java

Rethinking Soot for Summary-Based Whole-Program Analysis Dacong Yan Guoqing Xu Atanas Rountev

DocID: 1xVvx - View Document

FO / Finite model theory / Model theory / Metaphilosophy / Mathematical logic / Mathematics / Sigma-algebra / Pattern language

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

DocID: 1xVrl - View Document

STATE COORDINATOR CHIEF DEPUTY POLICY & PROGRAM ANALYSIS EXTERNAL AFFAIRS

DocID: 1xV7p - View Document