Back to Results
First PageMeta Content
Formal methods / Software testing / Program analysis / Logic in computer science / Procedural programming languages / Static program analysis / Vulnerability / Model checking / Abstract interpretation / Computing / Software engineering / Computer programming


TAPASHigh Performance Static Analysis for Industry Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck
Add to Reading List

Document Date: 2013-01-01 17:52:54

Open Document

File Size: 435,37 KB

Share Result on Facebook

Company

Wilson / Intel / /

/

Facility

Visual Studio / National Institute of Standards and Technology / Ralf Huuck NICTA University of New South Wales Sydney / /

IndustryTerm

consumer electronics / software development processes / software bugs / software bug / versatile tool / industrial software development / real-life software bugs / automated technology working / computing / compiler technology / software costs / source code analysis tool / software development life-cycle / industrial strength source code analysis tool / software development time / industry applications / software analysis / software engineering processes / real-life systems / abstract interpretation applications / /

OperatingSystem

Windows 7 / Ubuntu / /

Organization

National Institute of Standards and Technology / Ralf Huuck NICTA University of New South Wales Sydney / Federal Government / Department of Homeland Security / /

Person

Ralf Huuck / Franck Cassez / Mark Bradley / /

Position

representative / programmer / /

Product

Goanna tool / Goanna / /

ProgrammingLanguage

C / C++ / /

Region

South Wales / /

Technology

Virtual Machine / cellular telephone / technology of Goanna / caching / automated technology / compiler technology / /

URL

http /

SocialTag