| Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs | 4 | 0.47 | 2002 |
| Incremental integration testing of concurrent programs | 30 | 1.40 | 2002 |
| Efficient reachability testing of asynchronous message-passing programs | 20 | 1.07 | 2002 |
| A New Approach To Checking Sequence Generation for Finite State Machines | 2 | 0.40 | 2002 |
| On Godefroid's Stateless Search Technique for Testing Concurrent Programs | 1 | 0.35 | 2001 |
| Model Checking Based on Simultaneous Reachability Analysis | 9 | 0.66 | 2000 |
| Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis | 3 | 0.45 | 2000 |
| Deadlock Analysis of Client/Server Programs | 2 | 0.43 | 2000 |
| Deadlock Analysis of Synchronous Message-Passing Programs | 7 | 0.68 | 1999 |
| Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs | 10 | 0.82 | 1999 |
| In-parameter-order: a test generation strategy for pairwise testing | 145 | 9.14 | 1998 |
| Synchronizable test sequences of finite state machines | 35 | 1.46 | 1998 |
| Reachability Testing of Asynchronous Message-Passing Programs | 8 | 0.66 | 1997 |
| Test order for inter-class integration testing of object-oriented software | 25 | 1.12 | 1997 |
| Theory of Fault-Based Predicate Testing for Computer Programs | 58 | 3.22 | 1996 |
| An incremental approach to structural testing of concurrent software | 19 | 1.69 | 1996 |
| Automatic test-generation for predicates [software testing] | 9 | 0.79 | 1996 |
| Test Generation For Boolean Expressions | 26 | 1.94 | 1995 |
| A Specification-Based Methology for Testing Concurrent Programs | 10 | 1.40 | 1995 |
| Reachability Testing: An Approach To Testing Concurrent Software | 40 | 1.91 | 1995 |
| Evaluation of a predicate-based software testing strategy | 13 | 1.43 | 1994 |
| Empirical studies of predicate-based software testing | 22 | 1.53 | 1994 |
| Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs | 12 | 1.21 | 1994 |
| Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs | 4 | 0.57 | 1994 |
| Predicate-based test generation for computer programs | 23 | 2.89 | 1993 |
| An incremental approach to reachability analysis of distributed programs | 16 | 1.36 | 1993 |
| Fault-based test generation for cause-effect graphs | 2 | 0.53 | 1993 |
| Static analysis of concurrent software for deriving synchronization constraints | 7 | 0.76 | 1991 |
| Replay and testing for concurrent programs | 89 | 10.56 | 1991 |
| Debugging concurrent Ada programs by deterministic execution | 93 | 10.18 | 1991 |
| A Course on Software Enigneering for Concurrent Systems | 0 | 0.34 | 1988 |
| A comparison of computed chaining to predictors | 0 | 0.34 | 1986 |
| Reproducible Testing of Concurrent Programs Based on Shared Variables | 24 | 5.77 | 1986 |
| A program complexity metric based on data flow information in control graphs | 15 | 1.28 | 1984 |
| Visualizing algorithms and processes with the aid of a computer | 4 | 1.68 | 1983 |
| The Practicality of Text Signatures for Accelerating String Searching | 11 | 9.02 | 1982 |
| Comments on parameter passing techniques in programming languages | 2 | 0.44 | 1982 |
| Experience with porting the Portable C Compiler | 1 | 0.37 | 1982 |
| Computed chaining—A hybrid of direct chaining and open addressing | 4 | 2.94 | 1981 |
| An introduction to computed chaining | 0 | 0.34 | 1980 |
| Comments on the suggested implementation of tasking facilities in the "rationale for the design of the ADA programming language" | 1 | 0.36 | 1980 |
| Program Testing Complexity and Test Criteria | 18 | 2.58 | 1980 |
| Predictors Of Context-Free Grammars | 5 | 0.57 | 1980 |
| Locally minimum-distance correction of syntax errors in programming languages | 1 | 0.34 | 1980 |
| On the implementation of parsing tables | 0 | 0.34 | 1979 |
| Constant folding within an expression by semantic attributes | 0 | 0.34 | 1979 |
| On program testing criteria | 0 | 0.34 | 1979 |
| The Tree-to-Tree Correction Problem | 418 | 37.20 | 1979 |
| Syntactic Error Correction in Programming Languages | 18 | 5.11 | 1978 |
| The recovery of parsing configurations for LR(1) parsers | 5 | 1.17 | 1977 |
