Robert V. Binder

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