<--- 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

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

Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se

DocID: 1tLiE - View Document

COMP 621 Program Analysis and Transformations Assignment #1 • The benchmark should not use dynamic features that make the program hard to analyze. For example, it should not make use of functions like evalin. Profilin

DocID: 1rA9s - View Document

Software engineering / Computing / Programming language theory / Type theory / Concurrent programming languages / Program analysis / Type system / Go / Sheaf / Orbifold / CurryHoward correspondence

A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b

DocID: 1q5ig - View Document

IBM software / Software testing / Security AppScan / Rational Software / IBM / Rational Unified Process / Software development / Dynamic program analysis / IBM R&D Labs in Israel

Microsoft PowerPoint - AS14.ppt [Compatibility Mode]

DocID: 1pmM0 - View Document