Searching for authors named "Thomas Ball" – sorted by Relevance.
67 documents found, showing 1 through 10.
Next 10 →
-
An abstraction-refinement framework for multi-agent systems
- …An Abstraction-Refinement Framework for Multi-Agent Systems Abstract Thomas Ball Microsoft…
- Cited by 2 (0 self) – Add To MetaCart
-
What's in a Region? or Computing control dependences in near-linear time for reducible control flow
- …. Thomas Ball (tball@(email omitted);) December 1993 Appears in ACM Letters on Programming Languages…
- Cited by 1 (1 self) – Add To MetaCart
-
The Verified Software Challenge: A Call for a Holistic Approach to Reliability
- …The Verified Software Challenge: A Call for a Holistic Approach to Reliability Thomas Ball…
- Cited by 1 (0 self) – Add To MetaCart
-
Efficiently Counting Program Events with Support for On-Line Queries
- …Efficiently Counting Program Events with Support for On-Line Queries THOMAS BALL University…
- Cited by 9 (3 self) – Add To MetaCart
-
A theory of predicate-complete test coverage and generation
- …A Theory of Predicate-Complete Test Coverage and Generation ∗ Thomas Ball tball…
- Cited by 33 (4 self) – Add To MetaCart
-
The concept of dynamic analysis
- …The Concept of Dynamic Analysis Thomas Ball Bell Laboratories Lucent Technologies tball…
- Cited by 80 (0 self) – Add To MetaCart
-
On the Limit of Control Flow Analysis for Regression Test Selection
- …On the Limit of Control Flow Analysis for Regression Test Selection Thomas Ball Lucent…
- Cited by 30 (0 self) – Add To MetaCart
-
What's in a region? -- or -- Computing Control Dependence Regions in Linear Time and Space
- … BALL * tom@(email omitted); Computer Sciences Department University of Wisconsin - Madison 1210 West…
- Cited by 20 (0 self) – Add To MetaCart
-
Better under-approximation of programs by hiding of variables
- …Better Under-approximation of Programs by Hiding Variables Thomas Ball 1 and Orna Kupferman 2 1…
- Cited by 2 (1 self) – Add To MetaCart
-
An Internet Difference Engine and its Applications
- …An Internet Difference Engine and Its Applications Thomas Ball (tball@(email omitted);) Fred…
- Cited by 10 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
