Here’s a complete list of my publications.
| Title | Publisher | Google Scholar | ACM Cites |
|---|---|---|---|
| 2011 Model-based Testing User Survey | System Verification Associates Technical Report | ||
| Microsoft’s Protocol Documentation Program: Interoperability Testing at Scale | ACM Queue | 2 | |
| Model-based Testing Update | IEEE Reliability Society 2010 Annual Technical Report. |
||
| Whats-My-Testing-ROI | mVerify White Paper | ||
| The Tester’s Dashboard: Release Decision Support | Proceedings, ISSRE 2010 Industry Track | ||
| The Advanced Mobile Application Testing Environment | ICSE Proceedings, 1st International Workshop on Model-based Testing (AMOST) | ||
| Welcome from the General Co-Chairs | Proceeedings, ISSRE 2004 | ||
| Automated Testing with an Operational Profile | Software Tech News. December 2004 8(1) | ||
| Achieving High Reliability for Ubiquitous Information Technology | Proceedings, TestCom ’02 | ||
| Testing Object-Oriented Systems. Patterns, Models and Tools | Addison-Wesley | 1396 | 242 |
| Testing Object-Oriented Systems. Patterns, Models and Tools (Chinese Editon):面向对象的软件测试 | 华庆一， 王斌君… – 北京: 人民邮电出版社 |
2 | |
| Testing Object-Oriented Systems. Patterns, Models and Tools (Polish Edition):Testowanie systemów obiektowych: modele, wzorce i narzędzia | Wydawnictwa Naukowo-Techniczne | 2 | |
| Testing Object-Oriented Systems: Models, Patterns, and Tools (Paperback Edition) | Addison-Wesley Professional | ||
| The Percolation Pattern | C++ Report | 1 | |
| The FREE flow graph: implementation based testing of objects using state determined flows. | Proceedings, 8th annual software quality week. San Francisco: Software Research, Inc. | 5 | |
| Automated Java testing | Object Magazine.7(5):44-50 | 2 | |
| Can a manufacturing quality model work for software? | IEEE Software | 35 | 4 |
| Class modality and testing. | 4 | ||
| Developing a Testing Budget. | Object Magazine. 7(4):56-58 | 3 | |
| Object-oriented testing: what’s new. | Object Magazine 7(5):21-23 | ||
| TOOTSIE, a high-end OO development environment | RBSC Corporation | 3 | |
| Verifying class associations. | Object Magazine 7(9):18-20 | ||
| An Integrated tool suite for high-reliability object-oriented client/server systems. | Proceedings, 6th Annual software quality week. San Francisco: Software Research, Inc. | ||
| BigFoot’s Tootsie | Object Magazine 6(4):81-87,June 1996. | 1 | |
| Modal testing strategies for OO software | IEEE Computer. 29(11) | 12 | 3 |
| Off-the-shelf test automation for objects. | Object Magazine 6(2):26-30 | 1 | |
| Six Sigma and Software Engineering, | Software Engineering Notes, ACM Press, 21(1) | 7 | |
| Summertime, and the testin’ is easy … . | Object Magazine 6(8) | 1 | |
| Testing for Reuse: Libraries and Frameworks | Object Magazine 6(6) | 3 | |
| Testing Object-Oriented Software | TOOLS ’97: Proceedings of Tools-23: Technology of Object-Oriented Languages and Systems | 6 | |
Testing object-oriented software: a survey |
Software Testing, Verification and Reliability Volume 6, Issue 3-4, pages 125–252, September – December 1996 | 120 | |
| The FREE approach for system testing: use-cases, threads, and relations | Object Magazine 5(9) | 8 | |
| The FREE Approach to Object-Oriented Testing: An Overview | Object Magazine | 3 | |
| Use-cases, Threads, and Relations: The FREE Approach to System Testing | Object Magazine 5(9) | 4 | |
Object technology. A virtual roundtable |
IEEE Computer | 4 | |
Object-oriented testing: myth and reality |
Object Magazine 5(2):73-75 | 9 | |
| Scenario-based Testing for Client/Server Systems | Software Development | ||
| State-based testing | Object Magazine 5(4):75-78 | ||
| State-based testing: sneak paths and conditional transitions | Object Magazine 5(6): 87-89 | 10 | |
| The FREE Approach to Testing Object-Oriented Software | RBSC Coproration Technical Report | 2 | |
| Trends in Testing Object-Oriented Software | IEEE Computer, 28(10) 68-69 | 12 | |
| Design for testability in object-oriented systems | Communications of the ACM 37(9):87-10 | 212 | 32 |
| Guest editor’s introduction, special issue on object-oriented testing | Communications of the ACM 37(9):50 | 17 | 4 |
| Software Process Improvement: A Case Study | Software Development, v 2. n. 1 | ||
| Testing object-oriented systems: a status report. | American Programmer 7(4):22-28 | 45 | |
| Design for Reuse: A Software Development Strategy | American Programmer | ||
| Scenario-based Testing of Client-Server Systems | Software Testing Forum | ||
| A CASE-based Systems Engineering Approach to Client-Server Development | CASE Trends | ||
| KB/RMS: An intelligent assistant for requirement definition | International Journal of Artificial Intelligence Tools. 1(4):503-522 | ||
| Software Teams: Issues, Analysis and Action | American Programmer | ||
| Trends in CASE Users and CASE Usage | American Programmer | ||
| A Model of Computer Aided Software Engineering Users | CASE Outlook | ||
| Binder Diagrams: Graphic Notation for the Relational Model, part 1 | Database Programming and Design | 2 | |
| Binder Diagrams: Graphic Notation for the Relational Model, part 2 | Database Programming and Design | 2 | |
| KB/RMS: An intelligent assistant for requirement definition | Tools for Artificial Intelligence | 9 | |
| Modeling the Software Development Process | CASE Outlook, v 7. n. 1 | ||
| What’s all this Noise about AD/Cycle? | Computerworld | ||
| The 1989 CASE User Survey | Robert Binder Systems Consulting, Inc., Chicago | ||
| Structured Software Engineering: Towards High Leverage Systems Building | SMC 12 Conference Proceedings, Structured Techniques Association |
||
| Corporate Systems Architecture: Issues and Tasks in Building Information Infrastructure | STA 3 Conference Proceedings, Structured Techniques Association | ||
| Application Debugging: An MVS Abend Handbook for COBOL, Assembly, PL/I, and FORTRAN Programmers | Prentice-Hall, Inc. | 2 | |
| An Automated Data Dictionary for Structured Analysis | STA 1 Conference Proceedings, Structured Techniques Association | ||
| A COBOL Random Number Generator | ACI Technical Newsletter |
