BibTeX records: Robert V. Binder

download as .bib file

@article{DBLP:journals/computer/Binder24,
  author       = {Robert V. Binder},
  title        = {Software Dependability Measurement at the Age of 36},
  journal      = {Computer},
  volume       = {57},
  number       = {4},
  pages        = {68--81},
  year         = {2024},
  url          = {https://doi.org/10.1109/MC.2023.3327668},
  doi          = {10.1109/MC.2023.3327668},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/Binder24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-10039,
  author       = {Robert V. Binder},
  title        = {Software Dependability Measurement at the Age Of 36},
  journal      = {CoRR},
  volume       = {abs/2311.10039},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.10039},
  doi          = {10.48550/ARXIV.2311.10039},
  eprinttype    = {arXiv},
  eprint       = {2311.10039},
  timestamp    = {Wed, 22 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-10039.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Binder18,
  author       = {Robert V. Binder},
  title        = {Optimal Scheduling for Combinatorial Software Testing and Design of
                  Experiments},
  booktitle    = {2018 {IEEE} International Conference on Software Testing, Verification
                  and Validation Workshops, {ICST} Workshops, V{\"{a}}ster{\aa}s,
                  Sweden, April 9-13, 2018},
  pages        = {295--301},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICSTW.2018.00063},
  doi          = {10.1109/ICSTW.2018.00063},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Binder18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BinderLK15,
  author       = {Robert V. Binder and
                  Bruno Legeard and
                  Anne Kramer},
  title        = {Model-based testing: where does it stand?},
  journal      = {Commun. {ACM}},
  volume       = {58},
  number       = {2},
  pages        = {52--56},
  year         = {2015},
  url          = {https://doi.org/10.1145/2697399},
  doi          = {10.1145/2697399},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/BinderLK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/BinderLK14,
  author       = {Robert V. Binder and
                  Bruno Legeard and
                  Anne Kramer},
  title        = {Model-based Testing: Where Does It Stand?},
  journal      = {{ACM} Queue},
  volume       = {13},
  number       = {1},
  pages        = {40--48},
  year         = {2014},
  url          = {https://doi.org/10.1145/2716276.2723708},
  doi          = {10.1145/2716276.2723708},
  timestamp    = {Wed, 01 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/queue/BinderLK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BinderH05,
  author       = {Robert V. Binder and
                  James E. Hanlon},
  title        = {The advanced mobile application testing environment},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {30},
  number       = {4},
  pages        = {1},
  year         = {2005},
  url          = {https://doi.org/10.1145/1082983.1083289},
  doi          = {10.1145/1082983.1083289},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/BinderH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amost/BinderH05,
  author       = {Robert V. Binder and
                  James E. Hanlon},
  title        = {The advanced mobile application testing environment},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083289},
  doi          = {10.1145/1083274.1083289},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/BinderH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Binder02,
  author       = {Robert V. Binder},
  editor       = {Ina Schieferdecker and
                  Hartmut K{\"{o}}nig and
                  Adam Wolisz},
  title        = {Achieving High Reliability for Ubiquitous Information Technology},
  booktitle    = {Testing of Communicating Systems XIV, Applications to Internet Technologies
                  and Services, Proceedings of the {IFIP} 14th International Conference
                  on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
                  March 19-22, 2002},
  series       = {{IFIP} Conference Proceedings},
  volume       = {210},
  pages        = {75},
  publisher    = {Kluwer},
  year         = {2002},
  timestamp    = {Mon, 22 Jul 2002 15:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Binder02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Binder97,
  author       = {Robert V. Binder},
  title        = {Quality Time: Can {A} Manufacturing Quality Model Work for Software?},
  journal      = {{IEEE} Softw.},
  volume       = {14},
  number       = {5},
  pages        = {101--105},
  year         = {1997},
  url          = {https://doi.org/10.1109/52.605937},
  doi          = {10.1109/52.605937},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/Binder97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Binder97,
  author       = {Robert V. Binder},
  title        = {Testing Object-Oriented Software},
  booktitle    = {{TOOLS} 1997: 23rd International Conference on Technology of Object-Oriented
                  Languages and Systems, July 28 - August 1, 1997, Santa Barbara, CA,
                  {USA}},
  pages        = {374},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.10020},
  doi          = {10.1109/TOOLS.1997.10020},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tools/Binder97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Binder96,
  author       = {Robert V. Binder},
  title        = {Testing Object-Oriented Software: {A} Survey},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {6},
  number       = {3/4},
  pages        = {125--252},
  year         = {1996},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199609/12)6:3/4\&\#60;125::AID-STVR121\&\#62;3.0.CO;2-X},
  doi          = {10.1002/(SICI)1099-1689(199609/12)6:3/4\&\#60;125::AID-STVR121\&\#62;3.0.CO;2-X},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Binder96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/El-RewiniHSEMHBCGLWMEPBW95,
  author       = {Hesham El{-}Rewini and
                  Scott Hamilton and
                  Yen{-}Ping Shan and
                  Ralph Earle and
                  Skip McGaughey and
                  Abdelsalam Helal and
                  Ravi Badrachalam and
                  Andrew A. Chien and
                  Andrew S. Grimshaw and
                  Byung Suk Lee and
                  Andrew E. Wade and
                  Dave Morse and
                  Ahmed K. Elmagarmid and
                  Evaggelia Pitoura and
                  Robert V. Binder and
                  Peter Wegner},
  title        = {Object Technology: {A} Virtual Roundtable},
  journal      = {Computer},
  volume       = {28},
  number       = {10},
  pages        = {58--72},
  year         = {1995},
  url          = {https://doi.org/10.1109/2.467578},
  doi          = {10.1109/2.467578},
  timestamp    = {Thu, 01 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/El-RewiniHSEMHBCGLWMEPBW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Binder94,
  author       = {Robert V. Binder},
  title        = {Object-Oriented Software Testing - Introduction to the Special Section},
  journal      = {Commun. {ACM}},
  volume       = {37},
  number       = {9},
  pages        = {28--29},
  year         = {1994},
  url          = {https://doi.org/10.1145/182987.182988},
  doi          = {10.1145/182987.182988},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Binder94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Binder94a,
  author       = {Robert V. Binder},
  title        = {Design for Testability in Object-Oriented Systems},
  journal      = {Commun. {ACM}},
  volume       = {37},
  number       = {9},
  pages        = {87--101},
  year         = {1994},
  url          = {https://doi.org/10.1145/182987.184077},
  doi          = {10.1145/182987.184077},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Binder94a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/BinderT92,
  author       = {Robert V. Binder and
                  Jeffrey J. P. Tsai},
  title        = {Kb/RMS: an Intelligent Assistant for Requirement Definition},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {1},
  number       = {4},
  pages        = {503--522},
  year         = {1992},
  url          = {https://doi.org/10.1142/S021821309200003X},
  doi          = {10.1142/S021821309200003X},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/BinderT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BinderT90,
  author       = {Robert V. Binder and
                  Jeffrey J. P. Tsai},
  title        = {{KB/RMS:} an intelligent assistant for requirement definition},
  booktitle    = {Proceedings of the 2nd International {IEEE} Conference on Tools for
                  Artificial Intelligence, {TAI} 1990, Herndon, VA, USA, November 6-9,
                  1990},
  pages        = {610--616},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/TAI.1990.130407},
  doi          = {10.1109/TAI.1990.130407},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/BinderT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Binder89,
  author       = {Robert V. Binder},
  title        = {Article review: An {OOSD} Method for Code Generation by {A.I.} Wasserman,
                  P. A. Pircher, R. J. Muller {(SEN} 14 1, January 1989)},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {14},
  number       = {2},
  pages        = {79},
  year         = {1989},
  url          = {https://doi.org/10.1145/71647.1042078},
  doi          = {10.1145/71647.1042078},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Binder89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics