Verifying object construction

Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst

Abstract

In object-oriented languages, constructors often have a combination of required and optional formal parameters. It is tedious and inconvenient for programmers to write a constructor by hand for each combination. The multitude of constructors is error-prone for clients, and client code is difficult to read due to the large number of constructor arguments. Therefore, programmers often use design patterns that enable more flexible object construction---the builder pattern, dependency injection, or factory methods.

BibTeX

@inproceedings{Kellogg-al:ICSE20,
  author    = {Martin Kellogg and
               Manli Ran and
               Manu Sridharan and
               Martin Sch{\"{a}}f and
               Michael D. Ernst},
  title     = {Verifying object construction},
  booktitle = {ICSE},
  pages     = {1447--1458},
  publisher = {{ACM}},
  year      = {2020},
}

Verifying object construction

Abstract

Related papers