The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1595932399

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Representation-independent program analysis

The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 ◽

10.1145/1108792.1108810 ◽

2005 ◽

Cited By ~ 8

Author(s):

Michelle Mills Strout ◽

John Mellor-Crummey ◽

Paul Hovland

Keyword(s):

Program Analysis

Download Full-text

A concept analysis inspired greedy algorithm for test suite minimization

The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 ◽

10.1145/1108792.1108802 ◽

2005 ◽

Cited By ~ 52

Author(s):

Sriraman Tallam ◽

Neelam Gupta

Keyword(s):

Greedy Algorithm ◽

Concept Analysis ◽

Test Suite

Download Full-text

SableSpMT

The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 ◽

10.1145/1108792.1108809 ◽

2005 ◽

Cited By ~ 13

Author(s):

Christopher J. F. Pickett ◽

Clark Verbrugge

Download Full-text

Evaluating and tuning a static analysis to find null pointer bugs

The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 ◽

10.1145/1108792.1108798 ◽

2005 ◽

Cited By ~ 24

Author(s):

David Hovemeyer ◽

Jaime Spacco ◽

William Pugh

Keyword(s):

Static Analysis ◽

Null Pointer

Download Full-text

Invariants and state in testing and formal methods

The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 ◽

10.1145/1108792.1108806 ◽

2005 ◽

Cited By ~ 2

Author(s):

Dick Hamlet

Keyword(s):

Formal Methods

Download Full-text

An empirical framework for comparing effectiveness of testing and property-based formal analysis

The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 ◽

10.1145/1108792.1108795 ◽

2005 ◽

Cited By ~ 5

Author(s):

Jeremy S. Bradbury ◽

James R. Cordy ◽

Juergen Dingel

Keyword(s):

Formal Analysis ◽

Empirical Framework

Download Full-text

Making distributed systems secure with program analysis and transformation

The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 ◽

10.1145/1108792.1108805 ◽

2005 ◽

Author(s):

Andrew Myers

Keyword(s):

Distributed Systems ◽

Program Analysis

Download Full-text

PASTE at Microsoft

The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 ◽

10.1145/1108792.1108794 ◽

2005 ◽

Author(s):

Manuvir Das

Download Full-text

LANCET

The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 ◽

10.1145/1108792.1108812 ◽

2005 ◽

Cited By ~ 3

Author(s):

Ludo Van Put ◽

Bjorn De Sutter ◽

Matias Madou ◽

Bruno De Bus ◽

Dominique Chanet ◽

...

Download Full-text

String analysis for x86 binaries

The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 ◽

10.1145/1108792.1108814 ◽

2005 ◽

Cited By ~ 17

Author(s):

Mihai Christodorescu ◽

Nicholas Kidd ◽

Wen-Han Goh

Keyword(s):

String Analysis

Download Full-text

The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Representation-independent program analysis

A concept analysis inspired greedy algorithm for test suite minimization

SableSpMT

Evaluating and tuning a static analysis to find null pointer bugs

Invariants and state in testing and formal methods

An empirical framework for comparing effectiveness of testing and property-based formal analysis

Making distributed systems secure with program analysis and transformation

PASTE at Microsoft

LANCET

String analysis for x86 binaries

The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05
Latest Publications