Robert V. Binder

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 3

Top Topics

Sequence Diagrams

Optimal Scheduling

Testing Process

Software Packages

Top Venues

Publications

Robert V. Binder
Software Dependability Measurement at the Age of 36. Computer 57 (4) (2024)
Robert V. Binder
Software Dependability Measurement at the Age Of 36. CoRR (2023)
Robert V. Binder
Optimal Scheduling for Combinatorial Software Testing and Design of Experiments. ICST Workshops (2018)
Robert V. Binder, Bruno Legeard, Anne Kramer
Model-based testing: where does it stand? Commun. ACM 58 (2) (2015)
Robert V. Binder, Bruno Legeard, Anne Kramer
Model-based Testing: Where Does It Stand? ACM Queue 13 (1) (2014)
Robert V. Binder, James E. Hanlon
The advanced mobile application testing environment. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Robert V. Binder, James E. Hanlon
The advanced mobile application testing environment. A-MOST (2005)
Robert V. Binder
Achieving High Reliability for Ubiquitous Information Technology. TestCom (2002)
Robert V. Binder
Quality Time: Can A Manufacturing Quality Model Work for Software? IEEE Softw. 14 (5) (1997)
Robert V. Binder
Testing Object-Oriented Software. TOOLS (23) (1997)
Robert V. Binder
Testing Object-Oriented Software: A Survey. Softw. Test. Verification Reliab. 6 (3/4) (1996)
Hesham El-Rewini, Scott Hamilton, Yen-Ping Shan, Ralph Earle, Skip McGaughey, Abdelsalam Helal, Ravi Badrachalam, Andrew A. Chien, Andrew S. Grimshaw, Byung Suk Lee, Andrew E. Wade, Dave Morse, Ahmed K. Elmagarmid, Evaggelia Pitoura, Robert V. Binder, Peter Wegner
Object Technology: A Virtual Roundtable. Computer 28 (10) (1995)
Robert V. Binder
Object-Oriented Software Testing - Introduction to the Special Section. Commun. ACM 37 (9) (1994)
Robert V. Binder
Design for Testability in Object-Oriented Systems. Commun. ACM 37 (9) (1994)
Robert V. Binder, Jeffrey J. P. Tsai
Kb/RMS: an Intelligent Assistant for Requirement Definition. Int. J. Artif. Intell. Tools 1 (4) (1992)
Robert V. Binder, Jeffrey J. P. Tsai
KB/RMS: an intelligent assistant for requirement definition. TAI (1990)
Robert V. Binder
Article review: An OOSD Method for Code Generation by A.I. Wasserman, P. A. Pircher, R. J. Muller (SEN 14 1, January 1989). ACM SIGSOFT Softw. Eng. Notes 14 (2) (1989)